Skip to content

Translates Windows Workflow processes into Open Workflow Nets.

License

Notifications You must be signed in to change notification settings

uniba-dsg/wf2owfn

Repository files navigation

WF2oWFN (Windows Workflow to Open Workflow Nets)

WF2oWFN is a tool to translate Windows Workflow 4 (WF) processes into Open Workflow Nets (oWFN). Both Xaml workflows and Xamlx workflow services are supported. WF2oWFN integrates with a variety of tools from service-technology.org to check for behavioral properties like deadlocking, controllability or automatic adapter synthesis.

A compiled binary distribution and a large test collection with sample outputs is available. Moreover, we also supply an inofficial WF Xaml specification that is used by our compiler.

More information can be found in the paper Bridging the Heterogeneity of Orchestrations - A Petri Net-based Integration of BPEL and Windows Workflow or in the thesis Integration heterogener Prozesssysteme in Service-orientierten Architekturen. The presentation held at SOCA '12 also gives a short overview over the work.

WF2oWFN is licensed under the LGPL Version 3 Open Source License.

Software Requirements

Binary Distribution

Source Distribution

Compilation

Buildorder

WF2oWFN Module API > WF2oWFN > WF2oWFN Standard Activities

Filesystem structure:

Root
-----| Libs # compiled libraries (e.g. 'WF2oWFN API', 'log4net', ...)
-----| Modules # compiled modules (e.g. 'Standard Activities')
WF2oWFN.exe # compiled runtime

Usage

Default invocation:

wf2owfn /i=inputfile /o=outputfile /f=owfn

Parameter:

wf2owfn [/i=FILE] [/f=FORMAT] [/o=FILE] [/h] [/v] [/d]
/h         Print help and exit
/v         Print version and exit
/d         Append debug information
/i=FILE    Read a WF process from FILE
/f=FORMAT  Create output in given FORMAT; 
           values='owfn', 'dot', 'png' default='owfn'
/o=FILE    Write output to FILE

Log-level configuration in WF2oWFN.exe.config:

  <root>
    <level value="INFO"/>
    <appender-ref ref="ColoredConsoleAppender"/>
  </root>

Possible values: OFF, ERROR, WARN, INFO, DEBUG (default = INFO)

Licensing

LGPL Version 3: http://www.gnu.org/licenses/lgpl-3.0.html

Authors

Stefan Kolb