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
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Object Management Group. Semantics of a Foundational Subset for Executable UML Models. Technical Report (2010)
Object Management Group. Precise Semantics of Composite Structures. Technical Report (2010)
Object Management Group. Modeling And Analysis Of Real-Time Embedded Systems. Technical Report (2011)
Object Management Group. Systems Modeling Language. Technical Report (2012)
Object Management Group. Action Language for Foundational UML. Technical Report (2012)
Partsch, H., Dausend, M., Gessenharter, D.: From Formal Semantics to Executable Models: A pragmatic Approach to Model-Driven Development. International Journal of Software and Informatics 5, 291–312 (2011)
Pardillo, J.: A Systematic Review on the definition of UML profiles. Model Driven Engineering Languages and Systems, 407–422 (2010)
Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of “Semantics”. Computer 37, 64–72 (2004)
Graph, S., Ober, I.: How useful is the UML profile SPT without Semantics? In: International Workshop on Model, Design and Validation (2004)
Muller, P.A., Fleurey, F., Jezequel, J.M.: Weaving Executability into Object-Oriented Meta-languages. Model Driven Engineering Languages and Systems 8, 264–278 (2005)
Mayerhofer, T., Langer, P., Wimmer, M.: Towards xMOF: Executable DSMLs based on fUML. In: Proceedings of the 2012 Workshop on Domain-Specific Modeling, vol. 12, pp. 1–6 (2005)
Wouters, L., Gervais, M.-P.: xOWL: An Executable Modeling Language for Domain Experts. International Entreprise Distributed Object Computing 15, 215–222 (2011)
Mraidha, C., Tanguy, Y., Jouvray, C., Terrier, F., Gerard, S.: An Execution Framework for MARTE-based Models. Engineering of Complex Computer Systems 13, 222–227 (2008)
Borger, E.: The ASM Method for System Design and Analysis. A Tutorial Introduction. Frontiers of Combining Systems, 264–283 (2005)
Riccobene, E., Scandurra, P.: An Executable Semantics of the SystemC UML profile. Abstract State Machines, Alloy, B and Z, 75–90 (2010)
Selic, B.: A Systematic Approach to Domain-Specific Language Design Using UML. In: International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pp. 2–9 (2007)
Romero, A., Schneider, K., Ferreira, M.: Using the Base Semantics given by fUML for Verification. MODELSWARD (2014)
Cuccuru, A., Mraidha, C., Terrier, F., Gérard, S.: Enhancing UML Extensions with Operational Semantics. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 271–285. Springer, Heidelberg (2007)
Selic, B.: Elements of Model-Based Engineering with UML2: What They Don’t Teach You About UML, Technical Report (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Tatibouët, J., Cuccuru, A., Gérard, S., Terrier, F. (2014). Formalizing Execution Semantics of UML Profiles with fUML Models. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-11653-2_9
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11652-5
Online ISBN: 978-3-319-11653-2
eBook Packages: Computer ScienceComputer Science (R0)