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

[Niels Lohmann]

URL:
  <http://savannah.gnu.org/task/?6159>

                 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

    _______________________________________________________

Details:

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
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=8952> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=8952>


= 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
Fiona,
 * 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
generation.

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
BPEL2PN.

BPEL2oWFN is part of the Tools4BPEL project funded by the Bundesministerium
für Bildung und Forschung. See
http://www.informatik.hu-berlin.de/top/tools4bpel for details.


==== Other Software Required: ====
Flex
Bison
Kimwitu++






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?6159>

_______________________________________________
  Nachricht geschickt von/durch Savannah
  http://savannah.gnu.org/