[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #6148] Submission of Tools4BPEL

From: Niels Lohmann
Subject: [Savannah-register-public] [task #6148] Submission of Tools4BPEL
Date: Fri, 24 Nov 2006 09:01:04 +0000
User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; de; rv:1.8.1) Gecko/20061010 Firefox/2.0


                 Summary: Submission of Tools4BPEL
                 Project: Savannah Administration
            Submitted by: nielslohmann
            Submitted on: Freitag 24.11.2006 um 09:01
         Should Start On: Freitag 24.11.2006 um 00:00
   Should be Finished on: Montag 04.12.2006 um 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Percent Complete: 0%
             Open/Closed: Open
                  Effort: 0.00



A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.

= Registration Administration =

While this item will be useful to track the registration process, approving
or discarding the registration must be done using the specific "Group
Administration" page, accessible only to site administrators, effectively
logged as site administrators (superuser):


= Registration Details =

* Name: *Tools4BPEL*
* System Name:  *tools4bpel*
* Type: non-GNU software &amp; documentation
* License: GNU General Public License V2 or later


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

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

Fiona is a tool to automatically analyze the interactional behavior of a
given oWFN. It provides two techniques: it checks for the controllability of
the given net by computing the interactiong graph, and it calculates the
operating guideline for the net. Fiona uses oWFNs as its input which is the
output of the tool BPEL2oWFN. Thus, any BPEL process can easily be analyzed.

BPELo2WFN can be downloaded at
Fiona can be downloaded at

BPELo2WFN and Fiona are part of the Tools4BPEL project funded by the
Bundesministerium für Bildung und Forschung (BMBF). See for details.

Other Software Required: Flex


Reply to this item at:


  Nachricht geschickt von/durch Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]