Skip to main content
SpringerLink
Log in

Endogenous Metamodeling Semantics for Structural UML 2 Concepts

  • Conference paper
Model-Driven Engineering Languages and Systems (MODELS 2013)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 8107))

Abstract

A lot of work has been done in order to put the Unified Modeling Language (UML) on a formal basis by translating concepts into various formal languages, e.g., set theory or graph transformation. While the abstract UML syntax is defined by using an endogenous approach, i. e., UML describes its abstract syntax using UML, this approach is rarely used for its semantics. This paper shows how to apply an endogenous approach called metamodeling semantics for central parts of the UML standard. To this end, we enrich existing UML language elements with constraints specified in the Object Constraint Language (OCL) in order to describe a semantic domain model. The UML specification explicitly states that complete runtime semantics is not included in the standard because it would be a major amount of work. However, we believe that certain central concepts, like the ones used in the UML standard and in particular property features as subsets, union and derived, need to be explicitly modeled to enforce a common understanding. Using such an endogenous approach enables the validation and verification of the UML standard by using off-the-shelf UML and OCL tools.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alanen, M., Porres, I.: A metamodeling language supporting subset and union properties. Software and Systems Modeling 7(1), 103–124 (2008)

    Google Scholar 

  2. Amelunxen, C.: Metamodel-based Design Rule Checking and Enforcement. Ph.D. thesis, Technische Universität Darmstadt (2009), dissertation

    Google Scholar 

  3. Amelunxen, C., Schürr, A.: Formalizing Model Transformation Rules for UML/MOF 2. IET Software Journal 2(3), 204–222 (2008); Special Issue: Language Engineering

    Article  Google Scholar 

  4. Bock, C.: UML 2 Composition Model. Journal of Object Technology 3(10), 47–73 (2004), http://www.jot.fm/issues/issue_2004_11/column5

    Article  Google Scholar 

  5. Broy, M., Cengarle, M.V.: UML formal semantics: lessons learned. Software and System Modeling 10(4), 441–446 (2011)

    Article  Google Scholar 

  6. Chavez, H.M., Shen, W.: Formalization of UML Composition in OCL. In: Miao, H., Lee, R.Y., Zeng, H., Baik, J. (eds.) ACIS-ICIS, pp. 675–680. IEEE (2012)

    Google Scholar 

  7. Costal, D., Gómez, C., Guizzardi, G.: Formal Semantics and Ontological Analysis for Understanding Subsetting, Specialization and Redefinition of Associations in UML. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol. 6998, pp. 189–203. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Ducournau, R., Privat, J.: Metamodeling semantics of multiple inheritance. Science of Computer Programming 76(7), 555–586 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  9. Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323–337. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Gogolla, M.: Exploring ER and RE Syntax and Semantics with Metamodel Object Diagrams. In: Nürnberg, P.J. (ed.) Proc. Metainformatics Symposium (MIS 2005). ACM Int. Conf. Proceeding Series, vol. 214, 12 pages. ACM Press, New York (2005)

    Google Scholar 

  11. Gogolla, M., Büttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  12. Gogolla, M., Hamann, L., Xu, J., Zhang, J.: Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques. In: Gadducci, F., Mariani, L. (eds.) Proc. Workshop Graph Transformation and Visual Modeling Techniques (GTVMT 2011). ECEASST, Electronic Communications (2011), journal.ub.tu-berlin.de/eceasst/issue/view/53

  13. Hamann, L., Hofrichter, O., Gogolla, M.: OCL-Based Runtime Monitoring of Applications with Protocol State Machines. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 384–399. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  14. Hamann, L., Hofrichter, O., Gogolla, M.: On Integrating Structure and Behavior Modeling with OCL. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MoDELS 2012. LNCS, vol. 7590, pp. 235–251. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  15. Hausmann, J.H.: Dynamic META modeling: a semantics description technique for visual modeling languages. Ph.D. thesis, University of Paderborn (2005)

    Google Scholar 

  16. Kleppe, A.: Object constraint language: Metamodeling semantics. In: Lano, K. (ed.) UML 2 Semantics and Applications, pp. 163–178. John Wiley & Sons, Inc. (2009)

    Google Scholar 

  17. Kuhlmann, M., Hamann, L., Gogolla, M.: Extensive Validation of OCL Models by Integrating SAT Solving into USE. In: Bishop, J., Vallecillo, A. (eds.) TOOLS 2011. LNCS, vol. 6705, pp. 290–306. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Lano, K.: UML 2 Semantics and Applications. John Wiley & Sons, Inc. (2009)

    Google Scholar 

  19. Maraee, A., Balaban, M.: Inter-association Constraints in UML2: Comparative Analysis, Usage Recommendations, and Modeling Guidelines. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MoDELS 2012. LNCS, vol. 7590, pp. 302–318. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  20. Nieto, P., Costal, D., Gómez, C.: Enhancing the semantics of UML association redefinition. Data Knowl. Eng. 70(2), 182–207 (2011)

    Article  Google Scholar 

  21. OMG (ed.): UML Human-Usable Textual Notation (HUTN). Object Management Group (OMG) (August 2004), http://www.omg.org/spec/HUTN/

  22. OMG (ed.): Meta Object Facility (MOF) Core Specification 2.4.1. Object Management Group (OMG) (August 2011), http://www.omg.org/spec/MOF/2.4.1

  23. OMG (ed.): UML Superstructure 2.4.1. Object Management Group (OMG) (August 2011), http://www.omg.org/spec/UML/2.4.1/Superstructure/PDF

  24. OMG (ed.): Object Constraint Language 2.3.1. Object Management Group (OMG) (January 2012), http://www.omg.org/spec/OCL/2.3.1/

  25. Queralt, A., Teniente, E.: Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13 (2012)

    Article  Google Scholar 

  26. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language - Reference Manual, 2nd edn. Addison-Wesley (2004)

    Google Scholar 

  27. Rumpe, B., France, R.B.: Variability in UML language and semantics. Software and System Modeling 10(4), 439–440 (2011)

    Article  Google Scholar 

  28. Shan, L., Zhu, H.: Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy. Int. J. Software and Informatics 6(2), 163–200 (2012)

    Google Scholar 

  29. Soeken, M., Wille, R., Drechsler, R.: Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. In: Gogolla, M., Wolff, B. (eds.) TAP 2011. LNCS, vol. 6706, pp. 152–170. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  30. A UML-based Specification Environment. Internet, http://sourceforge.net/projects/useocl/

  31. Varró, D., Pataricza, A.: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 18–33. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  32. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department, Database Systems Group, University of Bremen, D-28334, Bremen, Germany

    Lars Hamann & Martin Gogolla

Authors
  1. Lars Hamann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculdade de Ciências e Tecnologia, Departamento de Informática, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Ana Moreira

  2. Institut für Mathematik, fortiss / Technische Universität München, Guerickestraße 25, 80805, München, Germany

    Bernhard Schätz

  3. Department of Computer Science, University of Alabama, Box 870290, 35487-0290, Tuscaloosa, AL, USA

    Jeff Gray

  4. ETSI Informática, Universidad de Málaga, Campus de Teatinos, Bulevar Louis Pasteur 35, 29071, Málaga, Spain

    Antonio Vallecillo

  5. School of Computing and Information Sciences, College of Engineering and Computing, Florida International University, 33199, Miami, FL, USA

    Peter Clarke

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hamann, L., Gogolla, M. (2013). Endogenous Metamodeling Semantics for Structural UML 2 Concepts. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds) Model-Driven Engineering Languages and Systems. MODELS 2013. Lecture Notes in Computer Science, vol 8107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41533-3_30

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41533-3_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41532-6

  • Online ISBN: 978-3-642-41533-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation