Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Henshin/OCL2AC
OCL2AC is a tool for transforming OCL constraints into application conditions of rules, leading to rules that always guarantee the satisfaction of a particular constraint if it was guaranteed before the rule application.
OCL2AC comprises two main components:
- OCL2GC translates OCL constraints into a set of semantically equivalent (nested) graph constraints.
- GC2AC integrates graph constraints as (guaranteeing) application conditions into Henshin transformation rules.
Installation
Prerequisites: We assume an Eclipse with EMF and OCL SDK installed. Note that OCL SDK, unlike EMF, is not part of standard distributions like the Eclipse Modeling Tools. To install OCL SDK, use the default update site of your Eclipse (e.g., in Eclipse Neon, the default update site is http://download.eclipse.org/releases/neon/ )
How to install: OCL2AC is available via Henshin's nightly build update site (search for the "OCL2AC" feature, and make sure to also install the "Henshin SDK" feature if you don't have it).
Usage
Please refer to the external usage instructions at ocl2ac.github.io.
Credit
Lead developer of OC2AC: Nebras Nassar