Towards Class Diagram Algebra for Composing Data Models

A large set of partial data models is used in designing a large information system. These partial data models provide several complementary views on the system to be developed. This however leads to a need for compositional models that are able to produce a single integrated model. These data models are often described by a class diagram of Unified Modeling Language because it is a very popular modeling language and describing a static view of a system. In this paper, we present syntax and semantics of a class diagram describing a data model. We propose a family of well-formed class diagrams as a domain of class diagram algebra and composition operations as merge and difference operations. We then show that algebraic properties as associativity, commutativity and involutivity are desired for model management to develop a large information system.

[1]  Diego Calvanese,et al.  Unifying Class-Based Representation Formalisms , 2011, J. Artif. Intell. Res..

[2]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[3]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[4]  Bernhard Rumpe,et al.  An Algebraic View on the Semantics of Model Composition , 2007, ECMDA-FA.

[5]  Daniel J. Buehrer.  An Object-Oriented Class Algebra , 1995 .

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

[7]  Marcin Szlenk.  Formal Semantics and Reasoning about UML Class Diagram , 2006, 2006 International Conference on Dependability of Computer Systems.

[8]  Junichi Iijima,et al.  A syntactical foundation of class diagram algebra for enterprise service systems , 2010, 2010 7th International Conference on Service Systems and Service Management.

[9]  Artur Boronat,et al.  Formal Model Merging Applied to Class Diagram Integration , 2006, EVOL.

[10]  Ken Satoh,et al.  Consistency Checking Algorithms for Restricted UML Class Diagrams , 2006, FoIKS.

[11]  HIDEKAZU ENJO,et al.  1 AN ALGEBRAIC APPROACH TO CONSISTENCY CHECKING BETWEEN CLASS DIAGRAMS , 2009 .

[12]  Jean Bézivin,et al.  A Canonical Scheme for Model Composition , 2006, ECMDA-FA.

[13]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[14]  Steven Givant,et al.  Introduction to Boolean Algebras , 2008 .

[15]  Mehrdad Sabetzadeh,et al.  A manifesto for model merging , 2006, GaMMa '06.

[16]  Junichi Iijima,et al.  A step toward foundation of class diagram algebra for enterprise service systems , 2009, 2009 6th International Conference on Service Systems and Service Management.