Research Paper on Implementation of OCL Constraints Using JAVA

ErShivani Gupta


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.


UML, class diagram, formalization, OCL, pre-condition, post-condition.

Full Text:




  • There are currently no refbacks.

Copyright (c) 2017 International Journal of Advanced Research in Computer Science