Formalizing execution semantics of UML profiles with fUML models

J. Tatibouët 1 A. Cuccuru 1 S. Gérard 1 F. Terrier 1
1 DILS - Département Ingénierie Logiciels et Systèmes
Abstract : UML Profiles are not only sets of annotations. They have semantics. Executing a model on which a profile is applied requires semantics of this latter to be considered. The issue is that in practice semantics of profiles are mainly specified in prose. In this form it cannot be processed by tools enabling model execution. Although latest developments advocate for a standard way to formalize semantics of profiles, no such approach could be found in the literature. This paper addresses this issue with a systematic approach based on fUML to formalize the execution semantics of UML profiles. This approach is validated by formalizing the execution semantics of a subset of the MARTE profile. The proposal is compatible with any tool implementing UML and clearly identifies the mapping between stereotypes and semantic definitions.
Keywords : Unified Modeling Language Alf Execution fUML MARTE Profile Semantics
Document type :
Conference papers
Complete list of metadatas
https://hal-cea.archives-ouvertes.fr/cea-01847294
Contributor : Léna Le Roy <>
Submitted on : Monday, July 23, 2018 - 2:34:28 PM
Last modification on : Wednesday, January 23, 2019 - 2:39:33 PM

Identifiers

Collections

CEA | DRT | LIST

Citation

J. Tatibouët, A. Cuccuru, S. Gérard, F. Terrier. Formalizing execution semantics of UML profiles with fUML models. International Conference on Model Driven Engineering Languages and Systems, 2014, Valencia, Spain. pp.133-148, ⟨10.1007/978-3-319-11653-2_9⟩. ⟨cea-01847294⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

86

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD