Combining techniques to verify service-based components, Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, 2017. ,
Domain Based Verification for UML Models, Workshop on Consistency in Model Driven Engineering C@Mode'05, pp.47-62, 2005. ,
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. ,
Développement de logiciel avec UML2 et OCL ; cours et exercices corrigés, volume 6 of Collection Technosup. Editions Ellipses, vol.9782729883539, 2013. ,
Component-based Product Line Engineering with UML. Addison-Wesley object technology series, 2002. ,
SDL with Applications from Protocol Specification. The BCS Practitioner, 1991. ,
Model-Driven Software Engineering in Practice : Second Edition, 2017. ,
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 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. ,
On the automated translational execution of the action language for foundational uml, Software & Systems Modeling, vol.17, issue.4, pp.1311-1337, 2018. ,
Execution of uml models : a systematic review of research and practice. Software & Systems Modeling, vol.18, pp.2313-2360, 2019. ,
A Practical Guide to SysML : Systems Modeling Language, 2008. ,
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.
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
Exploration of UML State Machine implementations in Java, 2011. ,
Software Maintenance Costs, 2015. ,
Advanced Systems Design with Java, UML and MDA, Computer Science. Elsevier, 2005. ,
, Conception d'applications en Java/JEE, Principes, patterns et architectures. Sciences sup -Informatique. Dunod, 1 edition, 2014.
Executable UML : A Foundation for Model-Driven Architecture. Object Technology Series, 2002. ,
Mapping uml statecharts to java code, Proc. IASTED International Conf. on Software Engineering, pp.111-116, 2004. ,
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. ,
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. ,
Lightweight and static verification of uml executable models, Comput. Lang. Syst. Struct, vol.46, issue.C, pp.66-90, 2016. ,
Model Driven Architecture with Executable UML, 2004. ,
Developing Safety-Critical Software : A Practical Guide for Aviation Software and DO-178C Compliance, 2013. ,
UML 2 en action : De l'analyse des besoins à la conception. Architecte logiciel. Eyrolles, 2011. ,
Systems Engineering with SysML/UML : Modeling, Analysis, Design. The MK/OMG Press, 2008. ,
Oussama El Kourri, Antoine Godet et Ronan Gueguen pour leur contribution aux expérimentations de cette étude ,