대한전자공학회:학술대회논문집 (Proceedings of the IEEK Conference)
- 대한전자공학회 2002년도 ITC-CSCC -2
- /
- Pages.920-923
- /
- 2002
An Algebraic Approach to Validation of Class Diagram with Constraints
- Munakata, Kazuki (Graduate School of Information Science, Japan Advanced Institute of Science and Technology) ;
- Futatsugi, Kokichi (Graduate School of Information Science, Japan Advanced Institute of Science and Technology)
- 발행 : 2002.07.01
초록
In this paper, we propose Class Diagram With Constraints (CDWC) as an object oriented modeling technique which makes validation possible in software development. CDWC is a simple and basic model for the object oriented analysis, and has a reasonable strictness for software developers. CDWC consists of class diagrams and constraints (invariant and pre/post conditions), using UML and a subset of OCL.. We introduce a method of validation of CDWC using the verification technique of algebraic formal specification language CafeOBJ.
키워드