Abstract
The model-driven engineering (MDE) of domain-specific languages (DSL) is becoming increasingly important. In this area, metamodels are the central artefacts, defining the syntax and semantics of DSLs. Different technologies are available to create metamodels, with the Meta Object Facility (MOF) being one of them. Apart from other uses, a MOF-based metamodel can serve as input for an automated derivation of a profile for the Unified Modeling Language (UML).
In this paper, we propose a novel mapping of redefined or subsetted metaclass attributes, so that the values of their corresponding stereotype attributes can be computed at runtime by employing the Object Constraint Language (OCL). This is achieved by an automatic introduction of additional OCL expressions. A further contribution is the transfer of the static semantics of a metamodel to its derived UML profile. This transfer is realized by an automatic update of existing OCL constructs in such a way that they can be utilized for a generated UML profile without any modification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Names within quotation marks and written in italic style refer to UML elements or attributes as specified by the UML Superstructure [18].
- 3.
Homepage of the ITU-T Z-series Recommendations: http://www.itu.int/itu-t/recommendations/index.aspx?ser=Z.
References
Homepage of the M2T transformation tool Acceleo. http://www.eclipse.org/acceleo/. Accessed 24 Feb 2017
Bergmayr, A., Wimmer, M.: Generating metamodels from grammars by chaining translational and by-example techniques. In: Proceedings of the 1st International Workshop on Model-driven Engineering by Example, CEUR Workshop, vol. 1104, pp. 22–31. CEUR-WS.org (2013)
Efftinge, S., Völter, M.: oAW xText: a framework for textual DSLs. In: Modeling Symposium at Eclipse Summit, vol. 32, pp. 118–121. eclipsecon.org (2006)
Fischer, J., Piefel, M., Scheidgen, M.: A metamodel for SDL-2000 in the context of metamodelling ULF. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 208–223. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31810-1_14
Giachetti, G., MarÃn, B., Pastor, O.: Integration of domain-specific modelling languages and UML through UML profile extension mechanism. Int. J. Comput. Sci. Applicat. 6(5), 145–174 (2009)
Giachetti, G., MarÃn, B., Pastor, O.: Using UML as a domain-specific modeling language: a proposal for automatic generation of UML profiles. In: Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 110–124. Springer, Heidelberg (2009). doi:10.1007/978-3-642-02144-2_13
Goldschmidt, T., Becker, S., Uhl, A.: Classification of concrete textual syntax mapping approaches. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 169–184. Springer, Heidelberg (2008). doi:10.1007/978-3-540-69100-6_12
Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Wende, C.: Model-based language engineering with EMFText. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 322–345. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35992-7_9
ITU-T: Recommendation Z.111: Notations and guidelines for the definition of ITU-T languages. International Telecommunication Union (2008)
ITU-T: Recommendation Z.100: Specification and Description Language - Overview of SDL-2010. International Telecommunication Union (2011)
ITU-T: Recommendation Z.109: Specification and Description Language - Unified Modeling Language profile for SDL-2010. International Telecommunication Union (2011)
Kraas, A.: Towards an extensible modeling and validation framework for SDL-UML. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 255–270. Springer, Cham (2014). doi:10.1007/978-3-319-11743-0_18
Malavolta, I., Muccini, H., Sebastiani, M.: Automatically bridging UML profiles to MOF metamodels. In: Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, pp. 259–266. IEEE (2015)
Noyrit, F., Gérard, S., Selic, B.: FacadeMetamodel: masking UML. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 20–35. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33666-9_3
OMG: MOF Model to Text Transformation Language - Version 1.0. Object Management Group (2008)
OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification - Version 1.1. Object Management Group (2011)
OMG: OMG Meta Object Facility (MOF) Core Specification - Version 2.5. Object Management Group (2011)
OMG: OMG Unified Modeling Language (OMG UML), Infrastructure, Version 2.4.1. Object Management Group (2011)
OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1. Object Management Group (2011)
OMG: UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1. Object Management Group (2011)
OMG: Object Constraint Language - Version 2.4. Object Management Group (2014)
Pastor, O., Giachetti, G., MarÃn, B., Valverde, F.: Automating the interoperability of conceptual models in specific development domains. In: Reinhartz-Berger, I., et al. (eds.) Domain Engineering: Product Lines, Languages, and Conceptual Models, pp. 349–373. Springer, Heidelberg (2013)
Scheidgen, M.: Description of languages based on object-oriented meta-modelling. Ph.D. thesis, Math.-Natural Sci. Dept. II, Humboldt-University, Berlin, Germany (2009)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, London (2008)
SDL-UML Modeling and Validation (SU-MoVal) framework homepage. http://www.su-moval.org/. Accessed 24 Feb 2017
Wimmer, M.: A semi-automatic approach for bridging DSMLs with UML. Int. J. Web Inform. Sys. 5(3), 372–404 (2009)
Acknowledgments
We thank Gerald Lüttgen of the Software Technologies Research Group at the University of Bamberg, Germany, for his many valuable remarks on this paper. Furthermore, we also thank Richard Paige of the Department of Computer Science at the University of York, U.K., for several discussions on the paper’s topic.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Kraas, A. (2017). On the Automated Derivation of Domain-Specific UML Profiles. In: Anjorin, A., Espinoza, H. (eds) Modelling Foundations and Applications. ECMFA 2017. Lecture Notes in Computer Science(), vol 10376. Springer, Cham. https://doi.org/10.1007/978-3-319-61482-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-319-61482-3_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61481-6
Online ISBN: 978-3-319-61482-3
eBook Packages: Computer ScienceComputer Science (R0)