gsrc-commit
[Top][All Lists]
Advanced

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

[Gsrc-commit] /srv/bzr/gsrc/trunk r1839: add blurb for bpel2owfn


From: Brandon Invergo
Subject: [Gsrc-commit] /srv/bzr/gsrc/trunk r1839: add blurb for bpel2owfn
Date: Wed, 30 Jan 2013 21:47:09 +0100
User-agent: Bazaar (2.5.0)

------------------------------------------------------------
revno: 1839
committer: Brandon Invergo <address@hidden>
branch nick: trunk
timestamp: Wed 2013-01-30 21:47:09 +0100
message:
  add blurb for bpel2owfn
modified:
  gnu/bpel2owfn/Makefile
=== modified file 'gnu/bpel2owfn/Makefile'
--- a/gnu/bpel2owfn/Makefile    2013-01-20 15:20:08 +0000
+++ b/gnu/bpel2owfn/Makefile    2013-01-30 20:47:09 +0000
@@ -3,6 +3,15 @@
 GARVERSION = 2.0.3
 HOME_URL = http://www.gnu.org/software/bpel2owfn/
 DESCRIPTION = Translate a web service expressed in WS-BPEL into an oWFN
+define BLURB
+ BPEL2oWFN translates a web service expressed in Web Service Business 
+ Process Execution Language (WS-BPEL) into an open Workflow Net 
+ (oWFN). It may additionally convert a BPEL4Chor choreography to a 
+ Petri Net model. Properties of Petri Nets may be analyzed 
+ efficiently, due to the use of static analysis to make the models
+ compact. Control and data flow analysis, as well as basic checks for
+ deadlocks and other such properties are available. 
+endef
 
 ######################################################################
 


reply via email to

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