OCLexec
OCLexec is a code generation tool that generates Java method bodies
from OCL operation contracts. It inserts code that enforces the
postconditions of the operation contracts as well as any class
invariants. A satisfiability (SAT) solver is used for determining the
operation results. OCLexec can also take objective functions and frame conditions into account that are specified in its UML profile.
OCLexec processes Eclipse-compatible XMI files (.uml). See the README file in the distribution for more information. Further documentation is on the way.
The latest version of OCLexec can be downloaded here.
Contact: Matthias P. Krieger
Publications
Matthias P. Krieger and Achim D. Brucker. Extending OCL Operation Contracts with Objective Functions. Proceedings of the International Workshop on OCL and Textual Modelling (OCL 2011). Electronic Communications of the EASST 44, 2011.Matthias P. Krieger, Alexander Knapp and Burkhart Wolff. Automatic and Efficient Simulation of Operation Contracts. In E. Visser and J. Järvi, editors, Generative Programming and Component Engineering, pages 53–62. ACM, 2010 [tool].
Matthias P. Krieger and Alexander Knapp. Executing Underspecified OCL Operation Contracts with a SAT Solver. Proceedings of the 8th International Workshop on OCL Concepts and Tools (OCL 2008). Electronic Communications of the EASST 15, 2008 [tool].
