Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Fundamental Approaches to Software Engineering

FASE 2012: Fundamental Approaches to Software Engineering pp 163–177Cite as

  1. Home
  2. Fundamental Approaches to Software Engineering
  3. Conference paper
Intermodeling, Queries, and Kleisli Categories

Intermodeling, Queries, and Kleisli Categories

  • Zinovy Diskin18,19,
  • Tom Maibaum18 &
  • Krzysztof Czarnecki19 
  • Conference paper
  • 1592 Accesses

  • 22 Citations

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

Abstract

Specification and maintenance of relationships between models are vital for MDE. We show that a wide class of such relationships can be specified in a compact and precise manner, if intermodel mappings are allowed to link derived model elements computed by corresponding queries. Composition of such mappings is not straightforward and requires specialized algebraic machinery. We present a formal framework, in which such machinery can be defined generically for a wide class of metamodel definitions. This enables algebraic specification of practical intermodeling scenarios, e.g., model merge.

Keywords

  • Query Language
  • Category Theory
  • View Model
  • Triple Graph
  • Query Mechanism

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.

Download conference paper PDF

References

  1. Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F.: Inter-modelling: From Theory to Practice. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 376–391. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. Goguen, J.: A categorical manifesto. Mathematical Structures in Computer Science 1(1), 49–67 (1991)

    CrossRef  MathSciNet  MATH  Google Scholar 

  5. Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)

    Google Scholar 

  6. Batory, D.S., Azanza, M., Saraiva, J.: The Objects and Arrows of Computational Design. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 1–20. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

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

    CrossRef  Google Scholar 

  8. Rossini, A., Rutle, A., Lamo, Y., Wolter, U.: A formalisation of the copy-modify-merge approach to version control in mde. J. Log. Algebr. Program. 79(7), 636–658 (2010)

    CrossRef  MathSciNet  MATH  Google Scholar 

  9. 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)

    CrossRef  Google Scholar 

  10. Diskin, Z.: Model Synchronization: Mappings, Tiles, and Categories. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 92–165. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  11. Diskin, Z., Maibaum, T., Czarnecki, K.: Intermodeling, queries, and Kleisli categories. Technical Report GSDLab-TR 2011-10-01, University of Waterloo (2011), http://gsd.uwaterloo.ca/QMapTR

  12. Ehrig, H., Ehrig, K., Prange, U., Taenzer, G.: Fundamentals of Algebraic Graph Transformation (2006)

    Google Scholar 

  13. Barr, M., Wells, C.: Category theory for computing science. PrenticeHall (1995)

    Google Scholar 

  14. Jacobs, B.: Categorical logic and type theory. Elsevier Science Publishers (1999)

    Google Scholar 

  15. Manes, E.: Algebraic Theories. Springer, Heidelberg (1976)

    CrossRef  MATH  Google Scholar 

  16. Jüllig, R., Srinivas, Y.V., Liu, J.: Specware: An Advanced Evironment for the Formal Development of Complex Software Systems. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, pp. 551–554. Springer, Heidelberg (1996)

    CrossRef  Google Scholar 

  17. Moggi, E.: Notions of computation and monads. Information and Computation 93(1), 55–92 (1991)

    CrossRef  MathSciNet  MATH  Google Scholar 

  18. Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of ACM 39(1), 95–146 (1992)

    CrossRef  MathSciNet  MATH  Google Scholar 

  19. Diskin, Z.: Towards generic formal semantics for consistency of heterogeneous multimodels. Technical Report GSDLAB 2011-02-01, University of Waterloo (2011)

    Google Scholar 

  20. Goguen, J., Burstall, R.: A Study in the Foundations of Programming Methodology: Specifications, Institutions, Charters and Parchments. In: Poigné, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol. 240, pp. 313–333. Springer, Heidelberg (1986)

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Quality Research Lab, McMaster University, Canada

    Zinovy Diskin & Tom Maibaum

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

    Zinovy Diskin & Krzysztof Czarnecki

Authors
  1. Zinovy Diskin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tom Maibaum
    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 Computer Science, Universidad Autónoma de Madrid, Campus Cantoblanco, 28049, Madrid, Spain

    Juan de Lara

  2. School of Informatics, City University, Northampton Square, EC1V 0HB, London, UK

    Andrea Zisman

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Diskin, Z., Maibaum, T., Czarnecki, K. (2012). Intermodeling, Queries, and Kleisli Categories. In: de Lara, J., Zisman, A. (eds) Fundamental Approaches to Software Engineering. FASE 2012. Lecture Notes in Computer Science, vol 7212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28872-2_12

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-28872-2_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-28871-5

  • Online ISBN: 978-3-642-28872-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature