Abstract
The objective of the ongoing OMG standard about a foundational UML subset semantics (fUML) is twofold: providing operational semantics for a UML subset, and ease unambiguous and automatic model exploitations. Its impact could however be limited if usual UML profiling practices do not evolve. Profiles are the traditional way to specialize UML semantics and handle semantic variation points. However, they are usually defined in a way that only informally addresses the semantic issue, potentially limiting the benefits that fUML could bring in UML based methodologies. UML profiling practices must evolve: we propose to explicitly encapsulate operational semantics into stereotype operations, and provide a way to intuitively handle semantic variation points through template parameters. We illustrate the usage of these mechanisms and demonstrate their potential benefits. We also show that no UML metamodel modifications are required to support them, so that their implementation in L3-compliant UML tools is straightforward.
This work has been performed in the context of the Usine Logicielle project (www.usine-logicielle.org) of the System@tic Paris Region Cluster. This project is partially funded by the ”Direction Générale des Entreprises of the French administration”, the ”Conseil Régional d’Île de France”, the ”Conseil Général des Yvelines”, the ”Conseil Général de l’Essonne” and the ”Conseil Général des Hauts de Seine”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cuccuru, A., Mraidha, C., Terrier, F., Gérard, S.: Templateable Metomodels for Semantic Variation Points. In: ECMDA-FA. European Conference on Model Driven Architecture - Foundations and Applications, Haifa, Israel (2007)
O’Keefe, G.: Improving the Definition of UML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, Springer, Heidelberg (2006)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: Abstraction and reuse of object-oriented design. In: Nierstrasz, O. (ed.) ECOOP 1993. LNCS, vol. 707, pp. 406–431. Springer, Heidelberg (1993)
Gunter, C.: Semantics of Programming Languages: Structures and Techniques (Foundations of Computing). MIT Press, Cambridge (1992)
Harel, D., Rumpe, B.: Meaningful Modeling: What’s the Semantics of ”Semantics”? Computer 37(10), 64–72 (2004)
Henderson-Sellers, B.: UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. Software and System Modeling 4(1), 4–13 (2005)
Hussey, K.: What do YOU want UML to be? (Slides). In: EclipseCON, Santa Clara, CA, USA (2007)
Kim, S.-K., Burger, D., Carrington, D.A.: An MDA Approach towards Integrating Formal and Informal Modeling Languages. In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, Springer, Heidelberg (2005)
OMG. Semantics of a Foundational Subset for Executable UML Models RFP (2005)
OMG. Unified Modeling Language: Infrastructure (2005)
OMG. Unified Modeling Language: Superstructure version 2.1.1 (2007)
Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, Springer, Heidelberg (2003)
Tanguy, Y., Gérard, S., Radermacher, A., Terrier, F.: Model Driven Engineering for Real Time Embedded Systems. In: ERTS. 3rd European Congress Embedded Real Time Software, Toulouse (France) (January 2006)
Tessier, P., Gérard, S., Mraidha, C., Terrier, F., Geib, J.-M.: A Component-Based Methodology for Embedded System Prototyping. In: 14th IEEE International Workshop on Rapid Systems Prototyping, San Diego, CA, USA, IEEE Computer Society Press, Los Alamitos (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cuccuru, A., Mraidha, C., Terrier, F., Gérard, S. (2007). Enhancing UML Extensions with Operational Semantics.. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-75209-7_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75208-0
Online ISBN: 978-3-540-75209-7
eBook Packages: Computer ScienceComputer Science (R0)