Skip to main content
SpringerLink
Log in

Specifying Overlaps of Heterogeneous Models for Global Consistency Checking

  • Conference paper
Models in Software Engineering (MODELS 2010)

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

Abstract

Software development often involves a set of models defined in different metamodels, each model capturing a specific view of the system. We call this set a multimodel, and its elements partial or local models. Since partial models overlap, they may be consistent or inconsistent wrt. a set of global constraints.

We present a framework for specifying overlaps between partial models and defining their global consistency. An advantage of the framework is that heterogeneous consistency checking is reduced to the homogeneous case yet merging partial metamodels into one global metamodel is not needed. We illustrate the framework with examples and sketch its formal semantics based on category theory.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Egyed, A.: Instant consistency checking for the UML. In: ICSE, pp. 381–390 (2006)

    Google Scholar 

  2. 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 

  3. Diskin, Z., Xiong, Y., Czarnecki, K.: Specifying overlaps of heterogeneous models for global consistency checking. In: First Int. Workshop on Model-Driven Interoperability, MDI 2010, pp. 42–51. ACM Press, New York (2010)

    Google Scholar 

  4. Balzer, R.: Tolerating inconsistency. In: ICSE, pp. 158–165 (1991)

    Google Scholar 

  5. Diskin, Z.: Model synchronization: mappings, tile algebra, and categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) Generative and Transformational Techniques in Software Engineering III. LNCS, vol. 6491, Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  6. Sabetzadeh, M., Easterbrook, S.: View merging in the presence of incompleteness and inconsistency. Requir. Eng. 11(3), 174–193 (2006)

    Article  Google Scholar 

  7. Diskin, Z.: Towards a formal semantics for consisterncy of heterogeneous multimodels. Technical Report 2010-07, The University of Waterloo (2011), http://gsd.uwaterloo.ca/node/330

  8. Mossakowski, T., Tarlecki, A.: Heterogeneous logical environments for distributed specifications. In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 266–289. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Broy, M., Cengarle, M., Rumpe, B.: Semantics of UML — towards a system model for UML: The structural data model. Technical Report TUM-IO612, Techniche Universität München (2006)

    Google Scholar 

  10. Nuseibeh, B., Kramer, J., Finkelstein, A.: Viewpoints: meaningful relationships are difficult? In: ICSE, pp. 676–683 (2003)

    Google Scholar 

  11. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: ICSE, pp. 455–464 (2003)

    Google Scholar 

  12. Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326–340. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  13. Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE, pp. 292–301 (2007)

    Google Scholar 

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

    Google Scholar 

  15. Spaccapietra, S., Parent, C.: View integration: A step forward in solving structural conflicts. IEEE Trans. Knowl. Data Eng. 6(2), 258–274 (1994)

    Article  Google Scholar 

  16. Bernstein, P., Pottinger, R.: Merging models based on given correspondences. In: VLDB (2003)

    Google Scholar 

  17. Cadish, B., Diskin, Z.: Heterogenious view integration via sketches and equations. In: ISMIS, pp. 603–612 (1996)

    Google Scholar 

  18. Engels, G., Heckel, R., Taentzer, G., Ehrig, H.: A combined reference model- and view-based approach to system specification. Int. Journal of Software and Knowledge Engeneering 7, 457–477 (1997)

    Article  Google Scholar 

  19. Bézivin, J., Bouzitouna, S., Del Fabro, M.D., Gervais, M.-P., Jouault, F., Kolovos, D.S., Kurtev, I., Paige, R.F.: A canonical scheme for model composition. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 346–360. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  20. Vallecillo, A.: On the combination of domain specific modeling languages. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 305–320. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. 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 

  22. Boronat, A., Knapp, A., Meseguer, J., Wirsing, M.: What is a multi-modeling language? In: Corradini, A., Montanari, U. (eds.) WADT 2008. LNCS, vol. 5486, pp. 71–87. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

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

    Google Scholar 

  24. Fiadeiro, J.L., Maibaum, T.S.E.: Interconnecting formalisms: Supporting modularity, reuse and incrementality. In: SIGSOFT FSE, pp. 72–80 (1995)

    Google Scholar 

  25. Liang, H., Diskin, Z., Dingel, J., Posse, E.: A general approach for scenario integration. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 204–218. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Bernstein, P.: Applying model management to classical metadata problems. In: Proc. CIDR 2003, pp. 209–220 (2003)

    Google Scholar 

  27. Diskin, Z.: Mathematics of generic specifications for model management. In: Rivero, Doorn, Ferraggine (eds.): Encyclopedia of Database Technologies and Applications, pp. 351–366. Idea Group, USA (2005)

    Google Scholar 

  28. Diskin, Z., Easterbrook, S., Miller, R.: Integrating schema integration frameworks, algebraically. Technical Report CSRG-583, University of Toronto (2008), http://ftp.cs.toronto.edu/pub/reports/csrg/583/TR-583-schemaIntegr.pdf

Download references

Author information

Authors and Affiliations

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

    Zinovy Diskin, Yingfei Xiong & Krzysztof Czarnecki

Authors
  1. Zinovy Diskin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yingfei Xiong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Krzysztof Czarnecki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, Queen’s University, 723 Goodwin Hall, K7L 3N6, Kingston, ON, Canada

    Juergen Dingel

  2. SINTEF, Oslo, Norway

    Arnor Solberg

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Diskin, Z., Xiong, Y., Czarnecki, K. (2011). Specifying Overlaps of Heterogeneous Models for Global Consistency Checking. In: Dingel, J., Solberg, A. (eds) Models in Software Engineering. MODELS 2010. Lecture Notes in Computer Science, vol 6627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-21210-9_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-21210-9_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-21209-3

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation