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

Authors:
Ekawit Nantajeewarawat;Vilas Wuwongse;Chutiporn Anutariya;Kiyoshi Akama;Surapa Thiemjarus
Affiliations:
IT Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand;CS, Shinawatra University, Pathumthani 12160, Thailand;CS, Shinawatra University, Pathumthani 12160, Thailand;Information Initiative Center, Hokkaido University, Sapporo 060–0811, Japan;IT Program, Sirindhorn International Institute of Technology, Thammasat University, Rangsit Campus, Pathumthani 12121, Thailand
Venue:
International Journal of Intelligent Systems - Intelligent Technologies
Year:
2004

Citing 0
Cited 3

Using an automatic marking system for programming courses

Proceedings of the 34th annual ACM SIGUCCS fall conference: expanding the boundaries
Flexible hardware-software cooperation system with HwModule board and co-design framework by ET

ACACOS'08 Proceedings of the 7th WSEAS International Conference on Applied Computer and Applied Computational Science
Extending the equivalent transformation framework to model dynamic interactive systems

WSEAS Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

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.