Toward reasoning with unified modeling language diagrams based on extensible markup language declarative description theory
✍ Scribed by Ekawit Nantajeewarawat; Vilas Wuwongse; Chutiporn Anutariya; Kiyoshi Akama; Surapa Thiemjarus
- Publisher
- John Wiley and Sons
- Year
- 2004
- Tongue
- English
- Weight
- 138 KB
- Volume
- 19
- Category
- Article
- ISSN
- 0884-8173
No coin nor oath required. For personal study only.
✦ Synopsis
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.