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

Abstract

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.

Journal

References(9)*help

See more

Details

  • CRID
    1390001205289131392
  • NII Article ID
    110007573531
  • NII Book ID
    AA12242308
  • DOI
    10.20627/jsim.30.3_146
  • ISSN
    21899681
    18822614
  • NDL BIB ID
    10610666
  • Text Lang
    en
  • Data Source
    • JaLC
    • NDL
    • CiNii Articles
  • Abstract License Flag
    Disallowed

Report a problem

Back to top