Incremental Consistency Checking of Heterogeneous Multimodels

  • Zinovy Diskin
  • Harald KönigEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9946)


The local approaches to global consistency checking (GCC) of heterogeneous multimodels strive to reduce the model merging and matching workload within GCC. The paper’s contribution to such approaches is a framework allowing the user to do matching incrementally: to build the match required for checking the multimodel w.r.t. a new constraint, the user employs matches produced in previous GCC sessions.


Mathematical Framework Global Constraint Model Match Global Consistency Constraint Check 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    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 CrossRefGoogle Scholar
  2. 2.
    Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE. pp. 292–301 (2007)Google Scholar
  3. 3.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Tranformations. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  4. 4.
    König, H., Diskin, Z.: Advanced local checking of global consistency in heterogeneous multimodeling. In: Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings, pp. 19–35 (2016).
  5. 5.
    Lamo, Y., Wang, X., Mantz, F., Bech, Ø., Sandven, A., Rutle, A.: DPF workbench: a multi-level language workbench for MDE. In: Proceedings of the Estonian Academy of Sciences, vol. 62, pp. 3–15 (2013)Google Scholar
  6. 6.
    Melnik, S., Garcia-Molina, H., Rahm, E.: Similarity flooding: a versatile graph matching algorithm and its application to schema matching. In: ICDE, pp. 117–128. IEEE Computer Society (2002)Google Scholar
  7. 7.
    Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE, pp. 455–464 (2003)Google Scholar
  8. 8.
    Rutle, A., Rabbi, F., MacCaull, W., Lamo, Y.: A user-friendly tool for model checking healthcare workflows. In: (EUSPN-2013) and ICTH, pp. 317–326 (2013).
  9. 9.
    Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE, pp. 221–230 (2007)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.NECSISMcMaster UniversityHamiltonCanada
  2. 2.Generative Software Development LabUniversity of WaterlooWaterlooCanada
  3. 3.University of Applied Sciences FHDW HannoverHannoverGermany

Personalised recommendations