Architectural Invariants and Correctness of IoT-Based Systems

Autor: Christian Attiogbé, Jérôme Rocheteau

Publikováno v: Model and Data Engineering (MEDI'2022)
Model and Data Engineering (MEDI'2022), Nov 2022, Cairo, Egypt. pp.75-88, ⟨10.1007/978-3-031-23119-3_6⟩
Advances in Model and Data Engineering in the Digitalization Era ISBN: 9783031231186

Internet of Things applications impact more and more industrial areas such as smart manufacturing, smart health monitoring and home automation; physical objects or devices equipped with sensors and actuators are interconnected and then controlled wit

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f28a19c5f799fe1e1c6a80213cb2e1b6
https://hal.science/hal-04093777

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

SMART REIFIER: Model-Driven Development of Service-Oriented SCADA Applications from Models of Sensor and Actuator Networks

Autor: Margaux Bosshardt, Clémentine Geslin, Jérôme Rocheteau

Publikováno v: MODELSWARD

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a085b88ac597e7c978eb67dcc48ebaae
https://doi.org/10.5220/0006198201250136

BRILLANT: an open source and XML-based platform for rigourous software development

Autor: R. Marcano, Georges Mariano, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Samuel Colin

Publikováno v: SEFM

The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on the formalism itself or on its possible extensions. This article presents

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::9a21d6ba733701988d02afd8111249d6
https://doi.org/10.1109/sefm.2005.10

Extending OpenAPI 3.0 to Build Web Services from their Specification

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

Publikováno v: HAL
International Conference on Web Information Systems and Technologies
International Conference on Web Information Systems and Technologies, INSTICC, Sep 2018, Seville, Spain
WEBIST

International audience; Web services are meant to be used by other programs. Developers (or other programs) need to understand how to interact with them, which means documentation is crucial. Some standards like OpenAPI define ways to document web se

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d35037927018f829a042a36eb3f186c
https://hal.archives-ouvertes.fr/hal-01868498