Abstract
Graph-based modeling is both common in and fundamental for Model Driven Engineering (MDE). The paper argues that several important model management (MMt) scenarios require an essential extension of graphical models. We show that different versions of model merge and sync, including many-to-many correspondences between models, can be treated in a uniform, compact and well-defined mathematical way if we specify graphical models as directed graphs with associative arrow composition and identity loops, that is, as categories.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1995)
Bernstein, P.A.: Applying model management to classical meta data problems. In: CIDR (2003)
Chechik, M., Nejati, S., Sabetzadeh, M.: A relationship-based approach to model integration. ISSE 8(1), 3–18 (2012)
Cockett, J.R.B., Koslowski, J., Seely, R.A.G.: Introduction to linear bicategories. Mathematical Structures in Computer Science 10(2), 165–203 (2000)
Corradini, A., Montanari, U.: An algebraic semantics for structured transition systems and its applications to logic programs. Theor. Comput. Sci. 103(1), 51–106 (1992)
Diskin, Z., Easterbrook, S., Miller, R.: Integrating schema integration frameworks, algebraically. Tech. Rep. CSRG-583, University of Toronto (2008) http://ftp.cs.toronto.edu/pub/reports/csrg/583/TR-583-schemaIntegr.pdf
Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F., Orejas, F.: From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 304–318. Springer, Heidelberg (2011)
Diskin, Z.: Towards category theory foundations for model management. Tech. Rep. GSDLab-TR 2014–03-03, University of Waterloo (2014). http://gsd.uwaterloo.ca/node/566
Diskin, Z., Gholizadeh, H., Wider, A., Czarnecki, K.: A Three-Dimensional Taxonomy for Bidirectional Model Synchronization. J. of Systems and Software (2015), to appear
Diskin, Z., Kokaly, S., Maibaum, T.: Mapping-aware megamodeling: design patterns and laws. In: Erwig, M., Paige, R.F., Van Wyk, E. (eds.) SLE 2013. LNCS, vol. 8225, pp. 322–343. Springer, Heidelberg (2013)
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)
Fiadeiro, J.L., Costa, J.F., Sernadas, A., Maibaum, T.S.E.: Process semantics of temporal logic specifications. In: Bidoit, M., Choppy, C. (eds.) COMPASS/ADT. Lecture Notes in Computer Science, vol. 655, pp. 236–253. Springer, Heidelberg (1991)
Goguen, J.A.: A categorical manifesto. Mathematical Structures in Computer Science 1(1), 49–67 (1991)
Golas, U., Lambers, L., Ehrig, H., Giese, H.: Toward bridging the gap between formal foundations and current practice for triple graph grammars. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2012. LNCS, vol. 7562, pp. 141–155. Springer, Heidelberg (2012)
Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. An EATCS Series, Springer (2004)
Hutchinson, J., Whittle, J., Rouncefield, M., Kristoffersen, S.: Empirical assessment of mde in industry. In: ICSE, pp. 471–480. IEEE, ACM (2011)
Lambers, L., Hildebrandt, S., Giese, H., Orejas, F.: Attribute handling for bidirectional model transformations. ECEASST 49 (2012)
Lauder, M., Anjorin, A., Varró, G., Schürr, A.: Bidirectional model transformation with precedence triple graph grammars. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 287–302. Springer, Heidelberg (2012)
Liang, H., Diskin, Z., Dingel, J., Posse, E.: A general approach for scenario integration. In: MODELS, pp. 204–218 (2008)
Magee, J., Kramer, J.: Concurrency: state models and Java programs. Wiley (1999)
Mantz, F., Taentzer, G., Lamo, Y.: Well-formed model co-evolution with customizable model migration. ECEASST 58 (2013)
Marchand, J., Combemale, B., Baudry, B.: A categorical model of model merging. In: Modeling in Software Engineering, pp. 70–76. MISE, ICSE Workshop (2012)
Meseguer, J., Montanari, U.: Petri nets are monoids. Inf. Comput. 88(2), 105–155 (1990)
Muller, P., Fondement, F., Baudry, B., Combemale, B.: Modeling modeling modeling. Software and System Modeling 11(3), 347–359 (2012)
Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S.M., Zave, P.: Matching and merging of statecharts specifications. In: ICSE (2007)
Sabetzadeh, M., Easterbrook, S.: An algebraic framework for merging incomplete and inconsistent views. In: 13th Int. Conference on Requirement Engineering (2005)
Sobociński, P.: Relational presheaves as labelled transition systems. In: Pattinson, D., Schröder, L. (eds.) CMCS 2012. LNCS, vol. 7399, pp. 40–50. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Diskin, Z., Maibaum, T., Czarnecki, K. (2015). A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. In: Taentzer, G., Bordeleau, F. (eds) Modelling Foundations and Applications. ECMFA 2015. Lecture Notes in Computer Science(), vol 9153. Springer, Cham. https://doi.org/10.1007/978-3-319-21151-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-21151-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-21150-3
Online ISBN: 978-3-319-21151-0
eBook Packages: Computer ScienceComputer Science (R0)