Reasoning with UML statechart diagrams using XML declarative description theory | |
| Author | Nguyen Tri Thanh |
| Call Number | AIT Thesis no.CS-02-30 |
| Subject(s) | XML (Document markup language) UML (Computer science) |
| Note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science. School of Advanced Technologies |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-02-30 |
| Abstract | The Unified Modeling Language (UML) is a de facto standard language for analyzing and designing system in object-oriented approach. One of its important types of diagrams, statechart diagrams are complementary views of many other kinds of diagrams in UML. It helps describe dynamic behaviors of its attached diagram. This study proposes a representation the semantics of UML statechart diagram using XML Declarative Description (XDD). Other objectives are to find out rules to verify the correctness of the input UML statechart diagrams in XML-based format, refine these diagrams, checking consistencies among statechart diagrams and its attached diagram, transform them into other implicitly equivalent diagrams. XDD is used as a knowledge representation tool. Graphical UML diagrams are converted into XML-based format and become facts in a knowledge base. All rules for verifying, refining, checking, transforming are represented as a set of XDD rules in XML format. The XML Equivalent Transformation (XET), a programming language which is based on Equivalent Transformation (ET), is used to process UML statechart diagram encoded in XML format. |
| Year | 2002 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. CS-02-30 |
| 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) | Phan Minh Dung ;Sadananda, R.; |
| Scholarship Donor(s) | The MOET of Vietnam; |
| Degree | Thesis (M.Sc.) - Asian Institute of Technology, 2002 |