Research Paper on Implementation of OCL Constraints Using JAVA

Abstract

Abstract: This paper provides an introduction to the UML in the field of software engineering. The first part gives information about the UML class diagrams. Second part of this paper provides an introduction to the formal specification of UML diagrams using OCL. It also provides a detail about why formalization of UML diagrams is important. It also gives introduction about how constraints are applied to the UML diagrams using OCL. It provides knowledge about different kinds of constraints which any applied on UML class diagram. Last part of this paper shows the source code implementation in java of Bank account example of OCL constraints.