Installation

In addition to the VerChor distribution (see here) you need to install:

• a Java RE
  This is needed to transform BPMN files into the CIF format.
  It is not required if you plan to use the CIF format directly.
  download Java RE
  
  Note: VerChor has been tested with Java RE 1.7.
• the Eclipse IDE and the BPMN modeler plugin
  This is needed to transform BPMN files into the CIF format and integrate with the Eclipse IDE.
  It is not required if you plan to work directly with the CIF format and use command-line commands.
  download Eclipse download BPMN modeler plugin
  
  Note: VerChor has been tested with Eclipse Indigo (3.7), Eclipse Juno (4.2), and Eclipse Kepler (4.3).
  We advocate for the use of the later due to a better integration of the BPMN modeler plugin (tested with Eclipse 4.3.1 and BPMN modeler plugin 1.0).
• a Python distribution and the PyXB library
  This is needed to read CIF files and generate formal description files.
  download Python 2.7.x download PyXB 1.1.1
  
  Warning: Python 2.7.x and PyXB 1.1.1 should be used.
  Newer versions do not work correctly with VerChor.
• the CADP toolbox
  This is needed to perform formal analyses on the formal description files.
  download CADP

Examples of VerChor usage

See the guided tour and the readme.txt in the VerChor distribution.

Choreography Intermediate Format (CIF)

The XML schema description for CIF is available in the xml directory of the VerChor distribution.