taskSavannah Administration - Tasks: task #6159, Submission of BPEL2oWFN

 
 

task #6159: Submission of BPEL2oWFN

Submitter:  Niels Lohmann <nielslohmann>
Submitted:  Wed 29 Nov 2006 07:40:55 AM UTC
Votes: 50
 
Should Start On:  Wed 29 Nov 2006 12:00:00 AM UTC Should be Finished on:  Sat 09 Dec 2006 12:00:00 AM UTC
Category:  Project Approval Priority:  * 5 - Normal
Status:  Done Privacy:  Public
Assigned to:  sp Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Tue 12 Dec 2006 08:17:29 PM UTC, comment #5: 

Hi Niels,

I have approved your project.  You will receive an automated e-mail containing detailed information about the approval.

Regards,

Stephan

Stephan Peijnik <sp>
Tue 12 Dec 2006 08:10:48 PM UTC, comment #4: 

Hi Stephan!

> First of all, I'd like to say that we are sorry this took so long.


No problem. I just want to set up a website von gnu.org as soon as possible since I want to announce a release soon.

> However, we do not allow to host your project on Savannah and
> SourceForge at the same time, if Savannah is just a project mirror.
> Your project development should happen primarily on Savannah.


I will remove BPEL2oWFN from SourceForge as soon as I can set up a website and CVS at Savannah. If I can accelerate the registration process, I'll remove it right now.
 

> How do you plan to use your Savannah account?


The Savannah account would be the primary and only account I would use to organize/develop/distribute/maintain BPEL2oWFN.

Best regards,
Niels Lohmann

Niels Lohmann <nielslohmann>
Tue 12 Dec 2006 07:11:09 PM UTC, comment #3: 

Hi Niels,

I'm evaluating the project you submitted for approval in Savannah.

First of all, I'd like to say that we are sorry this took so long.


Secondly, Savannah is a central point for development, distribution and
maintenance of GNU Software.

There is a companion site savannah.nongnu.org where we also host Free
Software projects that are not part of the GNU Project, but run on
free platforms.

However, we do not allow to host your project on Savannah and
SourceForge at the same time, if Savannah is just a project mirror.
Your project development should happen primarily on Savannah.

How do you plan to use your Savannah account?


To help us better keep track of your registration, please use the tracker's web interface following the link below. Do not reply directly, the registration process is not driven by e-mail, and we will not receive such replies.

Regards,

Stephan

Stephan Peijnik <sp>
Sun 10 Dec 2006 05:35:44 PM UTC, comment #2: 

Hello!

The date "should be finished on" was yesterday. I'd like to ask about the status of the approval process on this project.

Best regards,
Niels Lohmann

Niels Lohmann <nielslohmann>
Wed 29 Nov 2006 07:28:19 PM UTC, comment #1: 

Note for project reviewer: we received the official GNU dubbing mail from RMS - this is GNU software :)

Sylvain Beucler <Beuc>
Wed 29 Nov 2006 07:40:55 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):



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


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 sp (Posted a comment)
  • -email is unavailable- added by Beuc (Posted a comment)
  • -email is unavailable- added by nielslohmann (Submitted the item)
  •  

    There are 50 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 5 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2006-12-12 sp StatusNeed Info Done
        Open/ClosedOpen Closed
    2006-12-12 sp StatusNone Need Info
        Assigned toNone sp
    2006-12-11 nielslohmann Carbon-Copy- Added nielslohmann

    Back to the top

    Powered by Savane 3.13-bb6a.
    Corresponding source code