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)
  • Published : 2002.07.01

Abstract

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.

Keywords