An Algebraic Approach To Consistency Checking Between Class Diagrams(APCIM2009 Best Papers)

  • ENJO Hidekazu
    Research and Development Headquarters, NTT DATA CORPORATION
  • TANABU Motonari
    International Graduate School of Social Sciences, Yokohama National University
  • IIJIMA Junichi
    Department of Industrial management and Engineering, a Vice Dean at Graduate School of Decision Science and Technology, Tokyo Institute of Technology

Bibliographic Information

Other Title
  • An algebraic approach to consistency checking between class diagrams

Search this article


There are several diagram methods for data modeling like a class diagram. It is very hard to describe a big data model of a large enterprise system into one diagram. It is necessary how to keep consistency among data models. We introduce algebraic structure for syntactical and semantical merger operations on class diagrams and the consolidation condition. We also show associative law and commutative law of the syntactical and semantical merger operations for the class diagram algebra that keeps avoiding inconsistency depending on order of merging.



See more

Details 詳細情報について

Report a problem

Back to top