Sciweavers

Share
AMAST
2006
Springer

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

9 years 1 months ago
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased 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.
Manuel Clavel, Marina Egea
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where AMAST
Authors Manuel Clavel, Marina Egea
Comments (0)
books