Component Substitution through Dynamic Reconfigurations

Autor: Arnaud Lanoix, Olga Kouchnarenko

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 147, Iss Proc. FESCA 2014, Pp 32-46 (2014)

Component substitution has numerous practical applications and constitutes an active research topic. This paper proposes to enrich an existing component-based framework—a model with dynamic reconfigurations making the system evolve—with a new rec

Externí odkaz: https://doaj.org/article/c746c6858b3f4f589c54084e6a80b880

A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models

Autor: J. Christian Attiogbé, Jérôme Rocheteau, David Sferruzza, Arnaud Lanoix

Publikováno v: Model-Driven Engineering and Software Development
Model-Driven Engineering and Software Development, Springer, 2019, 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers
Model-Driven Engineering and Software Development-6th International Conference, (MODELSWARD) 2018-revised selected papers
Model-Driven Engineering and Software Development-6th International Conference, (MODELSWARD) 2018-revised selected papers, Jan 2018, Funchal, Portugal. pp.9-33, ⟨10.1007/978-3-030-11030-7_2⟩
HAL
Communications in Computer and Information Science ISBN: 9783030110291
MODELSWARD (Revised Selected Papers)

International audience; Lots of software companies rely on web technologies to test market hypotheses in order to develop viable businesses. They often need to quickly build web services that are at the core of their Minimum Viable Products (MVPs). M

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d330697d616bd76bc693adbcd227a568
https://hal.archives-ouvertes.fr/hal-02075980/document

A Model-Driven Method for Fast Building Consistent Web Services in Practice

Autor: Jérôme Rocheteau, J. Christian Attiogbé, Arnaud Lanoix, David Sferruzza

Publikováno v: MODELSWARD
MODELSWARD, INSTICC, Jan 2018, Funchal, Portugal
17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels
17ièmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2018, Grenoble, France
HAL

International audience; Nowadays, lots of software companies rely on web technologies to test market hypothesis and develop viable businesses. They often need to quickly build web services that are at the core of their Minimum Viable Products (MVPs).

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::088f217abb5059b43f08dd7b28b35d81
https://hal.archives-ouvertes.fr/hal-01654287v3/file/article.pdf

Systematic Construction of Critical Embedded Systems Using Event-B

Autor: J. Christian Attiogbé, Arnaud Lanoix, Pascal André

Publikováno v: Communications in Computer and Information Science ISBN: 9783030028510
MEDI Workshops
Communications in Computer and Information Science
New Trends in Model and Data Engineering-MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY
New Trends in Model and Data Engineering-MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, Oct 2018, Marrakesh, Morocco. ⟨10.1007/978-3-030-02852-7_18⟩

International audience; We propose a method to build critical embedded control systems in a systematic way. The method covers the modelling of both the digital part and the physical environment of a considered system, and their refinement until more

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5a47873d9bdd9724022f170859fbb412
https://doi.org/10.1007/978-3-030-02852-7_18

Combining Proof and Model-checking to Validate Reconfigurable Architectures

Autor: Olga Kouchnarenko, Julien Dormoy, Arnaud Lanoix

Publikováno v: 8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011
8th International Workshop on Formal Engineering approaches to Software Components and Architectures-FESCA 2011, joint to ETAPS 2011, Apr 2011, Saarbrucken, Germany. pp.43-57, ⟨10.1016/j.entcs.2011.11.011⟩
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS
FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, 2015, Saarbrücken, Germany. pp.43--57

International audience; This paper deals with the formal specification and verification of dynamic reconfigurations of component-based systems. To validate such complex systems, there is a need to check model consistency and also to ensure that dynam

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::94b8aa09e62cd52fb080ebc24e84bb8a
https://doi.org/10.1016/j.entcs.2011.11.011