Towards Class Diagram Algebra for Composing Data Models

Authors:
Hidekazu Enjo;Junichi Iijima
Affiliations:
NTT DATA CORPORATION, Japan;Tokyo Institute of Technology, Japan
Venue:
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Year:
2010

Citing 9
Cited 0

An Algebraic Framework for Merging Incomplete and Inconsistent Views

RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Formal Semantics and Reasoning about UML Class Diagram

DEPCOS-RELCOMEX '06 Proceedings of the International Conference on Dependability of Computer Systems
A manifesto for model merging

Proceedings of the 2006 international workshop on Global integrated model management
Formal Model Merging Applied to Class Diagram Integration

Electronic Notes in Theoretical Computer Science (ENTCS)
Model-driven Development of Complex Software: A Research Roadmap

FOSE '07 2007 Future of Software Engineering
Reasoning on UML class diagrams

Artificial Intelligence
An algebraic view on the semantics of model composition

ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Consistency checking algorithms for restricted UML class diagrams

FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
A canonical scheme for model composition

ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.