| 6 |
<title>BPEL2oWFN - GNU Project - Free Software Foundation</title> |
<title>BPEL2oWFN - GNU Project - Free Software Foundation</title> |
| 7 |
<meta name="description" content="GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net)."> |
<meta name="description" content="GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net)."> |
| 8 |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
| 9 |
<style type="text/css"> |
<style type="text/css"> |
| 10 |
.style1 { |
.style1 { |
| 11 |
margin-left: 10px; |
margin-left: 10px; |
| 12 |
margin-right: 10px; |
margin-right: 10px; |
| 13 |
} |
} |
| 14 |
.style2 { |
.style2 { |
| 15 |
text-align: center; |
text-align: center; |
| 16 |
} |
} |
| 17 |
.style3 { |
.style3 { |
| 18 |
border-width: 0; |
border-width: 0; |
| 19 |
} |
} |
| 20 |
</style> |
</style> |
| 21 |
|
|
| 22 |
<script type="text/javascript" src="ressource/overlib/overlib.js"><!-- overLIB (c) Erik Bosrup --></script> |
<script type="text/javascript" src="ressource/overlib/overlib.js"><!-- overLIB (c) Erik Bosrup --></script> |
| 31 |
<img src="ressource/gerwinski-gnu-head.png" width="62" height="62" class="style1"><img border="0" src="ressource/bpel2owfn.png" width="300" height="62" alt="BPEL2oWFN" /></td> |
<img src="ressource/gerwinski-gnu-head.png" width="62" height="62" class="style1"><img border="0" src="ressource/bpel2owfn.png" width="300" height="62" alt="BPEL2oWFN" /></td> |
| 32 |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
| 33 |
Nets<br /> |
Nets<br /> |
| 34 |
GNU BPEL2oWFN Version 2.0.1, 11 May 2007</td> |
GNU BPEL2oWFN Version 2.0.2, 15 June 2007</td> |
| 35 |
</tr> |
</tr> |
| 36 |
</table> |
</table> |
| 37 |
<div class="navigation"> |
<div class="navigation"> |
| 71 |
<img alt="" src="ressource/diagram.png" width="500" height="243" usemap="#FPMap0" class="style3"></p> |
<img alt="" src="ressource/diagram.png" width="500" height="243" usemap="#FPMap0" class="style3"></p> |
| 72 |
<blockquote> |
<blockquote> |
| 73 |
|
|
| 74 |
|
<p>Furthermore, GNU BPEL2oWFN can translate a |
| 75 |
|
<a href="http://www.bpel4chor.org">BPEL4Chor</a> choreography to a Petri net |
| 76 |
|
model. This model can be used to analyze properties of a complete |
| 77 |
|
choreography or to synthesize a fitting service for an incomplete |
| 78 |
|
choreography.</p> |
| 79 |
<p>GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact |
<p>GNU BPEL2oWFN uses static analysis to make the generated Petri net model as compact |
| 80 |
as possible to analyze a chosen property. This is called flexible model |
as possible to analyze a chosen property. This is called flexible model |
| 81 |
generation. Furthermore, several design flaws can be detected using control |
generation. Furthermore, several design flaws can be detected using control |
| 94 |
<ul> |
<ul> |
| 95 |
<li><a href="download.html"><strong>Download GNU BPEL2oWFN</strong></a></li> |
<li><a href="download.html"><strong>Download GNU BPEL2oWFN</strong></a></li> |
| 96 |
<li><a href="manual.html">Manual</a></li> |
<li><a href="manual.html">Manual</a></li> |
| 97 |
<li><a href="references.html">References</a></li> |
<li><a href="publications.html">Publications</a></li> |
| 98 |
<li><a href="contact.html">Contact</a></li> |
<li><a href="contact.html">Contact</a></li> |
| 99 |
<li> |
<li> |
| 100 |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html">Tools4BPEL project page</a></li> |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html">Tools4BPEL project page</a></li> |
| 104 |
<td valign="top" style="width: 50%"> |
<td valign="top" style="width: 50%"> |
| 105 |
<h3>News</h3> |
<h3>News</h3> |
| 106 |
<ul> |
<ul> |
| 107 |
<li><strong>11 May 2007</strong><br> |
<li><strong>15 June 2007</strong><br> |
| 108 |
<a href="history.html#2.0.1">GNU BPEL2oWFN 2.0.1</a> released<br> |
<a href="history.html#2.0.2">GNU BPEL2oWFN 2.0.2</a> released<br> |
| 109 |
</li> |
</li> |
| 110 |
<li><strong>20 April 2007</strong><br> |
<li><strong>11 May 2007</strong><br> |
| 111 |
<a href="history.html#2.0.0">GNU BPEL2oWFN 2.0.0</a> released</li> |
<a href="history.html#2.0.1">GNU BPEL2oWFN 2.0.1</a> released</li> |
| 112 |
</ul> |
</ul> |
| 113 |
|
|
| 114 |
</td> |
</td> |
| 115 |
</tr> |
</tr> |
| 116 |
</table> |
</table> |
| 117 |
<dl> |
<dl> |
| 118 |
<dd>last changes: 11.05.2007</dd> |
<dd>last changes: 15.06.2007</dd> |
| 119 |
</dl> |
</dl> |
| 120 |
|
|
| 121 |
</body> |
</body> |