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

• Windows XP SP3 or higher (see .NET 4 Framework)
• .NET Framework Version 4 Platform Update 1 or higher in 4.x revision
• Optional: Graphviz DOT - Used for generating layouted graphs. Therefore dot.exe should be listed in PATH environment variable.

Source Distribution

• Windows XP SP3 or higher (see .NET 4 Framework)
• Visual Studio 2010
• .NET Framework Version 4 Platform Update 1 or higher in 4.x revision
• External dependencies
  • log4net - Used for logging capabilities
  • TestAPICore - Used for commandline parsing.
  • PNAPI - Used for Graphviz DOT output.
  • Graphviz DOT - Used for generating layouted graphs. Therefore dot.exe should be listed in PATH environment variable.

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