Abstract
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.
Research supported by Spanish MEC Projects TIC2003-01000, TIN2005-09207-C03-03, and by Comunidad de Madrid Program S-0505/TIC/0407.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group: Unified Modeling Language Specification (2004), http://www.uml.org
Object Management Group: Object Constraint Language Specification (2004), http://www.omg.org
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), http://maude.sip.ucm.es/~marina/
Clavel, M., Egea, M.: Equational specifications of UML+OCL static class diagrams (2006), http://maude.sip.ucm.es/itp/~clavel
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), http://maude.cs.uiuc.edu
IBM: Rational Software (2006), http://www-306.ibm.com/software/rational/
AG, G.: Poseidon Standard Edition (2006), http://www.gentleware.com
Demuth, B., Löcher, S., Zschaler, S.: Structure of the Dresden OCL toolkit. Technical report, Technical University of Darmstadt, Germany, Reviewed Conference Paper (2004)
Richters, M.: The USE tool: A UML-based specification environment (2001), http://www.db.informatik.uni-bremen.de/projects/USE/
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clavel, M., Egea, M. (2006). ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. In: Johnson, M., Vene, V. (eds) Algebraic Methodology and Software Technology. AMAST 2006. Lecture Notes in Computer Science, vol 4019. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11784180_28
Download citation
DOI: https://doi.org/10.1007/11784180_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35633-2
Online ISBN: 978-3-540-35636-3
eBook Packages: Computer ScienceComputer Science (R0)