The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)
- Volume 6 Issue 11
- /
- Pages.2965-2980
- /
- 1999
- /
- 1226-9190(pISSN)
Design and Implementation of a CASE Tool Supporting Proof of Consistency between OO Models
객체지향 모형 간 일관성 검증을 지원하는 CASE 도구 설계 및 구현
- Lee, Seon-Mi ;
- Jeon, Jin-Ok ;
- Ryu, Jae-Cheol (Dept. of Computer Science, Chungnam National University)
- Published : 1999.11.01
Abstract
There are several models and the corresponding diagrams to express software system in many kinds of viewpoints, but these are supposed to be integrated and implemented into only one system. Therefore, the software modelers should have the models ensuring the consistency between information in software development life cycle. To support the robust models for modelers using OO modeling methods, i.e. UML, and CASE tools, the meta models of the software architecture and the consistency rules between the models are suggested in this thesis. Finally, the rules are implemented in the OO CASE tool, DEBUTO(Design By UML Tool). It supports UML1.1 notations and has visual modeling editors that enable users make their own software model.
Keywords