| 1 |
<html xmlns="http://www.w3.org/1999/xhtml"> |
<html xmlns="http://www.w3.org/1999/xhtml"> |
| 2 |
|
|
| 3 |
<head> |
<head> |
| 4 |
<meta http-equiv="Content-Language" content="en-us" /> |
<meta http-equiv="Content-Language" content="en-us" /> |
| 5 |
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252" /> |
<meta http-equiv="Content-Type" content="text/html; charset=windows-1252" /> |
| 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; |
| 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> |
| 23 |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
| 24 |
</head> |
</head> |
| 25 |
|
|
| 26 |
<body> |
<body> |
| 27 |
|
|
| 28 |
<table border="0" width="100%" id="table1" cellspacing="0" cellpadding="0"> |
<table border="0" width="100%" id="table1" cellspacing="0" cellpadding="0"> |
| 29 |
<tr> |
<tr> |
| 30 |
<td> |
<td> |
| 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.2, 15 June 2007</td> |
GNU BPEL2oWFN Version 2.0.3, 29 June 2007</td> |
| 35 |
</tr> |
</tr> |
| 36 |
</table> |
</table> |
| 37 |
<div class="navigation"> |
<div class="navigation"> |
| 38 |
<table border="0" id="table2" cellspacing="0" cellpadding="0" align="right"> |
<table border="0" id="table2" cellspacing="0" cellpadding="0" align="right"> |
| 39 |
<tr> |
<tr> |
| 40 |
<td><b>Overview</b> <a href="download.html">Download</a> |
<td><b>Overview</b> <a href="download.html">Download</a> |
| 41 |
<a href="manual.html">Manual</a> <a href="publications.html">Publications</a> <a href="contact.html">Contact</a> |
<a href="manual.html">Manual</a> <a href="publications.html">Publications</a> <a href="contact.html">Contact</a> |
| 42 |
| |
| |
| 43 |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html"> |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html"> |
| 44 |
Tools4BPEL</a></td> |
Tools4BPEL</a></td> |
| 45 |
</tr> |
</tr> |
| 46 |
</table> |
</table> |
| 47 |
</div> |
</div> |
| 48 |
<h2>Overview</h2> |
<h2>Overview</h2> |
| 49 |
<blockquote> |
<blockquote> |
| 50 |
|
|
| 51 |
<p>GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service |
<p>GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service |
| 52 |
Business Process Execution Language) into an oWFN (open Workflow Net). This |
Business Process Execution Language) into an oWFN (open Workflow Net). This |
| 53 |
oWFN can be used to:</p> |
oWFN can be used to:</p> |
| 54 |
<ul> |
<ul> |
| 55 |
<li>check for <em>controllability</em> or generate the <em>operating guideline</em> using |
<li>check for <em>controllability</em> or generate the <em>operating guideline</em> using |
| 56 |
the tool |
the tool |
| 57 |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/fiona">Fiona</a>,</li> |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/fiona">Fiona</a>,</li> |
| 58 |
<li>check for deadlocks or any other Petri net property, or</li> |
<li>check for deadlocks or any other Petri net property, or</li> |
| 59 |
<li>check any temporal logic formula with a variety of model checking |
<li>check any temporal logic formula with a variety of model checking |
| 60 |
tools.</li> |
tools.</li> |
| 61 |
</ul> |
</ul> |
| 62 |
</blockquote> |
</blockquote> |
| 63 |
<p class="style2"><map name="FPMap0" id="FPMap0"> |
<p class="style2"><map name="FPMap0" id="FPMap0"> |
| 64 |
<area href="javascript:void(0);" shape="rect" coords="137, 31, 248, 118" onmouseover="return overlib('The abstract syntax tree (AST) is the main data structure of BPEL2oWFN. The AST is annotated with information gained by static analysis.', CAPTION, 'Abstract Syntax Tree', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="137, 31, 248, 118" onmouseover="return overlib('The abstract syntax tree (AST) is the main data structure of BPEL2oWFN. The AST is annotated with information gained by static analysis.', CAPTION, 'Abstract Syntax Tree', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 65 |
<area href="javascript:void(0);" shape="rect" coords="271, 31, 379, 118" onmouseover="return overlib('The annotated abstract syntax tree is used to generate a Petri net model of the BPEL process. All Petri net-related functions (adding, removing and merging of nodes; <b>structural reduction</b>) are provided by the Petri net API.', CAPTION, 'Petri Net API', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="271, 31, 379, 118" onmouseover="return overlib('The annotated abstract syntax tree is used to generate a Petri net model of the BPEL process. All Petri net-related functions (adding, removing and merging of nodes; <b>structural reduction</b>) are provided by the Petri net API.', CAPTION, 'Petri Net API', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 66 |
<area href="javascript:void(0);" shape="rect" coords="137, 146, 248, 240" onmouseover="return overlib('From the abstract syntax tree, a control/data flow graph is built. This graph is used to apply static analysis algorithms to gain information (e.g., <b>dead code</b>) about the process. These algorithms Furthermore, <b>design flaws</b> such as cyclic control links or conflicting receiving activities are detected.', CAPTION, 'Control/Data Flow Graph', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="137, 146, 248, 240" onmouseover="return overlib('From the abstract syntax tree, a control/data flow graph is built. This graph is used to apply static analysis algorithms to gain information (e.g., <b>dead code</b>) about the process. These algorithms Furthermore, <b>design flaws</b> such as cyclic control links or conflicting receiving activities are detected.', CAPTION, 'Control/Data Flow Graph', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 67 |
<area href="javascript:void(0);" shape="rect" coords="271, 146, 379, 242" onmouseover="return overlib('For each BPEL construct, several patterns with different degrees of abstraction are stored in the pattern repository. Using the information gained by static analysis, the <b>most abstract pattern</b> applicable is used.', CAPTION, 'Pattern Repository', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="271, 146, 379, 242" onmouseover="return overlib('For each BPEL construct, several patterns with different degrees of abstraction are stored in the pattern repository. Using the information gained by static analysis, the <b>most abstract pattern</b> applicable is used.', CAPTION, 'Pattern Repository', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 68 |
<area href="javascript:void(0);" shape="rect" coords="3, 19, 98, 142" onmouseover="return overlib('BPEL2oWFN can read BPEL processes compliant to the <b>WS-BPEL 2.0</b> or the <b>BPEL4WS 1.1</b> specification.', CAPTION, 'BPEL process', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="3, 19, 98, 142" onmouseover="return overlib('BPEL2oWFN can read BPEL processes compliant to the <b>WS-BPEL 2.0</b> or the <b>BPEL4WS 1.1</b> specification, as well as <b>BPEL4Chor</b> choreographies.', CAPTION, 'BPEL process', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 69 |
<area href="javascript:void(0);" shape="rect" coords="423, 19, 499, 142" onmouseover="return overlib('The generated Petri net model can be exported to <b>many file formats</b>, such as PNML, LoLA, Fiona oWFN, INA, APNN, or PEP.', CAPTION, 'Petri net', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
<area href="javascript:void(0);" shape="rect" coords="423, 19, 499, 142" onmouseover="return overlib('The generated Petri net model can be exported to <b>many file formats</b>, such as PNML, LoLA, Fiona oWFN, INA, APNN, or PEP.', CAPTION, 'Petri net', FGCOLOR, '#ffffff', BGCOLOR, '#00376c', TEXTSIZE, 2, CAPTIONSIZE, 2, WIDTH, 300)" onmouseout="return nd();"> |
| 70 |
</map> |
</map> |
| 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 |
<p>Furthermore, GNU BPEL2oWFN can translate a |
| 75 |
<a href="http://www.bpel4chor.org">BPEL4Chor</a> choreography to a Petri net |
<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 |
model. This model can be used to analyze properties of a complete |
| 77 |
choreography or to synthesize a fitting service for an incomplete |
choreography or to synthesize a fitting service for an incomplete |
| 78 |
choreography.</p> |
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 |
| 82 |
and data flow analysis.</p> |
and data flow analysis.</p> |
| 83 |
<p>GNU BPEL2oWFN was written by Niels Lohmann, Christian Gierds and Martin |
<p>GNU BPEL2oWFN was written by Niels Lohmann, Christian Gierds and Martin |
| 84 |
Znamirowski. It is part of the Tools4BPEL project funded by the |
Znamirowski. It is part of the Tools4BPEL project funded by the |
| 85 |
Bundesministerium für Bildung und Forschung. See |
Bundesministerium für Bildung und Forschung. See |
| 86 |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel"> |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel"> |
| 87 |
http://www.informatik.hu-berlin.de/top/tools4bpel</a> |
http://www.informatik.hu-berlin.de/top/tools4bpel</a> |
| 88 |
for details.</p> |
for details.</p> |
| 89 |
</blockquote> |
</blockquote> |
| 90 |
<table style="width: 100%" cellspacing="0" cellpadding="0"> |
<table style="width: 100%" cellspacing="0" cellpadding="0"> |
| 91 |
<tr> |
<tr> |
| 92 |
<td valign="top" style="width: 50%"> |
<td valign="top" style="width: 50%"> |
| 93 |
<h3>Contents</h3> |
<h3>Contents</h3> |
| 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="publications.html">Publications</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> |
| 101 |
</ul> |
</ul> |
| 102 |
</td> |
</td> |
| 103 |
<td valign="top"> </td> |
<td valign="top"> </td> |
| 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>15 June 2007</strong><br> |
<li><strong>29 June 2007</strong><br> |
| 108 |
<a href="history.html#2.0.2">GNU BPEL2oWFN 2.0.2</a> released<br> |
<a href="history.html#2.0.3">GNU BPEL2oWFN 2.0.3</a> released<br> |
| 109 |
</li> |
</li> |
| 110 |
<li><strong>11 May 2007</strong><br> |
<li><strong>15 June 2007</strong><br> |
| 111 |
<a href="history.html#2.0.1">GNU BPEL2oWFN 2.0.1</a> released</li> |
<a href="history.html#2.0.2">GNU BPEL2oWFN 2.0.2</a> released<br> |
| 112 |
</ul> |
</li> |
| 113 |
|
</ul> |
| 114 |
</td> |
|
| 115 |
</tr> |
</td> |
| 116 |
</table> |
</tr> |
| 117 |
<dl> |
</table> |
| 118 |
<dd>last changes: 15.06.2007</dd> |
<dl> |
| 119 |
</dl> |
<dd>last changes: 29.06.2007</dd> |
| 120 |
|
</dl> |
| 121 |
</body> |
|
| 122 |
|
</body> |
| 123 |
</html> |
|
| 124 |
|
</html> |