[Top][All Lists]

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

[Savannah-register-public] [task #6159] Submission of BPEL2oWFN

From: Niels Lohmann
Subject: [Savannah-register-public] [task #6159] Submission of BPEL2oWFN
Date: Wed, 29 Nov 2006 07:40:55 +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 BPEL2oWFN
                 Project: Savannah Administration
            Submitted by: nielslohmann
            Submitted on: Mittwoch 29.11.2006 um 07:40
         Should Start On: Mittwoch 29.11.2006 um 00:00
   Should be Finished on: Samstag 09.12.2006 um 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  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
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *BPEL2oWFN*
* System Name:  *bpel2owfn*
* Type: Official GNU software
* 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
 * check for deadlocks or any other Petri net property, or
 * check any temporal logic formula with a variety of model checking tools.

BPEL2oWFN uses static analysis to make the generated oWFN as compact as
possible to analyze a chosen property. This is called flexible model

BPEL2oWFN is the successor of BPEL2PN, a Java-based compiler generating
low-level Petri nets. BPEL2oWFN is a re-implementation for extensibility and
performance issues. Its functionality is a superset of the functionality of

BPEL2oWFN is part of the Tools4BPEL project funded by the Bundesministerium
für Bildung und Forschung. See for details.

==== Other Software Required: ====


Reply to this item at:


  Nachricht geschickt von/durch Savannah

reply via email to

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