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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Clavel, M., & Egea, M. (2006). ITP/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4019 LNCS, pp. 368–373). Springer Verlag. https://doi.org/10.1007/11784180_28
Mendeley helps you to discover research relevant for your work.