On the expressive power of the Object Constraint Language OCL

@inproceedings{Mandel1999OnTE,
  title={On the expressive power of the Object Constraint Language OCL},
  author={Luis Mandel and Mar{\'i}a Victoria Cengarle},
  booktitle={FM 1999},
  year={1999}
}
The Object Constraint Language (OCL) has been introduced by IBM for business modelling and adopted by UML as a mean to specify invariants of classes and types in a class model, to specify type invariant of stereotypes, to describe pre-and postconditions on operations and methods, to describe guards, and also as a navigation language. OCL is a language of typed expressions, where an expression can be universally and existentially quantiied. This paper aims at examining the expressive power of… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Automating Inference of OCL Business Rules from User Scenarios

  • 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
  • 2013
VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.