Publications HAL

2020

Conference papers

titre
A software development process based on UML state machines
auteur
Eric Cariou, Lea Brunschwig, Olivier Le Goaer, Franck Barbier
article
2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, France. pp.1-8, ⟨10.1109/ICAASE51408.2020.9380117⟩
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-03767300/file/cariou-icaase20.pdf BibTex

2019

Journal articles

titre
A Black-Box and Contract-Based Verification of Model Transformations
auteur
Meriem Lahrouni, Eric Cariou, Abdelaziz El Fazziki
article
The international Arab journal of information technology, 2019, 16(4)
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-02507286/file/11545.pdf BibTex

Book sections

titre
Executable Modeling for Reactive Programming
auteur
Franck Barbier, Eric Cariou
article
Model-Driven Engineering and Software Development. MODELSWARD 2018, 991, Springer, pp.1-8, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-11030-7_1⟩
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-02505865/file/Barbier-Modelsward-2018.pdf BibTex

2018

Journal articles

titre
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems
auteur
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
article
Microprocessors and Microsystems: Embedded Hardware Design , 2018, 61, pp.86 - 95. ⟨10.1016/j.micpro.2018.05.010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01810002/file/MegaMaRt2_MICPRO_AuthorVersion%20.pdf BibTex

Conference papers

titre
A Generic Solution for Weaving Business Code into Executable Models
auteur
Olivier Le Goaer, Eric Cariou, Léa Brunschwig, Franck Barbier
article
4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018, Copenhagen, Denmark. pp.251-256
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-01912827/file/cariou-exe18.pdf BibTex
titre
Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables
auteur
Léa Brunschwig, Olivier Le Goaer, Eric Cariou
article
7ème Conférence En IngénieriE Du Logiciel (CIEL 2018), 2018, Grenoble, France
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-01912828/file/brunschwig-ciel18.pdf BibTex

2017

Conference papers

titre
The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems
auteur
Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
article
European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, Aug 2017, Vienna, Austria. ⟨10.1109/DSD.2017.50⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01557430/file/DSD2017-MegaMaRt2_AuthorsVersion.pdf BibTex
titre
A mediation based approach for formal verification of web services composition
auteur
Raoudha Maraoui, Eric Cariou
article
2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩
Accès au bibtex
BibTex
titre
World Wide Modeling Made Easy - A Simple, Lightweight Model Server
auteur
Olivier Le Goaer, Eric Cariou, Franck Barbier
article
MODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.269-276, ⟨10.5220/0006110802690276⟩
Accès au texte intégral et bibtex
https://univ-pau.hal.science/hal-01912336/file/61108.pdf BibTex

2016

Conference papers

titre
On the Executable Nature of Models
auteur
Eric Cariou, Olivier Le Goaer, Franck Barbier
article
Proceedings of the 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016, Oct 2016, Saint-Malo, France. pp.44-46
Accès au bibtex
BibTex
titre
On the Executable Nature of Models
auteur
Eric Cariou, Olivier Le Goaer, Franck Barbier
article
2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Oct 2016, Saint-Malo, France
Accès au bibtex
BibTex

Book sections

titre
Android Executable Modeling: Beyond Android Programming
auteur
Olivier Le Goaer, Franck Barbier, Eric Cariou
article
Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global, pp.269-283, 2016, 9781466699175 (ISBN); 1466699167 (ISBN); 9781466699168 (ISBN). ⟨10.4018/978-1-4666-9916-8.ch014⟩
Accès au bibtex
BibTex

2015

Journal articles

titre
Adaptation d'exécution de Modèles Par Contrats
auteur
Eric Cariou, Olivier La Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (6), pp.703-730. ⟨10.3166/tsi.34.703-730⟩
Accès au bibtex
BibTex
titre
Software Adaptation: Classification and a Case Study with State Chart XML
auteur
Franck Barbier, Eric Cariou, Olivier Le Goaer, Samson Pierre
article
IEEE Software, 2015, 32 (5), pp.68-76. ⟨10.1109/MS.2014.130⟩
Accès au bibtex
BibTex

Conference papers

titre
Energized State Charts with PauWare
auteur
Olivier Le Goaer, Eric Cariou, Franck Barbier
article
2nd Workshop on Engineering Interactive Systems with SCXML at EICS 2015, Jun 2015, Duisburg, Germany
Accès au bibtex
BibTex
titre
Comprendre La Nature Exécutable Des Modèles
auteur
Olivier Le Goaer, Eric Cariou, Franck Barbier
article
4ème Conférence En IngénieriE Du Logiciel (CIEL 2015), 2015, Bordeaux, France
Accès au bibtex
BibTex

2014

Conference papers

titre
Android Executable Modeling: Beyond Android Programming
auteur
Olivier Le Goaer, Franck Barbier, Eric Cariou, Samson Pierre
article
International Workshop on Mobile Applications (MobiApps 2014) at the 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Aug 2014, Barcelone, Spain
Accès au bibtex
BibTex
titre
A Family-based Framework for i-DSML Adaptation
auteur
Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
article
9th European Conference on Modelling Foundations and Applications (ECMFA 2014), Jul 2014, York, United Kingdom. pp.164--179
Accès au bibtex
BibTex
titre
Formalisation des contrats structurels et de QdS d’une composition de services Web
auteur
Raoudha Maraoui, Amina Ben Belgacem, Mohamed Graiet, Eric Cariou
article
Conférence francophone sur l'Architecture Logicielle (CAL 2014), Jun 2014, Paris, France
Accès au bibtex
BibTex

2013

Conference papers

titre
Characterization of Adaptable Interpreted-DSML
auteur
Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre
article
Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, Jul 2013, Montpellier, France. pp.37--53, ⟨10.1007/978-3-642-39013-5_4⟩
Accès au bibtex
BibTex

Book sections

titre
Adaptive Software based on Correct-by-Construction Metamodels
auteur
Franck Barbier, Pierre Castéran, Eric Cariou, Olivier Le Goaer
article
V. Garcia Diaz, J.M. Cueva Lovelle, B. Cristina Pelayo Gracia-Bustelo, O. Sanjuan Martinez. Progressions and Innovations in Model-Driven Software Engineering, IGI Global, pp.308-325, 2013, Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)
Accès au bibtex
BibTex

2012

Conference papers

titre
Inductive UML
auteur
Franck Barbier, Eric Cariou
article
Model and Data Engineering - 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings, Oct 2012, Poitiers, France. pp.153-161, ⟨10.1007/978-3-642-33609-6_15⟩
Accès au bibtex
BibTex
titre
Model Execution Adaptation?
auteur
Eric Cariou, Franck Barbier, Olivier Le Goaer
article
Proceedings of the 7th Workshop on Models@run.Time, Innsbruck, Austria, October 02, 2012, Oct 2012, Innsbruck, Austria. pp.60-65, ⟨10.1145/2422518.2422528⟩
Accès au bibtex
BibTex
titre
Semantic mappings between service, component and agent models
auteur
Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
article
15th  ACM  SIGSOFT  symposium  on  Component  Based  Software  Engineering (CBSE'2012)  , Jun 2012, Bertinoro, Italy. pp.29-34
Accès au bibtex
BibTex
titre
Correspondances sémantiques entre des modèles de services, de composants et d'agents
auteur
Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
article
6ème  Conférence  Francophone  sur  les  Architectures  Logicielles  (CAL  2012), May 2012, Montpellier, France
Accès au bibtex
BibTex

2011

Conference papers

titre
MDE approach for the generation and verification of SCA model
auteur
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
article
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Accès au bibtex
BibTex
titre
Towards a transformation of composite web service with QoS extension into ACME\Armani
auteur
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
article
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩
Accès au bibtex
BibTex
titre
Profile UML2.0 for specification of the SCA architectures
auteur
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
article
SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
Accès au bibtex
BibTex
titre
ATL transformation for the generation of SCA model
auteur
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
article
SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Accès au bibtex
BibTex
titre
Transformation of Composite Web Service for QoS Extension into ACME\Armani
auteur
A. Mhamdi, R. Maraoui, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Eric Cariou
article
The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Accès au bibtex
BibTex
titre
ATL Transformation of UML 2.0 for the Generation of SCA Model
auteur
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
article
The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Accès au bibtex
BibTex
titre
UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures
auteur
W. Ben Abid, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Walid Gaaloul, Eric Cariou
article
The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Accès au bibtex
BibTex
titre
Service-Oriented Integration of Component and Agent Models
auteur
Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
article
special session on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC) of the 6th International Conference on Software and Data Technologies (ICSOFT 2011), Jul 2011, Rome, Italy
Accès au bibtex
BibTex
titre
Une approche de vérification d'exécution de modèles par contrats
auteur
Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
article
IDM'11, Jun 2011, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00637747/file/idm11-exec-contrats.pdf BibTex
titre
Contracts for Model Execution Verification
auteur
Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
article
ECMFA'11, Jun 2011, Birmingham, United Kingdom. ⟨10.1007/978-3-642-21470-7_2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00637763/file/cariou-ecmfa11.pdf BibTex
titre
Towards a Component Agent Service Oriented Model (short paper)
auteur
Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes
article
5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France
Accès au bibtex
BibTex

2010

Book sections

titre
Chapter 11, Model Driven Reverse Engineering of COBOL
auteur
Franck Barbier, S. Eveillard, K. Youbi, O. Guitton, A. Perrier, Eric Cariou
article
Information System Transformations: Architecture Driven Modernization Case Studies, Morgan Kaufmann, pp.283-299, 2010
Accès au bibtex
BibTex

Books

titre
Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel
auteur
Eric Cariou, Laurence Duchien, Yves Ledru
article
Université de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010
Accès au bibtex
BibTex
titre
Langages et Modèles à Objets
auteur
Eric Cariou, Jean-Claude Royer
article
Université de Pau et des pays de l'adour, pp.100, 2010
Accès au bibtex
BibTex

2009

Journal articles

titre
OCL Contracts for the Verification of Model Transformations
auteur
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
article
Electronic Communications of the EASST, 2009, 24
Accès au bibtex
BibTex

Conference papers

titre
OCL contracts for the verification of model transformations
auteur
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
article
the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Oct 2009, Denver, United States
Accès au bibtex
BibTex
titre
Model-Driven Reverse Engineering of COBOL-Based Applications
auteur
Sylvain Eveillard, Franck Barbier, Kamal Youbi, Eric Cariou
article
Tools and Consultancy Track in 5th European Conference on Model-Driven Architecture (ECMDA-FA 2009), Jun 2009, Twente, Netherlands
Accès au bibtex
BibTex
titre
Contrats de transformation pour la validation de raffinement de modèles
auteur
Eric Cariou, Nicolas Belloir, Franck Barbier
article
5èmes journées sur l'Ingénierie dirigée par les Modèles (IDM 2009), Mar 2009, Nancy, France
Accès au bibtex
BibTex

2008

Journal articles

titre
Ingénierie des modèles : panorama et tendances
auteur
Eric Cariou, Franck Barbier
article
Génie Logiciel GL & IS, 2008, pp.;
Accès au bibtex
BibTex

Conference papers

titre
Component Design Based on Model Executability
auteur
Franck Barbier, Eric Cariou
article
The 34th EUROMICRO SEAA Conference, CBSE Track, IEEE Computer Society, Sep 2008, Parma, Italy. pp.;
Accès au bibtex
BibTex

2007

Conference papers

titre
Implémentation d'un modèle UML de composition hiérarchique.
auteur
Nicolas Belloir, Jean-Michel Bruel, Eric Cariou
article
In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;
Accès au bibtex
BibTex

2006

Conference papers

titre
Modélisation de systèmes complexes distribués : l'ingénierie des modèles pour l'intégration des paradigmes agent et composant
auteur
Philippe Aniorte, Eric Gouarderes, Eric Cariou
article
2ème Journée Multi-Agent et Composant, Mar 2006, Nîmes, France. pp.;
Accès au bibtex
BibTex

2002

Conference papers

titre
An architecture and a process for implementing distributed collaborations
auteur
Eric Cariou, Antoine Beugnard, Jean-Marc Jézéquel
article
Proceedings of EDOC 2002, Apr 2002, Lausanne, Switzerland
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00794774/file/Cariou02a.pdf BibTex