» Download GNU BPEL2oWFN for Macintosh

1 MB KB | Excellent

License: Free
Downloads: 280
Added: 22 Apr 2007
Updated: 07 Feb 2009
Developer: Niels Lohmann(more)

GNU BPEL2oWFN Publisher Description

GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to:

check for controllability or generate the operating guideline using the tool Fiona,
check for deadlocks or any other Petri net property, or
check any temporal logic formula with a variety of model checking tools.

GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact as possible to analyze a chosen property. This is called flexible model generation. Furthermore, several design flaws can be detected using control and data flow analysis.

OS: PPC/Intel
Requirements: gcc

Software news

Chromium OS Goes Open-Source

This summer Google let the world know that it is working on a new operating system meant for the user that spends most of his time online. The operating system – aptly named Chrome OS because it is a natural extension...

20 Nov 2009

Office 2010 Beta Downloads Available to the Public

Earlier this week Redmond-based software giant Microsoft announced that Office 2010 became available for download as a Beta. The catch was that only ...

20 Nov 2009

Mozilla Releases: Firefox 3.6 Beta 3

The development process of the Firefox 3.6 browser is moving along rapidly. The first Beta version was released at the start of the month; Beta 2 was released about two weeks after Beta 1. About a week has passed since...

20 Nov 2009

New Labs Feature for Gmail: Green Robot!

The software developers at Google have announced the release of a new Gmail Labs offering called Green Robot! This new offering is meant to improve the Gmail Chat user experience by letting the ...

20 Nov 2009

Recommended Tools