BPEL2PN

Documentation

Installation

How to start BPEL2PN:

Unpack the file BPEL2PNv1_0.zip.

Either you save jdom.jar in your java library folder or in the folder you have saved BPEL2PN.jar. Alternatively you can also save it in any folder, but then you have to bind this jar file by setting the java classpath to this folder.

Start BPEL2PN as described in the usage.

Usage

java –jar BPEL2PN.jar <name_of_bpel_file>.bpel [options]

options:

-info Generates a text file with the description of all generated nodes in the Petri net.

-dot Generates an output file in the dot format so that dot can draw an image of the
Petri net.

-nomerge Nodes in the dot-file are not merged, but merging will be visualized by arcs between those places.
Note: When this option is activated, no LoLA file will be generated!

-cluster Each BPEL construct will be drawn as a subgraph in the dot-output.

-tplname Each node in the dot output will be named as it is in the according template.

-ids Generates a new BPEL file <name_of_bpel_file>_ids.bpel with a unique ID for each BPEL activity.

-v
-version Prints the version information.

-h
-help This help text is printed.

Example: java -jar BPEL2PN.jar process.bpel -ids -info

output: process.lola and process_ids.bpel

Complete Documentation

The documentation consists of all the information of this website. It is available as PDF- and Postscript-version:

PDF-Version

Postscript-Version