Reasoning with UML class and sequence diagrams using XML declarative description theory | |
| Author | Teera Tosukhowong |
| Call Number | AIT Thesis no. CS-00-11 |
| Subject(s) | UML (Computer science) XML (Document markup language) |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-00-11 |
| Abstract | The Unified Modeling Language (UML) is a standard modeling language for designing objected oriented systems. This study proposes a practical framework for reasoning with UML diagrams that are represented in XML format in order to verify the correctness of input UML diagrams and transform them to other implicitly equivalent diagrams. In this framework, graphical modeling elements are captured in XML elements as facts in a knowledge base whereas a general knowledge in the domain of UML, about consistency and implicit relationships between modeling elements, is represented as a set of rules in XML format. The XML Declarative Description (XML DD) is used as a knowledge representation of these facts and rules. The Equivalence Transformation (ET), a new computation paradigm, is employed as an inference mechanism to process UML diagram encoded in XML format. To allow UML diagrams containing OCL constraints to be reasoned in a uniform way, the framework provides the way to capture these constraints in XML elements with a validation against their DTD. To show the results of this framework, a set of XML DD rules for verifying and transforming UML modeling elements in class diagram and sequence diagram are proposed and applied on an example UML model of an A TM system |
| Year | 2000 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-00-11 |
| Type | Thesis |
| School | School of Advanced Technologies (SAT) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse; |
| Examination Committee(s) | Aagesen, Finn Arve;Phan Minh Dung; |
| Scholarship Donor(s) | H.M. the King of Thailand; |
| Degree | Thesis (M. Eng.) - Asian Institute of Technology, 2000 |