Skip to main content
SpringerLink
Log in

Efficient Consistency Checking of Interrelated Models

  • Conference paper
  • First Online:
Book cover Modelling Foundations and Applications (ECMFA 2017)

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

Included in the following conference series:

Abstract

Software design normally requires a collection of interdependent models conforming to different metamodels. These multi-models present different views of interest and may be consistent only if they simultaneously satisfy a set of inter-model constraints. A straightforward approach to inter-model consistency checking is to run constraint validations on the model union (merge). If, in model repairing scenarios, single constraints are (re-)checked, these validations are carried out on a small view (localization) of a big model merge. This “merge-prior-to-localization”-approach is not efficient, because of considerable matching and merging workload. We propose to perform early localization in order to reduce the data space being subject to commonality search. The algorithm is based on a new method to formally specify the inter-relation of an arbitrary number of heterogeneously typed models.

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.

    This may happen, if an insurance company and one of its insurance intermediaries both store the contracts that this intermediary has sold, but if they store them w.r.t. different database schemas.

  2. 2.

    The type of the recognitions must be equal to the recognition of the types [13].

References

  1. Arbib, M., Manes, E.: The Categorical Imperative. Academic Press, New York, San Francisco, London (1975)

    MATH  Google Scholar 

  2. Barr, M., Wells, C.: Category Theory for Computing Sciences. Prentice Hall, Upper Saddle River (1990)

    MATH  Google Scholar 

  3. Diskin, Z., König, H.: Incremental consistency checking of heterogeneous multimodels. In: Milazzo, P., Varró, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 274–288. Springer, Cham (2016). doi:10.1007/978-3-319-50230-4_21

    Chapter  Google Scholar 

  4. Diskin, Z., Wolter, U.: A diagrammatic logic for object-oriented visual modeling. Electr. Notes Theor. Comput. Sci. 203(6), 19–41 (2008). http://dx.doi.org/10.1016/j.entcs.2008.10.041

    Article  MATH  Google Scholar 

  5. 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). doi:10.1007/978-3-642-21210-9_16

    Chapter  Google Scholar 

  6. Diskin, Z., Xiong, Y., Czarnecki, K.: From state- to delta-based bidirectional model transformations: the asymmetric case. J. Object Technol. 10(6), 1–25 (2011). http://dx.doi.org/10.5381/jot.2011.10.1.a6

    Google Scholar 

  7. Easterbrook, S.M., Chechik, M.: A framework for multi-valued reasoning over inconsistent viewpoints. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, Toronto, Ontario, Canada, 12–19, pp. 411–420 (2001). http://dx.doi.org/10.1109/ICSE.2001.919114

  8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformations. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  9. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  10. Fiadeiro, J.L., Lopes, A., Maibaum, T.S.E.: Synthesising interconnections. In: Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, Alsace, France, 17–22, pp. 240–264, February 1997

    Google Scholar 

  11. Goldblatt, R.: Topoi: The Categorial Analysis of Logic. Dover Publications, Mineola (1984)

    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.: Consistency checking of interrelated models: long version. Technical report, University of Applied Sciences, FHDW Hannover (2017). http://fhdwdev.ha.bib.de/public/papers/02017-01.pdf

  14. König, H., Diskin, Z.: Advanced local checking of global consistency in heterogeneous multimodeling. In: Wąsowski, A., Lönn, H. (eds.) ECMFA 2016. LNCS, vol. 9764, pp. 19–35. Springer, Cham (2016). doi:10.1007/978-3-319-42061-5_2

    Google Scholar 

  15. 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). http://www.kirj.ee/public/proceedings_pdf/2013/issue_1/Proc-2013-1-3-15.pdf

    Article  Google Scholar 

  16. de Lara, J., Guerra, E.: Formal support for model driven development with graph transformation techniques. In: Actas del Taller sobre Desarrollo Dirigido por Modelos, MDA y Aplicaciones, Granada, España, 13 Septiembre 2005 (2005). http://ceur-ws.org/Vol-157/paper04.pdf

  17. 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). doi:10.1007/978-3-642-13595-8_18

    Chapter  Google Scholar 

  18. Mens, T.: On the use of graph transformations for model refactoring. In: Lämmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2005. LNCS, vol. 4143, pp. 219–257. Springer, Heidelberg (2006). doi:10.1007/11877028_7

    Chapter  Google Scholar 

  19. Rabbi, F., Lamo, Y., Yu, I.C., Kristensen, L.M.: A diagrammatic approach to model completion. In: Proceedings of the 4th Workshop on the Analysis of Model Transformations Co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, 28 September 2015, pp. 56–65 (2015). http://ceur-ws.org/Vol-1500/paper7.pdf

  20. Romero, J.R., Jaen, J.I., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, Auckland, New Zealand, 1–4, pp. 163–172 (2009). http://dx.doi.org/10.1109/EDOC.2009.23

  21. Rutle, A., Rossini, A., Lamo, Y., Wolter, U.: A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebr. Program. 81(4), 422–457 (2012). http://dx.doi.org/10.1016/j.jlap.2012.03.006

    Article  MathSciNet  MATH  Google Scholar 

  22. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S.M., Chechik, M.: Consistency checking of conceptual models via model merging. In: 15th IEEE International Requirements Engineering Conference, RE 15–19th, 2007, New Delhi, India, pp. 221–230 (2007). http://dx.doi.org/10.1109/RE.2007.18

  23. 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, pp. 151–163. Springer, Heidelberg (1995). doi:10.1007/3-540-59071-4_45

    Chapter  Google Scholar 

  24. Sousa, 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.) ICEIS 2009. LNBIP, vol. 24, pp. 137–148. Springer, Heidelberg (2009). doi:10.1007/978-3-642-01347-8_12

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Harald König

  2. McMaster University, Hamilton, 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. University of Paderborn, Paderborn, Germany

    Anthony Anjorin

  2. Tecnalia Research and Innovation, Derio, Spain

    Huáscar Espinoza

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

König, H., Diskin, Z. (2017). Efficient Consistency Checking of Interrelated Models. 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_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-61482-3_10

  • 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)

Publish with us

Policies and ethics

Search

Navigation