Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Algebraic Development Techniques

WADT 2008: Recent Trends in Algebraic Development Techniques pp 71–87Cite as

What Is a Multi-modeling Language?

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5486))

Abstract

In large software projects often multiple modeling languages are used in order to cover the different domains and views of the application and the language skills of the developers appropriately. Such “multi-modeling” raises many methodological and semantical questions, ranging from semantic consistency of the models written in different sublanguages to the correctness of model transformations between the sublanguages. We provide a first formal basis for answering such questions by proposing semantically well-founded notions of a multi-modeling language and of semantic correctness for model transformations. In our approach, a multi-modeling language consists of a set of sublanguages and correct model transformations between some of the sublanguages. The abstract syntax of the sublanguages is given by MOF meta-models. The semantics of a multi-modeling language is given by associating an institution, i.e., an appropriate logic, to each of its sublanguages. The correctness of model transformations is defined by semantic connections between the institutions.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The AGG website (1997), http://tfs.cs.tu-berlin.de/agg/

  2. Akehurst, D.H., Kent, S., Patrascoiu, O.: A Relational Approach to Defining and Implementing Transformations Between Metamodels. Softw. Sys. Model. 2(4), 215–239 (2003)

    Article  Google Scholar 

  3. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  4. Bergstra, J.A., Tucker, J.V.: A Characterisation of Computable Data Types by Means of a Finite Equational Specification Method. In: Proc. ICALP 1980. LNCS, vol. 85, pp. 76–90. Springer, Heidelberg (1980)

    Google Scholar 

  5. Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 53–67. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. Technical Report CS-08-004, University of Leicester (2008)

    Google Scholar 

  7. Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a Multi-Modeling Language? Technical Report UIUCDCS-R-2008-3006, UIUC (2008), http://www.cs.uiuc.edu/research/techreports.php?report=UIUCDCS-R-2008-3006

  8. Boronat, A., Meseguer, J.: Algebraic Semantics of OCL-constrained Metamodel Specifications. Technical Report UIUCDCS-R-2008-2995, University of Illinois, Urbana Champaign (2008)

    Google Scholar 

  9. Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 377–391. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML – Towards a System Model for UML: The Structural Data Model. Technical Report TUM-I0612, Technische Universität München (2006)

    Google Scholar 

  11. Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  12. Cengarle, M.V., Knapp, A.: An Institution for UML 2.0 Static Structures. Technical Report TUM-I0807, Technische Universität München (2008)

    Google Scholar 

  13. Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach to UML Semantics. In: WISTP 2008. LNCS, vol. 5019, pp. 383–402. Springer, Heidelberg (2008)

    Google Scholar 

  14. Clavel, M., Durán, F., Eker, S., Meseguer, J., Lincoln, P., Martí-Oliet, N., Talcott, C.: All About Maude. LNCS, vol. 4350. Springer, Heidelberg (2007)

    MATH  Google Scholar 

  15. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Comm. ACM 13(6), 377–387 (1970)

    Article  MATH  Google Scholar 

  16. Diaconescu, R.: Institution-Independent Model Theory. Birkhäuser, Basel (2008)

    MATH  Google Scholar 

  17. Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A Combined Reference Model- and View-Based Approach to System Specification. Int. J. Softw. Knowl. Eng. 7(4), 457–477 (1997)

    Article  Google Scholar 

  18. Finkelstein, A., Goedicke, M., Kramer, J., Niskier, C.: Viewpoint Oriented Software Development: Methods and Viewpoints in Requirements Engineering. In: Bergstra, J.A., Feijs, L.M.G. (eds.) Algebraic Methods 1989. LNCS, vol. 490, pp. 29–54. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  19. Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. J. ACM 39(1), 95–146 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  20. Goguen, J.A., Rosu, G.: Institution Morphisms. Form. Asp. Comp. 13(3–5), 274–307 (2002)

    Article  MATH  Google Scholar 

  21. MacLane, S.: Categories for the Working Mathematician. Springer, Heidelberg (1971)

    MATH  Google Scholar 

  22. Meseguer, J.: General Logics. In: Logic Coll. 1987, pp. 275–329. North Holland, Amsterdam (1989)

    Google Scholar 

  23. Meseguer, J.: Membership Algebra as a Logical Framework for Equational Specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 18–61. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  24. Mossakowski, T.: Heterogeneous Specification and the Heterogeneous Tool Set. Habilitationsschrift, Universität Bremen (2005)

    Google Scholar 

  25. Mossakowski, T., Tarlecki, A.: Heterogeneous Specification (in preparation)

    Google Scholar 

  26. Mossakowski, T., Tarlecki, A.: Heterogeneous Logical Environments for Distributed Specifications. In: WADT 2008. LNCS, vol. 5486, pp. 266–289. Springer, Heidelberg (2009)

    Google Scholar 

  27. Object Management Group. MDA Guide Version 1.0.1. Technical report, OMG (2003) www.omg.org/docs/omg/03-06-01.pdf

  28. Object Management Group. MOF 2.0 Core Specification. Technical report, OMG (2006) www.omg.org/cgi-bin/doc?formal/2006-01-01

  29. Poernomo, I.: The Meta-Object Facility Typed. In: Proc. SAC 2006, pp. 1845–1849. ACM, New York (2006)

    Google Scholar 

  30. Poernomo, I.: Proofs-as-Model-Transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 214–228. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  31. Tarlecki, A.: Moving between Logical Systems. In: Proc. WADT 1995. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)

    Google Scholar 

  32. Varró, D., Balogh, A.: The Model Transformation Language of the VIATRA2 Framework. Sci. Comp. Prog. 68(3), 187–207 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  33. Wehrheim, H.: Behavioural Subtyping in Object-Oriented Specification Formalisms. Habilitationsschrift, Carl-von-Ossietzky-Universität Oldenburg (2002)

    Google Scholar 

  34. Wirsing, M., Knapp, A.: View Consistency in Software Development. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol. 2941, pp. 341–357. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Leicester, UK

    Artur Boronat

  2. Universität Augsburg, Germany

    Alexander Knapp

  3. University of Illinois, USA

    José Meseguer

  4. Ludwig-Maximilians-Universität München, Germany

    Martin Wirsing

Authors
  1. Artur Boronat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Knapp
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. José Meseguer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Martin Wirsing
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa, Italy

    Andrea Corradini  & Ugo Montanari  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Boronat, A., Knapp, A., Meseguer, J., Wirsing, M. (2009). What Is a Multi-modeling Language?. In: Corradini, A., Montanari, U. (eds) Recent Trends in Algebraic Development Techniques. WADT 2008. Lecture Notes in Computer Science, vol 5486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03429-9_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-03429-9_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-03428-2

  • Online ISBN: 978-3-642-03429-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation