P. André, C. Attiogbé, and J. Mottu, Combining techniques to verify service-based components, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2017.

P. André and G. Ardourel, Domain Based Verification for UML Models, Workshop on Consistency in Model Driven Engineering C@Mode'05, pp.47-62, 2005.

P. André, G. Ardourel, and J. C. Attiogbé, Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services, TSI, vol.30, issue.6, pp.627-658, 2011.

P. André and A. Vailly, Développement de logiciel avec UML2 et OCL ; cours et exercices corrigés, volume 6 of Collection Technosup. Editions Ellipses, vol.9782729883539, 2013.

C. Atkinson, Component-based Product Line Engineering with UML. Addison-Wesley object technology series, 2002.

F. Belina, D. Hogrefe, and A. Sarma, SDL with Applications from Protocol Specification. The BCS Practitioner, 1991.

M. Brambilla, J. Cabot, and M. Wimmer, Model-Driven Software Engineering in Practice : Second Edition, 2017.

J. Cabot and M. Gogolla, Object constraint language (ocl) : A definitive guide, Formal Methods for Model-Driven Engineering, vol.7320, pp.58-90, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00755009

A. Charfi, A. Schmidt, and A. Spriestersbach, A hybrid graphical and textual notation and editor for uml actions, Proceedings of the 5th European Conference on Model Driven Architecture -Foundations and Applications, ECMDA-FA '09, pp.237-252, 2009.

F. Ciccozzi, On the automated translational execution of the action language for foundational uml, Software & Systems Modeling, vol.17, issue.4, pp.1311-1337, 2018.

F. Ciccozzi, I. Malavolta, and B. Selic, Execution of uml models : a systematic review of research and practice. Software & Systems Modeling, vol.18, pp.2313-2360, 2019.

S. Friedenthal, A. Moore, and R. Steiner, A Practical Guide to SysML : Systems Modeling Language, 2008.

M. Gogolla, J. Bohling, and M. Richters, Validating uml and ocl models in use by automatic snapshot generation. Software and Systems Modeling, vol.4, pp.386-398, 2005.

, Semantics of a Foundational Subset for Executable UML Models (fUML), 2018.

S. Guermazi, J. Tatibouet, A. Cuccuru, E. Seidewitz, S. Dhouib et al., Executable modeling with fuml and alf in papyrus : Tooling and experiments, Proc. of the 1st International Workshop on Executable Modeling, pp.3-8, 2015.
URL : https://hal.archives-ouvertes.fr/cea-01844057

M. Hansen, Exploration of UML State Machine implementations in Java, 2011.

J. Koskinen, Software Maintenance Costs, 2015.

K. Lano, Advanced Systems Design with Java, UML and MDA, Computer Science. Elsevier, 2005.

J. Lonchamp, Conception d'applications en Java/JEE, Principes, patterns et architectures. Sciences sup -Informatique. Dunod, 1 edition, 2014.

J. Stephen, M. J. Mellor, and . Balcer, Executable UML : A Foundation for Model-Driven Architecture. Object Technology Series, 2002.

J. Iftikhar-azim-niaz, K. Tanaka, and . Words, Mapping uml statecharts to java code, Proc. IASTED International Conf. on Software Engineering, pp.111-116, 2004.

I. Perseil and L. Pautet, A concrete syntax for uml 2.1 action semantics using +cal, Proceedings of the 13th IEEE International Conference on on Engineering of Complex Computer Systems, ICECCS '08, pp.217-221, 2008.

R. Pilitowski and A. Dereziñska, Code generation and execution framework for uml 2.0 classes and state machines, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, pp.421-427, 2007.

E. Planas, J. Cabot, and C. Gómez, Lightweight and static verification of uml executable models, Comput. Lang. Syst. Struct, vol.46, issue.C, pp.66-90, 2016.

C. Raistrick, P. Francis, I. Wilkie, J. Wright, and C. B. Carter, Model Driven Architecture with Executable UML, 2004.

L. Rierson, Developing Safety-Critical Software : A Practical Guide for Aviation Software and DO-178C Compliance, 2013.

P. Roques and F. Vallée, UML 2 en action : De l'analyse des besoins à la conception. Architecte logiciel. Eyrolles, 2011.

T. Weilkiens, Systems Engineering with SysML/UML : Modeling, Analysis, Design. The MK/OMG Press, 2008.

L. Auteurs-remercient-colin-frapper, C. Jéhanno, L. Mahier, D. Phalavandishvili, G. Fortin et al., Oussama El Kourri, Antoine Godet et Ronan Gueguen pour leur contribution aux expérimentations de cette étude