Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Henshin/OCL2AC
< Henshin
Revision as of 15:48, 15 March 2021 by Unnamed Poltroon (Talk) (Created page with "'''OCL2AC''' is a tool based on the Eclipse Modeling Framework (EMF) and consists of two main components: * ''OCL2GC'' translates OCL constraints into a set of semantically e...")
OCL2AC is a tool based on the Eclipse Modeling Framework (EMF) and consists of 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
Currently, OCL2AC is available via Henshin's nightly build update site (search for the "OCL2AC" feature).
Usage
Please refer to the external usage instructions at ocl2ac.github.io.
Credit
Lead developer of OC2AC: Nebras Nassar