Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory

A practical framework for representing knowledge and reasoning in the domain of Unified Modeling Language (UML) is proposed. In this framework, graphical diagrams in a UML model are encoded as Extensible Markup Language (XML)/Metadata Interchange (XMI) elements, which are regarded as facts about a specific problem instance in a knowledge base, and the general knowledge on UML, such as inherent interrelationships among diagram components and implicit properties of diagrams, is represented as a set of XML definite clauses. Equivalent transformation (ET) is used as a fundamental computation mechanism for reasoning with the represented diagrams. © 2004 Wiley Periodicals, Inc.

[1]  Kiyoshi Akama,et al.  Declarative Semantics of Logic Programs on Parameterized Representation Systems , 1993 .

[2]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[3]  Vilas Wuwongse,et al.  Declarative Programs with Implicit Implications , 2002, IEEE Trans. Knowl. Data Eng..

[4]  Chutiporn Anutariya,et al.  A Data Model for XML Databases , 2001, Journal of Intelligent Information Systems.

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

[6]  Chutiporn Anutariya,et al.  Towards a Foundation for XML Document Databases , 2000, EC-Web.

[7]  Vilas Wuwongse,et al.  Defeasible Inheritance Through Specialization , 2001, Comput. Intell..

[8]  Andy S. Evans,et al.  Reasoning with UML class diagrams , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.