Building an Efficient Component for OCL Evaluation ⋆ (2009)
Abstract. In this paper we report on our experience developing the Eye OCL Software (EOS) evaluator, a Java component for efficient OCL evaluation. We first motivate the need for an efficient...
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...
Model Metrication in MOVA: A Metamodel-Based Approach using OCL (2008)
Abstract. We present the metrication facility available in the MOVA tool and discuss its metamodel-based design: metrics in MOVA are OCL queries over the instances (automatically generated by the...
MOVA: A Tool for Modeling, Measuring and Validating UML Class Diagrams (2008)
The MOVA tool is a rewriting-based UML [8] modeling, measuring, and validation tool developed as part of a broader effort for integrating rigorous modeling and validation into the software...
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML static class diagrams with respect to OCL invariants. From a conceptual point of...
A metamodel-based approach for analyzing security-design models (2007)
David Basin, Manuel Clavel, Jürgen Doser, Marina Egea
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications for distributed...
Equational specification of UML+OCL static class diagrams (2006)
Abstract. In this paper we propose an equational specification of UML+OCL static class diagrams that provides a formal foundation for automatically validating UML object diagrams with respect to OCL...