Skip to main content
SpringerLink
Log in

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

  • Conference paper
  • First Online:
Modelling Foundations and Applications (ECMFA 2016)

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

Included in the following conference series:

Abstract

Software design requires deployment of interdependent models conforming to different metamodels. This set of models is called a multimodel, and it must satisfy a set of global constraints regulating interaction of the multimodel components. A straightforward approach to global consistency checking would require merging component metamodels modulo their overlap, adding, perhaps, new global constraints to this merge, merging component models modulo their overlap, and checking the latter merge against the constraints in the former one. Being a natural definition for global consistency, these steps can not be used algorithmically because of two major practical drawbacks: they involve costly (meta)model matching to specify overlaps, and require building big and unfeasible merged metamodels and models.

The present paper makes two contributions. First, it presents a new algorithm to check each global constraint individually, and as local as possible, i.e., only using those (meta)model elements that affect the validity of the constraint. Second, it develops a mathematical foundation that allows us to formally prove that this individual local consistency checking is sound and complete w.r.t. the definition of global consistency.

This work is supported by the Automotive Partnership Canada via the Network on Engineering Complex Software Intensive Systems (NECSIS).

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 EPUB and 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

Notes

  1. 1.

    Formally, \(r_i'\) (\(i\in \{1,2\}\)) map the data graph of \(A_{12}\) and respect behavior of \(r_i\), i.e. \(r_i';\tau _i = \tau _{12};r_i\).

  2. 2.

    Again assuming domain and codomain of \(r_1'\) and \(r_2'\) to be clear from the context.

  3. 3.

    We still consider \(c@\delta \) to be imposed on the merge \(M_+\) of \(M_1\) and \(M_2\), i.e. \(\delta : S^c\rightarrow M_+\). Recall that the image of \(\delta \) is the set of those elements in \(M_+\), the shape of c is mapped to.

  4. 4.

    All examples in the present paper are such that both \(r_1\) and \(r_2\) are injective.

References

  1. Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall, New York (1990)

    MATH  Google Scholar 

  2. Diskin, Z.: Towards generic formal semantics for consistency of heterogeneous multimodels. Tech. Rep. GSDLAB 2011–02-01, University of Waterloo (2011)

    Google Scholar 

  3. Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal arrow foundations for visual modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889, pp. 345–360. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  4. Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and kleisli categories. In: de Lara, J., Zisman, A. (eds.) Fundamental Approaches to Software Engineering. LNCS, vol. 7212, pp. 163–177. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  5. Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. In: Proceedings of the Second Workshop on Applied and Computational Category Theory (ACCAT 2007), pp. 19–41. ENTCS (2007)

    Google Scholar 

  6. Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 165–179. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  7. Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: ICSE, pp. 411–420 (2001)

    Google Scholar 

  8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. Monographs in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  9. Fickas, S., Feather, M., Kramer, J.: Proceedings of ICSE 1997 Workshop on Living with Inconsistency, Boston, USA (1997)

    Google Scholar 

  10. Fowler, M.: Analysis Patterns: Reusable Object Models. Addison-Wesley, Reading (1997)

    Google Scholar 

  11. Gogolla, M., Büttner, F., Richters, M.: USE: a UML-based specification environment for validating UML and OCL. Sci. Comput. Program. 69(1–3), 27–34 (2007). http://dx.doi.org/10.1016/j.scico.2007.01.013

    Article  MathSciNet  MATH  Google Scholar 

  12. Kessentini, M., Ouni, A., Langer, P., Wimmer, M., Bechikh, S.: Search-based metamodel matching with structural and syntactic measures. J. Syst. Softw. 97, 1–14 (2014). http://dx.doi.org/10.1016/j.jss.2014.06.040

    Article  Google Scholar 

  13. König, H., Diskin, Z.: Individually local checking of global consistency in heterogeneous multimodeling: the categorical story behind the scenery. Tech.rep., University of Applied Sciences, FHDW Hannover (2016). http://fhdwdev.ha.bib.de/public/papers/02016-01.pdf

  14. Lamo, Y., Wang, X., Mantz, F., Bech, Ø., Sandven, A., Rutle, A.: DPF workbench: a multi-level language workbench for MDE. Proc. Est. Acad. Sci. 62, 3–15 (2013)

    Article  Google Scholar 

  15. Lopez-Herrejon, R.E., Egyed, A.: Detecting inconsistencies in multi-view models with variability. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 217–232. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  16. Rabbi, F., Lamo, Y., Yu, I., Kristensen, L.: A diagrammatic approach to model completion. In: 4th Workshop on Analysis of Model Transformations Co-Located with MODELS 2015, pp. 56–65 (2015)

    Google Scholar 

  17. Romero, J., Jaen, J., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: EDOC, pp. 163–172. IEEE Computer Society (2009)

    Google Scholar 

  18. Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A diagrammatic formalisation of MOF-based modelling languages. In: Oriol, M., Meyer, B. (eds.) Objects, Components, Models and Patterns. LNBIP, vol. 33, pp. 37–56. Springer, Heidelberg (2009). http://dx.doi.org/10.1007/978-3-642-02571-6_4

    Chapter  Google Scholar 

  19. Rutle, A., Wolter, U., Lamo, Y.: A diagrammatic approach to model transformations. In: Proceedings of the 2008 Euro American Conference on Telematics and Information Systems (EATIS 2008), pp. 1–8. ACM (2008)

    Google Scholar 

  20. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE, pp. 221–230. IEEE (2007)

    Google Scholar 

  21. Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903. Springer, Heidelberg (1995)

    Chapter  Google Scholar 

  22. Soboczińsky, P.: Deriving process congruences from reaction rules. Tech. Rep. DS-04-6, BRICS Dissertation Series (2004)

    Google Scholar 

  23. de Sousa Jr., J., Lopes, D., Claro, D.B., Abdelouahab, Z.: A step forward in semi-automatic metamodel matching: algorithms and tool. In: Filipe, J., Cordeiro, J. (eds.) Enterprise Information Systems. LNBIP, vol. 24, pp. 137–148. Springer, Heidelberg (2009). http://dx.doi.org/10.1007/978-3-642-01347-8_12

    Chapter  Google Scholar 

Download references

Acknowledgement

We are sincerely grateful to anonymous reviewers for useful comments and suggestions. Financial support was provided by Automotive Partnership Canada via the Network on Engineering Complex Software Intensive Systems (NECSIS).

Author information

Authors and Affiliations

  1. University of Applied Sciences, FHDW Hannover, Hanover, Germany

    Harald König

  2. NECSIS, McMaster University, Hamilton, Canada

    Zinovy Diskin

  3. Generative Software Development Lab, University of Waterloo, Waterloo, Canada

    Zinovy Diskin

Authors
  1. Harald König
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zinovy Diskin
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Harald König .

Editor information

Editors and Affiliations

  1. IT University of Copenhagen, Copenhagen, Denmark

    Andrzej Wąsowski

  2. Volvo Group Trucks Technology, Gothenburg, Sweden

    Henrik Lönn

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

König, H., Diskin, Z. (2016). Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. In: Wąsowski, A., Lönn, H. (eds) Modelling Foundations and Applications. ECMFA 2016. Lecture Notes in Computer Science(), vol 9764. Springer, Cham. https://doi.org/10.1007/978-3-319-42061-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-42061-5_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-42060-8

  • Online ISBN: 978-3-319-42061-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation