Model Synchronization , Mappings , Tile Algebra , and Categories

The paper presents a novel algebraic framework for specification and design of model synchronization tools. The basic premise is that synchronization procedures, and hence algebraic operations modeling them, are diagrammatic: they take a configuration (diagram) of models and mappings as their input and produce a diagram as the output. Many important synchronization scenarios are based on diagram operations of square shape. Composition of such operations amounts to their tiling, and complex synchronizers can thus be assembled by tiling together simple synchronization blocks. This gives rise to a visually suggestive yet precise notation for specifying synchronization procedures and reasoning about them.

[1]  Bart Jacobs,et al.  Categorical Logic and Type Theory , 2001, Studies in logic and the foundations of mathematics.

[2]  Zinovy Diskin,et al.  Heterogeneous View Integration via Sketches and Equations , 1996, ISMIS.

[3]  Erhard Rahm,et al.  Developing metadata-intensive applications with Rondo , 2003, J. Web Semant..

[4]  Tom Mens,et al.  A State-of-the-Art Survey on Software Merging , 2002, IEEE Trans. Software Eng..

[5]  Ivan Porres,et al.  Difference and Union of Models , 2003, UML.

[6]  Zinovy Diskin,et al.  Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling , 2003, Data Knowl. Eng..

[7]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[8]  Ralf Lämmel,et al.  Bidirectional Transformations: A Cross-Discipline Perspective , 2009, ICMT@TOOLS.

[9]  Jeffrey G. Gray,et al.  DSMDiff: a differentiation tool for domain-specific models , 2007 .

[10]  Jürgen Dingel,et al.  Engineering Associations: From Models to Code and Back through Semantics , 2008, TOOLS.

[11]  Clémentine Nebut,et al.  Metamodel Matching for Automatic Model Transformation Generation , 2008, MoDELS.

[12]  Yasushi Saito,et al.  Optimistic replication , 2005, CSUR.

[13]  Exploiting schemas in data synchronization , 2007, J. Comput. Syst. Sci..

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  Zinovy Diskin.  Databases as Diagram Algebras: Specifying Queries and Views Via the Graph-Based Logic of Sketches , 1996 .

[16]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[17]  Christoph Treude,et al.  Difference computation of large models , 2007, ESEC-FSE '07.

[18]  Udo Kelter,et al.  Differences between versions of UML diagrams , 2003, ESEC/FSE-11.

[19]  Kazutaka Matsuda,et al.  Bidirectionalization transformation based on automatic derivation of view complement functions , 2007, ICFP '07.

[20]  Philip A. Bernstein,et al.  Applying Model Management to Classical Meta Data Problems , 2003, CIDR.

[21]  Jirí Adámek,et al.  Abstract and Concrete Categories - The Joy of Cats , 1990 .

[22]  Ivar Jacobson,et al.  The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[23]  Umeshwar Dayal,et al.  On the correct translation of update operations on relational views , 1982, TODS.

[24]  Susan B. Davidson,et al.  View Maintenance for Hierarchical Semistructured Data , 2000, DaWaK.

[25]  Perdita Stevens,et al.  A Landscape of Bidirectional Model Transformations , 2007, GTTSE.

[26]  João Saraiva,et al.  Generative and Transformational Techniques in Software Engineering II , 2007, Lecture Notes in Computer Science.

[27]  Nicolas Spyratos,et al.  Update semantics of relational views , 1981, TODS.

[28]  Hui Song,et al.  Supporting Parallel Updates with Bidirectional Model Transformations , 2009, ICMT@TOOLS.

[29]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[30]  Michal Antkiewicz,et al.  Model-versioning-in-the-large: Algebraic foundations and the tile notation , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[31]  Benjamin C. Pierce,et al.  Boomerang: resourceful lenses for string data , 2008, POPL '08.

[32]  Zinovy Diskin,et al.  Mathematics of Generic Specifications for Model Management, I , 2005, Encyclopedia of Database Technologies and Applications.

[33]  José Nuno Oliveira.  Transforming Data by Calculation , 2007, GTTSE.

[34]  Martin Hofmann,et al.  Symmetric lenses , 2011, POPL '11.

[35]  Roberto Bruni,et al.  Some algebraic laws for spans , 2001, Electron. Notes Theor. Comput. Sci..

[36]  R. Street,et al.  Review of the elements of 2-categories , 1974 .

[37]  João Saraiva,et al.  Generative and Transformational Techniques in Software Engineering III , 2009, Lecture Notes in Computer Science.

[38]  Tom Leinster.  Higher Operads, Higher Categories , 2003 .

[39]  Erhard Rahm,et al.  Similarity flooding: a versatile graph matching algorithm and its application to schema matching , 2002, Proceedings 18th International Conference on Data Engineering.

[40]  Fabio Gadducci,et al.  The tile model , 2000, Proof, Language, and Interaction.

[41]  Bradley R. Schmerl,et al.  Differencing and merging of architectural views , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[42]  Zinovy Diskin,et al.  Algebraic Models for Bidirectional Model Synchronization , 2008, MoDELS.

[43]  V. E. Cazanescu.  Algebraic theories , 2004 .

[44]  Andre Scedrov,et al.  Categories, allegories , 1990, North-Holland mathematical library.

[45]  Mehrdad Sabetzadeh,et al.  An algebraic framework for merging incomplete and inconsistent views , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[46]  Lambert Meertens,et al.  Designing Constraint Maintainers for User Interaction , 1998 .

[47]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[48]  Krzysztof Czarnecki,et al.  From State- to Delta-Based Bidirectional Model Transformations: the Asymmetric Case , 2011, J. Object Technol..

[49]  Andy Schürr,et al.  15 Years of Triple Graph Grammars , 2008, ICGT.

[50]  Michael Johnson,et al.  Fibrations and universal view updatability , 2007, Theor. Comput. Sci..

[51]  Dongxi Liu,et al.  Towards automatic model synchronization from model transformations , 2007, ASE.

[52]  Benjamin C. Pierce,et al.  Relational lenses: a language for updatable views , 2006, PODS '06.

[53]  Curtis E. Dyreson,et al.  A Bibliography on Uncertainty Management in Information Systems , 1996, Uncertainty Management in Information Systems.

[54]  Georg Gottlob,et al.  Properties and update semantics of consistent views , 1988, TODS.

[55]  Zinovy Diskin,et al.  A Diagrammatic Logic for Object-Oriented Visual Modeling , 2008, Electron. Notes Theor. Comput. Sci..

[56]  Joost Visser,et al.  Coupled Schema Transformation and Data Conversion for XML and SQL , 2007, PADL.

[57]  Benjamin C. Pierce,et al.  Combinators for bi-directional tree transformations: a linguistic approach to the view update problem , 2005, POPL '05.

[58]  Jürgen Dingel,et al.  A General Approach for Scenario Integration , 2008, MoDELS.

[59]  Krzysztof Czarnecki,et al.  Specifying overlaps of heterogeneous models for global consistency checking , 2010, MDI '10.

[60]  Erhard Rahm,et al.  Supporting executable mappings in model management , 2005, SIGMOD '05.

[61]  Eleni Stroulia,et al.  UMLDiff: an algorithm for object-oriented design differencing , 2005, ASE.

[62]  Antonio Cicchetti,et al.  A Metamodel Independent Approach to Difference Representation , 2007, J. Object Technol..

[63]  José Meseguer,et al.  Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[64]  Michal Antkiewicz,et al.  Design Space of Heterogeneous Synchronization , 2007, GTTSE.