A precise approach to validating UML models and OCL constraints

@inproceedings{Richters2002APA,
  title={A precise approach to validating UML models and OCL constraints},
  author={Mark Richters},
  year={2002}
}
The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling concepts. The graphical notation of UML includes diagrams such as use case diagrams, class diagrams, state diagrams and sequence diagrams. These are used for describing static as well as dynamic aspects of a system. An important part of UML is the Object Constraint Language (OCL) – a textual language that… CONTINUE READING