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
< Henshin
Revision as of 15:48, 15 March 2021 by Strueber.mathematik.uni-marburg.de (Talk | contribs) (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