Skip to main content
SpringerLink
Log in

Consistent integration of models based on views of meta models

  • Original Article
  • Published:
Formal Aspects of Computing

Abstract

The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modelling aims at creating small, partial models, each one of them describing some aspect of the system. Existing formal techniques supporting view-based visual modelling are based on typed attributed graphs, where views are related by typed attributed graph morphisms. Such morphisms up to now require a meta model given by a fixed type graph, as well as a fixed data signature and domain. This is in general not adequate for view-oriented modeling where only parts of the complete meta model are known and necessary when modelling a partial view of the system. The aim of this paper is to extend the framework of typed attributed graph morphisms to generalized typed attributed graph morphisms, short GAG-morphisms, which involve changes of the type graph, data signature, and domain. This allows the modeller to formulate type hierarchies and views of visual languages defined by GAG-morphisms between type graphs, short GATG-morphisms. In this paper, we study the interaction and integration of views, and the restriction of views along type hierarchies. In the main result, we present suitable conditions for the integration and decomposition of consistent view models (Theorem 4.1) and extend these conditions to view models defined over meta models with constraints (Theorem 5.1). As a running example, we use a visual domain-specific modelling language to model coarse-grained IT components and their connectors in decentralized IT infrastructures. Using constraints, we formulate connection properties as invariants.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Andrés FP, de Lara J, Guerra E (2007) Domain specific languages with graphical and textual views. In: Schürr A, Nagl M, Zündorf A (eds) Third international symposium of application of graph transformation with industrial relevance (AGTIVE’07). Lecture notes in computer science, vol 5088. Springer, Berlin, pp 79–94

    Google Scholar 

  2. TFS-Group (2009) TU Berlin. AGG. http://tfs.cs.tu-berlin.de/agg

  3. Arbab F (2004) Reo: a channel-based coordination model for component composition. Math Struct Comput Sci 14(3): 329–366

    Article  MATH  MathSciNet  Google Scholar 

  4. Braatz B, Brandt C, Engel T, Hermann F, Ehrig H (2007) An approach using formally well-founded domain languages for secure scoarse-grained IT system modelling in a real-world banking scenario. In: Proceedings of the Australasian conference on information systems (ACIS’07)

  5. Brunet G, Chechik M, Easterbrook S, Nejati S, Niu N, Sabetzadeh M (2006) A manifesto for model merging. In: Proceedings of the workshop on global integrated model management (GaMMa’06). ACM Press, New York, pp 4–12

  6. Bottoni P, Koch M, Parisi-Presicce F, Taentzer G (2000) Consistency checking and visualization of OCL constraints. In: UML 2000—the unified modeling language. Lecture notes in computer science, vol 1939. Springer, Berlin

  7. Cabot J, Clarisó R, Guerra E, de Lara J (2008) Analysing graph transformation rules through OCL. In: International conference on theory and practice of model transformations. Lecture notes in computer science, vol 5063. Springer, Berlin, pp 229–244

  8. Ehrig H, Ehrig K, Ermel C, Prange U (2008) Consistent integration of models based on views of visual languages. In: Fiadeiro JL, Inverardi P (eds) Proceedings of the fundamental approaches to software engineering (FASE’08). Lecture notes in computer science, vol 4961. Springer, Berlin, pp 62–76

    Chapter  Google Scholar 

  9. Ehrig H, Ehrig K, Ermel C, Prange U (2009) Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures. Technical Report TR 2009-08, Fak. IV, Technische Universität Berlin, 2009. http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2009

  10. Ehrig H, Ehrig K, Habel A, Pennemann K-H (2006) Theory of constraints and application conditions: from graphs to high-level structures. Fundam Inf 74(1): 135–166

    MATH  MathSciNet  Google Scholar 

  11. Engels G, Ehrig H, Heckel R, Taentzer G (1997) A combined reference model- and view-based approach to system specification. Int J Softw Knowl Eng 7(4): 457–477

    Article  Google Scholar 

  12. Ehrig H, Ehrig K, Prange U, Taentzer G (2006) Fundamentals of algebraic graph transformation. EATCS monographs in theoretical computer science. Springer, Berlin

    Google Scholar 

  13. Ehrig H, Mahr B (1985) Fundamentals of algebraic specification 1: Equations and initial semantics. EATCS monographs on theoretical computer science, vol 6. Springer, Berlin

    Google Scholar 

  14. Goguen JA, Burstall RM (1984) Introducing institutions. In: Proceedings of the Carnegie Mellon workshop on logic of programs. Springer, Berlin, pp 221–256

  15. Guerra E, Diaz P, de Lara J (2005) A formal approach to the generation of visual language environments supporting multiple views. In: Proceedings IEEE symposium on visual languages and human-centric computing (VL/HCC’05). IEEE Computer Society, Dallas, Texas, USA, September 2005

  16. Goedicke M, Enders B, Meyer T, Taentzer G (2000) ViewPoint-oriented software development: tool support for integrating multiple perspectives by distributed graph transformation. In: Conference on tools and algorithms for the construction and analysis of systems, Berlin, Germany. Lecture notes in computer science, vol 1785. Springer, Berlin, pp 43–47

  17. Goedicke M, Meyer T, Taentzer G (1999) ViewPoint-oriented Software development by distributed graph transformation: towards a basis for living with inconsistencies. In: Proceedings of the 4th IEEE international symposium on requirements engineering (RE’99), 7–11 June 1999, University of Limerick, Ireland. IEEE Computer Society

  18. Habel A, Pennemann K-H (2005) Nested constraints and application conditions for high-level structures. In: Kreowski H-J, Montanari U, Orejas F, Rozenberg G, Taentzer G (eds) Formal methods in software and systems modeling. Lecture notes in computer science, vol 3393. Springer, Berlin, pp 294–308

    Google Scholar 

  19. Object Management Group (2006) Meta-Object Facility (MOF), Version 2.0. http://www.omg.org/technology/documents/formal/mof.htm

  20. Nentwich Ch, Capra L, Emmerich W, Finkelstein A (2007) xlinkit: a consistency checking and smart link generation service. In: Department of Computer Science, editor, University College London, 2007

  21. Nuseibeh B, Finkelstein A, Kramer J (2003) Viewpoints: meaningful relationships are difficult. In: Proceedings of the international conference on software engineering (ICSE). IEEE Computer Society

  22. Object Management Group (2003) UML 2.0 OCL Specification. http://www.omg.org/docs/ptc/03-10-14.pdf

  23. Object Management Group (2007) Unified modeling language: superstructure—Version 2.1.1. formal/07-02-05, http://www.omg.org/technology/documents/formal/uml.htm

  24. Object Management Group (2008) Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Version 1.0 formal/08-04-03. http://www.omg.org/spec/QVT/1.0/

  25. Ranger U, Gruber K, Holze M (2008) Defining abstract graph views as module interfaces. In: Schürr A, Nagl M, Zündorf A (eds) Third international symposium of application of graph transformation with industrial relevance (AGTIVE’07), Lecture notes in computer science. Springer, Berlin, pp 117–133

    Google Scholar 

  26. Uchitel S, Chechik M (2004) Merging partial behavioural models. In: Proceedings of the 12th intrenational ACM SIGSOFT symposium on foundations of software engineering. ACM Press, New York, pp 43–52

  27. Winkelmann J, Taentzer G, Ehrig K, Küster J (2006) Translation of restricted OCL constraints into graph constraints for generating meta model instances by graph grammars. In: Varro D, Bruni R (eds) Proceedings of the graph transformation and visual modeling techniques (GT-VMT’06), ENTCS. Elsevier, Amsterdam

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Sekr. FR6-1, Franklinstr. 28-29, 10587, Berlin, Germany

    Hartmut Ehrig, Karsten Ehrig, Claudia Ermel & Ulrike Prange

Authors
  1. Hartmut Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Karsten Ehrig
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Claudia Ermel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Ulrike Prange
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Claudia Ermel.

Additional information

J.L. Fiadeiro, P. Inverardi and T.S.E. Maibaum

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ehrig, H., Ehrig, K., Ermel, C. et al. Consistent integration of models based on views of meta models. Form Asp Comp 22, 327–344 (2010). https://doi.org/10.1007/s00165-009-0127-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00165-009-0127-6

Keywords

Search

Navigation