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

  1. Ekawit Nantajeewarawat1,*,
  2. Vilas Wuwongse2,
  3. Chutiporn Anutariya2,
  4. Kiyoshi Akama3,
  5. Surapa Thiemjarus1

Article first published online: 12 JAN 2004

DOI: 10.1002/int.10153

Issue

International Journal of Intelligent Systems

International Journal of Intelligent Systems

Special Issue: Intelligent Technologies

Volume 19, Issue 1-2, pages 89–98, January - February 2004

Additional Information

How to Cite

Nantajeewarawat, E., Wuwongse, V., Anutariya, C., Akama, K. and Thiemjarus, S. (2004), Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory. Int. J. Intell. Syst., 19: 89–98. doi: 10.1002/int.10153

Author Information

  1. 1

    IT Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand

  2. 2

    CS, Shinawatra University, Pathumthani 12160, Thailand

  3. 3

    Information Initiative Center, Hokkaido University, Sapporo 060–0811, Japan

*IT Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand

Publication History

  1. Issue published online: 12 JAN 2004
  2. Article first published online: 12 JAN 2004

Funded by

  • Thailand Research Fund

SEARCH

SEARCH BY CITATION

ARTICLE TOOLS

Get PDF (138K)

Abstract

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.

Get PDF (138K)