ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams

  • Manuel Clavel
  • Marina Egea
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4019)


In this paper we present the ITP/OCL tool, a rewriting-based tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementation is directly based on the equational specification of UML+OCL class diagrams. It is written entirely in Maude making extensive use of its reflective capabilities. We also give notice of the Visual ITP/OCL, a Java graphical interface that can be used as a front-end for the ITP/OCL tool.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Object Management Group: Unified Modeling Language Specification (2004),
  2. 2.
    Object Management Group: Object Constraint Language Specification (2004),
  3. 3.
    Egea, M.: ITP/OCL: a theorem prover-based tool for UML+OCL class diagrams. Master’s thesis, Facultad de Informática, Universidad Complutense de Madrid (2005),
  4. 4.
    Clavel, M., Egea, M.: Equational specifications of UML+OCL static class diagrams (2006),
  5. 5.
    Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2) (2005) SRI International (December 2005),
  6. 6.
    IBM: Rational Software (2006),
  7. 7.
    AG, G.: Poseidon Standard Edition (2006),
  8. 8.
    Demuth, B., Löcher, S., Zschaler, S.: Structure of the Dresden OCL toolkit. Technical report, Technical University of Darmstadt, Germany, Reviewed Conference Paper (2004)Google Scholar
  9. 9.
    Richters, M.: The USE tool: A UML-based specification environment (2001),
  10. 10.
    Gogolla, M., Richters, M., Bohling, J.: Tool support for validating UML and OCL models through automating snapshot generation. In: Proceedings of SAICSIT, pp. 111–120 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Manuel Clavel
    • 1
  • Marina Egea
    • 1
  1. 1.Universidad Complutense de MadridSpain

Personalised recommendations