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

[Niels Lohmann]

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

                 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

    _______________________________________________________

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" page, accessible only to site administrators, effectively
logged as site administrators (superuser):

  <https://savannah.gnu.org/siteadmin/groupedit.php?group_id=8938>


= 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
http://www2.informatik.hu-berlin.de/top/tools4bpel/bpel2owfn/download.html
Fiona can be downloaded at
http://www2.informatik.hu-berlin.de/top/tools4bpel/fiona/download.html

BPELo2WFN and Fiona are part of the Tools4BPEL project funded by the
Bundesministerium für Bildung und Forschung (BMBF). 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/?6148>

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