Emerging OCL tools

  title={Emerging OCL tools},
  author={Jos{\'e} Ambrosio Toval {\'A}lvarez and V{\'i}ctor Requena and Jos{\'e} Luis Fern{\'a}ndez Alem{\'a}n},
  journal={Software & Systems Modeling},
The Object Constraint Language (OCL) is a notational language for analysis and design of software systems, which is used in conjunction with the Unified Modelling Language (UML) to specify the semantics of the building blocks precisely. OCL can also be used by other languages, notations, methods and software tools in order to specify restrictions and other expressions of their models. Likewise, OCL is used by the Object Management Group (OMG) in the definition of other fast spreading industrial… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 14 references

Improving System Reliability via Rigorous Software Modeling: The UML Case

  • A. Toval, J. L. Fernández
  • Proceedings of the 2001 IEEE Aerospace Conference…
  • 2001
1 Excerpt

UML-based Specification Environment

  • M. Richters
  • http://www.db.informatik.uni-bremen.de/projects…
  • 2001
1 Excerpt

Filling the Gap between Specification and Implementation of Software Systems by an executable code Generator of UML/OCL models

  • F. J. Galán, J. M. Cañete, M. Toro
  • Proc. of the XII Int. Conf. of Sof. and Sys. Eng…
  • 1999
2 Excerpts

Similar Papers

Loading similar papers…