| Author | Han Win |
| Call Number | AIT Thesis no.CS-09-17 |
| Subject(s) | UML (Computer science)
|
| Note | A Thesis Study submitted in partial fulfillment of the requirements for the degree of Master of Science in Computer Science, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. CS-09-17 |
| Abstract | Nowadays in the software industries, defects in the softwareare regarded to be responsible for a large percentage of software development total cost due to the sophisticated graphical interfaces, the widespread adoptionof object-oriented programming. Researchesover the past two decades have stated that the defect correction cost is significantly increased at the later state of software development life cycle. Therefore,the defects should be discovered as soon as possible. The software models, which are usually designed by mean of UML diagrams, are the first formal specification of software and so these diagrams should be checked thoroughly to discover defects.The Unified Modeling Language (UML) is a standardmodeling language for various purposes in software engineering. TheCASE tools, which provide a user-friendly interfaces and methodsfor drawing, storing,accessing and editingvarious types ofUML diagrams,will be more valuable if they haveautomated reasoning capabilities such as detecting redundanciesand/or inconsistencies. In this study, the UML class diagrams and how to discover the possible inconsistencies of these diagrams are discussed thoroughly. In order to achieve the goal of checking inconsistencies in class diagrams, the semantics of the different components of UML class diagrams are formalizedin Description Logic (DL). Then, the various types of inconsistencies, which a class diagram may have, are discovered and a method is proposed to illustrate these inconsistencies in Description Logic (DL) formalization of class diagrams. Finally, a state-of-art reasoner, FaCT++, is usedwith some modificationsin order to make reasoning on DL formalization of class diagrams and to provide inconsistent classes as result. |
| Year | 2009 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis : no. CS-09-17 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Information and Communications Technologies (DICT) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Phan Minh Dung; |
| Examination Committee(s) | Guha, Sumanta;Janecek, Paul; |
| Scholarship Donor(s) | Asian Institute of Technololgy Fellowship; |
| Degree | Thesis (M. Sc.) - Asian Institute of Technology, 2009 |