taskSavannah Administration - Tasks: task #6148, Submission of Tools4BPEL

 
 

task #6148: Submission of Tools4BPEL

Submitter:  Niels Lohmann <nielslohmann>
Submitted:  Fri 24 Nov 2006 09:01:03 AM UTC
   
 
Should Start On:  Fri 24 Nov 2006 12:00:00 AM UTC Should be Finished on:  Mon 04 Dec 2006 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Cancelled Privacy:  Public
Assigned to:  sp Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Wed 17 Jan 2007 09:38:13 PM UTC, comment #4: 

Hello Niels,

Thank you for your quick reply.
As a result of your reply I am now closing this task.

Regards,

Stephan

Stephan Peijnik <sp>
Wed 17 Jan 2007 09:30:26 PM UTC, comment #3: 

Hi Stephan,

sorry for not answering earlier. You're right: hosting both "Tools4BPEL" and "BPEL2oWFN" does not make much sense. Please, remove the "Tools4BPEL"-project. In future, we will only use BPEL2oWFN.

Sorry for any inconvenience.

Best regards,
Niels.

Niels Lohmann <nielslohmann>
Wed 17 Jan 2007 09:27:19 PM UTC, comment #2: 

Hi Niels,

I am waiting for an answer from you.

If within one week I still do not get a reply, I will remove your project. You will still be able to register it again once you have the time to deal with the registration issues.

Are you still willing to host your project at Savannah? If not, please tell us - we don't bite, and it will make us gain time.

Regards,

Stephan

Stephan Peijnik <sp>
Sun 07 Jan 2007 08:11:58 PM UTC, comment #1: 

Hello Niels,

First of all I would like to say that I am sorry for the delay.


What I am wondering about is if you still want this project hosted here, as BPEL2oWFN already got accepted.
If not, please let us know so we can close the submission.


Regards,

Stephan

Stephan Peijnik <sp>
Fri 24 Nov 2006 09:01:03 AM UTC, original submission:  

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++


Niels Lohmann <nielslohmann>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by nielslohmann (Posted a comment)
  • -email is unavailable- added by sp (Posted a comment)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 6 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2007-01-17 sp StatusPing-ed Cancelled
        Open/ClosedOpen Closed
    2007-01-17 sp StatusWait reply Ping-ed
        Carbon-Copy- Added nielslohmann
    2007-01-07 sp StatusNone Wait reply
        Assigned toNone sp

    Back to the top

    Powered by Savane 3.13-758e.
    Corresponding source code