Skip to main content

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.

Jump to: navigation, search

Henshin/OCL2AC

< Henshin
Revision as of 09:29, 30 June 2022 by Strueber.mathematik.uni-marburg.de (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

OCL2AC is a tool for transforming OCL constraints into application conditions of rules, leading to constraint-guaranteeing rules. Such rules are only applicable to models that satisfy the constraint at hand, and guarantee that it will still be satisfied after the rule has been applied.

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 from Henshin releases from 1.8.0 onward and via the nightly build (see update sites; upon installation from 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

Back to the top