Difference between pages "Atomicity Decomposition Plug-in User Guide" and "Code Generation Activity"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Asiehsalehi
 
imported>Andy
 
Line 1: Line 1:
== Introduction ==
+
Tasking Event-B is the extension of Event-B for defining concurrent systems sharing data, for details see the [[Tasking Event-B Overview]] page. For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk, or Chris Lovell mailto:cjl3@ecs.soton.ac.uk
The Atomicity Decomposition (AD) plug-in allows an explicit representation of control flow and explicit representation of refinement relationships between an abstract event and the corresponding concrete events.  
+
=== Code Generation Feature - Version 0.2.2 For Rodin 2.4===
  
See the [http://wiki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page for technical details.
+
We released V0.2.2 on 22-03-2012. The main changes, to the interface, and translation from theories are described below:
  
Currently the AD diagrams can be defined in an EMF tree structure included in an Event-B machine which is opened by Rose editor. After defining the control flow and refinement relationships via AD diagrams, the AD diagrams can automatically transformed to the Event-B notation.  
+
* Tasking Event-B is now integrated with the Event-B Editors.  
 +
* We have the ability to translate to C, Java, etc. in addition to Ada source code.
 +
* We use theories to define translations of the Event-B mathematical language (Theories for Ada, Java and C are supplied).
 +
* We use the theory plug-in as a mechanism for defining new data types , and the translations to target data types.
 +
* The translator is extensible.
 +
* Minimal use is made of the EMF tree editor in Rose.
  
== Installing and Requirements ==
+
To install v0.2.2:
  
=== Setup ===
+
* Access the main Rodin Update Site. In Eclispe click on Help/Install new Software. Find the Rodin update site from the list. In Utilities add Code Generation.
The following steps will guide you through the setup process:
+
The approach makes use of the following, which should be installed if the features are required by the user for editing:  
# Start Rodin.
+
*Model Decomposition: Download from the main Rodin Update Site, in the Decomposition section.
# In the menu choose ''Help'' -> ''Install New Software...''.
+
*Shared Event Composition: Download from the main Rodin Update Site, in the Decomposition section.
# In the ''Work with'' dropdown list, choose the location URL: Rodin - [http://rodin-b-sharp.sourceforge.net/updates http://rodin-b-sharp.sourceforge.net/updates].
+
*Theory Plug-in: Download from the main Rodin Update Site, in the Modelling Extensions section.
# Select the ''Atomicity Decomposition'' feature under the ''Atomicity Decomposition'' category, then click the check box.
 
# Click ''Next'', after some time, the ''Install Details'' page appears.
 
# Click ''Next'' and accept the license.
 
# Click ''Finish''.
 
# A ''Security Warning'' window may appear: click ''OK''.
 
# Restart Rodin as suggested.
 
  
=== Requirements ===
+
Examples available at:
The AD plug-in requires [http://wiki.event-b.org/index.php/Rose_(Structured)_Editor Rose Editor Plug-in] and [http://www.eclipse.org/epsilon/download/ Epsilon framework].
+
 +
* Tutorial, and example, projects are available from the Examples directory: [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/v0.2.2/ SVN].
 +
* Test projects are also available from the Examples directory [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/v0.2.2/CG_v0.2.2_Tests SVN].
 +
* Sources at: [https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/CodeGeneration SVN]
 +
* Example Theories at: [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/TheoriesForCG SVN]
  
== Creating Flow Diagrams ==
+
=== Code Generation Feature - Version 0.2.1 For Rodin 2.3===
 +
Contains Bug Fixes for previous release. 14-12-2011
  
First you need to open the machine in the Rose editor by right-clicking on the machine.  
+
=== Code Generation Feature - Version 0.2.0 For Rodin 2.3===
 +
We released a new version of the code generator on 30-11-2011, and updated documentation.
 +
===== Changes to the Tooling and Approach =====
 +
The main changes are:
 +
* The code generators have been completely re-written. The translators are now implemented in Java, i.e. there is no longer a dependence on the Epsilon tool set. This was undertaken for code maintenance reasons.
 +
* Tasking Event-B is now integrated with the Event-B explorer.
 +
* The Rose Editor is used for editing the Tasking Event-B, and
 +
* a text-based editor is provided, using the Rose extension, for editing the TaskBody. This feature has been added to address some of the usability concerns. It also overcomes the 'problem' experienced with duplicate event names in a development, since the parser-builder that has been implemented automatically selects the correct event.
 +
* The EMF tree editor in Rose is only used minimally; we plan enhancements to further reduce its use.
 +
* Composed machines are used to store event 'synchronizations'; these are generated automatically during the decomposition process. This reduces the amount of typing in the TaskBody editor, since we no longer need to specify both local and remote (synchronizing) events.
 +
* The code generation approach is now extensible; new target language constructs can be added using the Eclipse extension mechanism.
 +
* The translation of target's mathematical language is now specified in the theory plug-in. This improves clarity since the the translation from source to target is achieved by specifying pattern matching rules. Extensibility is also improved; the theory plug-in is used to specify new data-types, and how they are implemented.
 +
* Translated code is deposited in a directory in the appropriate files. An Ada project file is generated for use with AdaCore's GPS workbench. Eventually this could be enabled/disabled in a preferences dialog box.
 +
* The Tasking Event-B to Event-B translator is now properly integrated. Control variable updates to the Event-B model are made in a similar way to the equivalent updates in the state-machine plug-in. The additional elements are added to the Event-B model and marked as 'generated'. This prevents users from manually modifying them, and allows them to be removed through a menu choice.
  
[[Image:machine_rose.jpg]]
+
===== Changes to the Documentation =====
 +
The following Pages have been updated:
 +
* [http://wiki.event-b.org/index.php/Tasking_Event-B_Overview Tasking Event-B Overview]
 +
* [http://wiki.event-b.org/index.php/Tasking_Event-B_Tutorial Tutorial]
  
Then a flow can be created:
+
TODO
{|
+
* Add addressed variables (for direct read/write access to memory)
|-
+
* Flattening of composed machines/implementation machines.
|1. Either for an Event-B machine, when right-clicking on the machine.
+
* Interrupts
|2. Or for a pre-defined leaf, when right-clicking on the leaf.
 
|-
 
| valign="top" | [[Image:flow_machine.jpg|center]]
 
| valign="top" | [[Image:flow_leaf.jpg|center]]
 
|}
 
  
The following steps will guide you through a combined atomicity decomposition diagram:
+
=== Sensing and Actuating for Tasking Event-B ===
* Create a flow for the most abstract machine.
+
Version 0.1.5. Sensing and actuating events, and an Environ Machine have been added to allow simulation of the environment and implementation using memory mapped IO.
* When refining a machine, the pre-defined flows are copied to the new (refining) machine.
 
* In the new machine, you can create a new flow for each pre-defined leaf.
 
  
== Elements and Properties ==
+
* The new v0.1.5 feature is available from the Rodin Update Site, it resides in the Utilities Category.
  
For each flow, you can define one or more of the below elements, when right-clicking on the flow:
+
* As in previous releases, the code generation plug-in relies on the Epsilon tool suite. Add the following Epsilon interim update site to the list of available update sites in the Eclipse menu ''help/install new software'': http://download.eclipse.org/modeling/gmt/epsilon/interim/
* typed parameter
 
* leaf
 
* ''loop'' constructor including one leaf (right-click on the ''loop'')
 
* ''and'' constructor including two or more leaves (right-click on the ''and'')
 
* ''or'' constructor including two or more leaves (right-click on the ''or'')
 
* ''xor'' constructor including two or more leaves (right-click on the ''xor'')
 
* ''all'' constructor including one leaf and one parameter (right-click on the ''all'')
 
* ''some'' constructor including one leaf and one parameter (right-click on the ''some'')
 
* ''one'' constructor including one leaf and one parameter (right-click on the ''one'')
 
  
[[Image:flow_children.jpg]]
+
* Select 'the Epsilon Core (Incubation)' component, this is the only component that is required for Tasking Event-B.
  
=== Flow Properties ===
+
A new [http://wiki.event-b.org/index.php?title=Tasking_Event-B_Tutorial Code Generation Tutorial] has been produced, that makes use of these new features. There is an explanation of the heating controller, upon which it is based, [http://wiki.event-b.org/index.php/Development_of_a_Heating_Controller_System here].
* Name: a string containing the name of the root event.
 
* Sw: a boolean indicates strong (''true'') / weak (''false'') sequencing.
 
  
=== Leaf Properties ===
+
The example/tutorial projects, and also and a Bundled Windows 7 version, are available in the [http://deploy-eprints.ecs.soton.ac.uk/304/ Deploy E-Prints archive] or [https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd/Examples/HeatingController_Tutorial_v0.1.4/ Examples SVN site].
* Name: a string containing the name of the event.
 
* Ref: a boolean indicates refining (''true'') / non-refining (''false'') event.
 
  
[[Image:leaf_properties.jpg]]
+
=== The Code Generation Demonstrator for Rodin 2.1.x ===
  
=== Constructor Properties ===
+
Released 24 January 2011.
* Ref: a boolean indicates refining (''true'') / non-refining (''false'') constructor (''loop'', ''and'' / ''or'' / ''xor'' / ''all'' / ''some'' / ''one'').
 
NOTE: The refining property for (''loop'' / ''and'' / ''or'' / ''all'' / ''some'') constructors has to be ''false''.
 
  
=== Parameter Properties ===
+
The Rodin 2.1.x compatible code generation demonstrator plug-ins have been released into the Rodin Sourceforge repository at:
* Name: a string containing the name of the parameter.
 
* Type: a string containing the type of the parameter.
 
NOTE: the parameter type has to be defined in the context.
 
  
== Transforming to Event-B ==
+
  https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/CodeGeneration
  
For each machine, after completing the flow construction process, you can perform the translation rules to transform the defined AD flow to the Event-B notation (For technical details see [http://wiki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page). This is done by right-clicking on the machine and launch ''Atomicity Decomposition Transformation -> Transform to Event-B''.
+
The update-site is available through the Rodin update site in the ''Utilities'' category.
  
As a result, some read-only event-B elements are generated in order to manage the defined control flow and refinement relationships. User defined event-B elements are allowed; but you can not alter the generated read-only elements.
+
The code generation tutorial examples are available for download at:
  
== Validation Rules to Follow ==
+
  https://sourceforge.net/projects/codegenerationd/files/DemoFiles/
  
In order to perform the translation rules correctly, you will need to follow these rules:
+
The code generation plug-in relies on the Epsilon tool suite. Install Epsilon manually, since the automatic install utility does not seem to work for this feature. We currently use the Epsilon interim update site available at:
(For more information about technical reasons see [http://wiki.event-b.org/index.php/Atomicity_Decomposition Atomicity Decomposition] page)
 
  
* Rules on the flow:
+
  http://download.eclipse.org/modeling/gmt/epsilon/interim/
** Never change the ''copy'' property of a flow. This is an internal property use to make the internal programming decision.
 
** A most abstract flow is a flow with (''sw'' = ''true'') and its children are all non-refining (''ref'' = ''false'').
 
** For each non-abstract flow, EXACTLY one refining child (''ref'' = ''true'') has to be defined.
 
** Each flow inherits its parameter from its parent flow and parent (''all'' / ''some'' / ''one'') constructor (if exists). This has to be done manually. For each new defined flow, copy and paste all necessary parameters from pre-defined parent flow / constructor.
 
** For technical reasons, a ''loop'' constructor never can placed as the first or last child of a flow.
 
  
*Rules on the parameter:
+
Select 'the Epsilon Core (Incubation)' component, this is the only component that is required for Tasking Event-B.
** The parameter type has to be defined in the context.
 
** The parameter name has to be unique.
 
  
* Rules on the constructors:
+
== Code Generation Status ==
** The refining property for (''loop'' / ''and'' / ''or'' / ''all'' / ''some'') constructors has to be ''false''.
+
=== Latest Developments ===
** A constructor leaf inherits its refining property from its parent constructor. For example, for a refining ''xor'' (''ref'' = ''true''), all of its leaves' refining property has to be ''true''. Therefore the (''loop'' / ''and'' / ''or'' / ''all'' / ''some'') children refining property is always ''false''.
+
* Demonstrator plug-in feature version 0.1.0
 +
** for Rodin 2.1.x version is available.
 +
 
 +
* The Code Generation feature consists of,
 +
** a tasking Development Generator.
 +
** a tasking Development Editor (Based on an EMF Tree Editor).
 +
** a translator, from Tasking Development to Common Language Model (IL1).
 +
** a translator, from the Tasking Development to Event-B model of the implementation.
 +
** a pretty-printer for the Tasking Development.
 +
** a pretty-printer for Common Language Model, which generates Ada Source Code.
 +
 
 +
* A tutorial is available [[Code Generation Tutorial]]
 +
** Step 1 - Create the tasking development.
 +
** Step 2 - Add annotations.
 +
** Step 3 - Invoke translators.
 +
 
 +
=== Ongoing Work ===
 +
 
 +
* Full Rodin Integration
 +
* Sensed Variables
 +
* Branching in Shared Machines
 +
 
 +
=== Future Work ===
 +
* Support for Interrupts.
 +
* Richer DataTypes.
 +
* Accommodation of duplicate event names in tasking developments.
 +
 
 +
== Metamodels ==
 +
* In the plug-in we define several meta-models:
 +
** CompositeControl: for the control flow (algorithmic) constructs such as branch, loop and sequence etc. These constructs may be used in the specification of either  sequential or concurrent systems.
 +
** Tasking Meta-model: defines the tasking model where we attach tasking specific details, such as task priority, task type. The tasking structures provide the ability to define single tasking or multi-tasking (concurrent) systems. We make use of the composite control plug-in to specify the flow of control.
 +
** Common Language (IL1) Meta-model: defines an abstraction of common programming language constructs for use in translations to implementations.
 +
 
 +
== Translation Rules ==
 +
* Tasking to IL1/Event-B translation rules [[http://wiki.event-b.org/images/Translation.pdf]]
 +
 
 +
== Release History ==
 +
=== The Code Generation Demonstrator for Rodin 1.3.x ===
 +
 
 +
 
 +
First release: 30 November 2010.
 +
 
 +
available from:
 +
 
 +
https://sourceforge.net/projects/codegenerationd/files/
 +
 
 +
The zip file contains a windows XP bundle, and a Windows V7 bundle. Alternatively, if you wish to build using an update-site, this is also included in the zip file, along with some notes on installation. However, note that the demonstrator tool is only compatible with Rodin 1.3.
 +
 
 +
A simple shared buffer example is provided. This will form the basis of a tutorial (which is work in progress). The WindowsBundles directory contains a Rodin 1.3.1 platform with the Code Generation plug-ins, together with a patch plug-in. The patch plug-in is required to correct an inconsistency in the org.eventb.emf.persistence plug-in. For the bundles, simply extract the appropriate zip file into a directory and run the rodin.exe. The plug-ins are pre-installed - the only configuration necessary may be to switch workspace to ''<installPath>\rodin1.3bWin7\workspace''. When using the update-site the example projects, and the project forming the basis of a simple tutorial, are provided in the accompanying zip file. These should be imported manually.
 +
 
 +
Mac users - no bundled version available at present, but use the update site in the 'advanced' folder.
 +
 
 +
'''A step-by-step [[Code Generation Tutorial]] is available'''  
 +
 
 +
==== About the Initial Release ====
 +
The Code Generation (CG) Feature in the initial release is a demonstration tool; a proof of concept, rather than a prototype. The tool has no static checker and, therefore, there will be a heavy reliance on docs and dialogue to facilitate exploration of the tools and concepts.
 +
 
 +
==== Source Code ====
 +
 
 +
The sources are available from,
 +
 
 +
https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd
 +
 
 +
Note - I used Eclipse 3.5 Galileo, and you will need to install (or have sources from) Epsilon's interim update site. There is also dependency on Camille v2.0.0
 +
 
 +
 
 +
 
 +
[[Category:Work in progress]]

Revision as of 10:18, 22 March 2012

Tasking Event-B is the extension of Event-B for defining concurrent systems sharing data, for details see the Tasking Event-B Overview page. For more information contact Andy Edmunds - University of Southampton - mailto:ae2@ecs.soton.ac.uk, or Chris Lovell mailto:cjl3@ecs.soton.ac.uk

Code Generation Feature - Version 0.2.2 For Rodin 2.4

We released V0.2.2 on 22-03-2012. The main changes, to the interface, and translation from theories are described below:

  • Tasking Event-B is now integrated with the Event-B Editors.
  • We have the ability to translate to C, Java, etc. in addition to Ada source code.
  • We use theories to define translations of the Event-B mathematical language (Theories for Ada, Java and C are supplied).
  • We use the theory plug-in as a mechanism for defining new data types , and the translations to target data types.
  • The translator is extensible.
  • Minimal use is made of the EMF tree editor in Rose.

To install v0.2.2:

  • Access the main Rodin Update Site. In Eclispe click on Help/Install new Software. Find the Rodin update site from the list. In Utilities add Code Generation.

The approach makes use of the following, which should be installed if the features are required by the user for editing:

  • Model Decomposition: Download from the main Rodin Update Site, in the Decomposition section.
  • Shared Event Composition: Download from the main Rodin Update Site, in the Decomposition section.
  • Theory Plug-in: Download from the main Rodin Update Site, in the Modelling Extensions section.

Examples available at:

  • Tutorial, and example, projects are available from the Examples directory: SVN.
  • Test projects are also available from the Examples directory SVN.
  • Sources at: SVN
  • Example Theories at: SVN

Code Generation Feature - Version 0.2.1 For Rodin 2.3

Contains Bug Fixes for previous release. 14-12-2011

Code Generation Feature - Version 0.2.0 For Rodin 2.3

We released a new version of the code generator on 30-11-2011, and updated documentation.

Changes to the Tooling and Approach

The main changes are:

  • The code generators have been completely re-written. The translators are now implemented in Java, i.e. there is no longer a dependence on the Epsilon tool set. This was undertaken for code maintenance reasons.
  • Tasking Event-B is now integrated with the Event-B explorer.
  • The Rose Editor is used for editing the Tasking Event-B, and
  • a text-based editor is provided, using the Rose extension, for editing the TaskBody. This feature has been added to address some of the usability concerns. It also overcomes the 'problem' experienced with duplicate event names in a development, since the parser-builder that has been implemented automatically selects the correct event.
  • The EMF tree editor in Rose is only used minimally; we plan enhancements to further reduce its use.
  • Composed machines are used to store event 'synchronizations'; these are generated automatically during the decomposition process. This reduces the amount of typing in the TaskBody editor, since we no longer need to specify both local and remote (synchronizing) events.
  • The code generation approach is now extensible; new target language constructs can be added using the Eclipse extension mechanism.
  • The translation of target's mathematical language is now specified in the theory plug-in. This improves clarity since the the translation from source to target is achieved by specifying pattern matching rules. Extensibility is also improved; the theory plug-in is used to specify new data-types, and how they are implemented.
  • Translated code is deposited in a directory in the appropriate files. An Ada project file is generated for use with AdaCore's GPS workbench. Eventually this could be enabled/disabled in a preferences dialog box.
  • The Tasking Event-B to Event-B translator is now properly integrated. Control variable updates to the Event-B model are made in a similar way to the equivalent updates in the state-machine plug-in. The additional elements are added to the Event-B model and marked as 'generated'. This prevents users from manually modifying them, and allows them to be removed through a menu choice.
Changes to the Documentation

The following Pages have been updated:

TODO

  • Add addressed variables (for direct read/write access to memory)
  • Flattening of composed machines/implementation machines.
  • Interrupts

Sensing and Actuating for Tasking Event-B

Version 0.1.5. Sensing and actuating events, and an Environ Machine have been added to allow simulation of the environment and implementation using memory mapped IO.

  • The new v0.1.5 feature is available from the Rodin Update Site, it resides in the Utilities Category.
  • Select 'the Epsilon Core (Incubation)' component, this is the only component that is required for Tasking Event-B.

A new Code Generation Tutorial has been produced, that makes use of these new features. There is an explanation of the heating controller, upon which it is based, here.

The example/tutorial projects, and also and a Bundled Windows 7 version, are available in the Deploy E-Prints archive or Examples SVN site.

The Code Generation Demonstrator for Rodin 2.1.x

Released 24 January 2011.

The Rodin 2.1.x compatible code generation demonstrator plug-ins have been released into the Rodin Sourceforge repository at:

 https://rodin-b-sharp.svn.sourceforge.net/svnroot/rodin-b-sharp/trunk/CodeGeneration 

The update-site is available through the Rodin update site in the Utilities category.

The code generation tutorial examples are available for download at:

 https://sourceforge.net/projects/codegenerationd/files/DemoFiles/

The code generation plug-in relies on the Epsilon tool suite. Install Epsilon manually, since the automatic install utility does not seem to work for this feature. We currently use the Epsilon interim update site available at:

 http://download.eclipse.org/modeling/gmt/epsilon/interim/

Select 'the Epsilon Core (Incubation)' component, this is the only component that is required for Tasking Event-B.

Code Generation Status

Latest Developments

  • Demonstrator plug-in feature version 0.1.0
    • for Rodin 2.1.x version is available.
  • The Code Generation feature consists of,
    • a tasking Development Generator.
    • a tasking Development Editor (Based on an EMF Tree Editor).
    • a translator, from Tasking Development to Common Language Model (IL1).
    • a translator, from the Tasking Development to Event-B model of the implementation.
    • a pretty-printer for the Tasking Development.
    • a pretty-printer for Common Language Model, which generates Ada Source Code.
  • A tutorial is available Code Generation Tutorial
    • Step 1 - Create the tasking development.
    • Step 2 - Add annotations.
    • Step 3 - Invoke translators.

Ongoing Work

  • Full Rodin Integration
  • Sensed Variables
  • Branching in Shared Machines

Future Work

  • Support for Interrupts.
  • Richer DataTypes.
  • Accommodation of duplicate event names in tasking developments.

Metamodels

  • In the plug-in we define several meta-models:
    • CompositeControl: for the control flow (algorithmic) constructs such as branch, loop and sequence etc. These constructs may be used in the specification of either sequential or concurrent systems.
    • Tasking Meta-model: defines the tasking model where we attach tasking specific details, such as task priority, task type. The tasking structures provide the ability to define single tasking or multi-tasking (concurrent) systems. We make use of the composite control plug-in to specify the flow of control.
    • Common Language (IL1) Meta-model: defines an abstraction of common programming language constructs for use in translations to implementations.

Translation Rules

  • Tasking to IL1/Event-B translation rules [[1]]

Release History

The Code Generation Demonstrator for Rodin 1.3.x

First release: 30 November 2010.

available from:

https://sourceforge.net/projects/codegenerationd/files/

The zip file contains a windows XP bundle, and a Windows V7 bundle. Alternatively, if you wish to build using an update-site, this is also included in the zip file, along with some notes on installation. However, note that the demonstrator tool is only compatible with Rodin 1.3.

A simple shared buffer example is provided. This will form the basis of a tutorial (which is work in progress). The WindowsBundles directory contains a Rodin 1.3.1 platform with the Code Generation plug-ins, together with a patch plug-in. The patch plug-in is required to correct an inconsistency in the org.eventb.emf.persistence plug-in. For the bundles, simply extract the appropriate zip file into a directory and run the rodin.exe. The plug-ins are pre-installed - the only configuration necessary may be to switch workspace to <installPath>\rodin1.3bWin7\workspace. When using the update-site the example projects, and the project forming the basis of a simple tutorial, are provided in the accompanying zip file. These should be imported manually.

Mac users - no bundled version available at present, but use the update site in the 'advanced' folder.

A step-by-step Code Generation Tutorial is available

About the Initial Release

The Code Generation (CG) Feature in the initial release is a demonstration tool; a proof of concept, rather than a prototype. The tool has no static checker and, therefore, there will be a heavy reliance on docs and dialogue to facilitate exploration of the tools and concepts.

Source Code

The sources are available from,

https://codegenerationd.svn.sourceforge.net/svnroot/codegenerationd

Note - I used Eclipse 3.5 Galileo, and you will need to install (or have sources from) Epsilon's interim update site. There is also dependency on Camille v2.0.0