| 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 | Version History - GNU Project - Free Software Foundation |
<title>BPEL2oWFN | Version History - GNU Project - Free Software Foundation |
| 7 |
</title> |
</title> |
| 8 |
<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)."> |
| 9 |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
| 10 |
<style type="text/css"> |
<style type="text/css"> |
| 11 |
.style1 { |
.style1 { |
| 12 |
margin-left: 10px; |
margin-left: 10px; |
| 13 |
margin-right: 10px; |
margin-right: 10px; |
| 14 |
} |
} |
| 15 |
.style2 { |
.style2 { |
| 16 |
text-align: center; |
text-align: center; |
| 17 |
} |
} |
| 18 |
.style3 { |
.style3 { |
| 19 |
border-width: 0; |
border-width: 0; |
| 20 |
} |
} |
| 21 |
</style> |
</style> |
| 22 |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
| 23 |
</head> |
</head> |
| 24 |
|
|
| 25 |
<body> |
<body> |
| 26 |
|
|
| 27 |
<table border="0" width="100%" id="table1" cellspacing="0" cellpadding="0"> |
<table border="0" width="100%" id="table1" cellspacing="0" cellpadding="0"> |
| 28 |
<tr> |
<tr> |
| 29 |
<td> |
<td> |
| 30 |
<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> |
| 31 |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
| 32 |
Nets<br /> |
Nets<br /> |
| 33 |
GNU BPEL2oWFN Version 2.0.1, 11 May 2007</td> |
GNU BPEL2oWFN Version 2.0.2, 15 June 2007</td> |
| 34 |
</tr> |
</tr> |
| 35 |
</table> |
</table> |
| 36 |
<div class="navigation"> |
<div class="navigation"> |
| 37 |
<table border="0" id="table2" cellspacing="0" cellpadding="0" align="right"> |
<table border="0" id="table2" cellspacing="0" cellpadding="0" align="right"> |
| 38 |
<tr> |
<tr> |
| 39 |
<td><a href="index.html">Overview</a> <a href="download.html">Download</a> |
<td><a href="index.html">Overview</a> <a href="download.html">Download</a> |
| 40 |
<a href="manual.html">Manual</a> <a href="publications.html">Publications</a> |
<a href="manual.html">Manual</a> <a href="publications.html">Publications</a> |
| 41 |
<a href="contact.html">Contact</a> | |
<a href="contact.html">Contact</a> | |
| 42 |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html"> |
<a href="http://www.informatik.hu-berlin.de/top/tools4bpel/tools.html"> |
| 43 |
Tools4BPEL</a></td> |
Tools4BPEL</a></td> |
| 44 |
</tr> |
</tr> |
| 45 |
</table> |
</table> |
| 46 |
</div> |
</div> |
| 47 |
<h2>Version History</h2> |
<h2>Version History</h2> |
| 48 |
<p class="style2"><map name="FPMap0" id="FPMap0"> |
<p class="style2"><map name="FPMap0" id="FPMap0"> |
| 49 |
<area href="#1.0" shape="polygon" coords="9, 186, 9, 112, 70, 8, 102, 25, 48, 119, 47, 185"> |
<area href="#1.0" shape="polygon" coords="9, 186, 9, 112, 70, 8, 102, 25, 48, 119, 47, 185"> |
| 50 |
<area href="#1.1" shape="polygon" coords="59, 186, 59, 115, 123, 5, 155, 19, 101, 115, 100, 186"> |
<area href="#1.1" shape="polygon" coords="54, 181, 54, 110, 118, 0, 150, 14, 96, 110, 95, 181"> |
| 51 |
<area href="#1.2" shape="polygon" coords="150, 186, 150, 108, 199, 27, 228, 42, 188, 110, 188, 186"> |
<area href="#1.2" shape="polygon" coords="137, 173, 137, 95, 186, 14, 215, 29, 175, 97, 175, 173"> |
| 52 |
<area href="#2.0.0" shape="polygon" coords="332, 186, 332, 114, 387, 26, 430, 48, 386, 119, 387, 186"> |
<area href="#2.0.0" shape="polygon" coords="294, 173, 294, 101, 349, 13, 392, 35, 348, 106, 349, 173"> |
| 53 |
<area href="#2.0.1" shape="polygon" coords="437, 186, 439, 118, 475, 52, 441, 35, 390, 118, 389, 186"> |
<area href="#2.0.1" shape="polygon" coords="396, 173, 398, 105, 434, 39, 400, 22, 349, 105, 348, 173"> |
| 54 |
</map> |
<area href="#2.0.2" shape="polygon" coords="401, 173, 400, 107, 443, 29, 477, 49, 447, 112, 448, 173"> |
| 55 |
<img alt="version history" src="ressource/history.png" width="500" height="187" usemap="#FPMap0" class="style3"></p> |
</map> |
| 56 |
<h3><a name="2.0.1"></a>Version 2.0.1 (11 May 2007)</h3> |
<img alt="version history" src="ressource/history.png" width="500" height="174" usemap="#FPMap0" class="style3"></p> |
| 57 |
<blockquote> |
<h3><a name="2.0.2"></a>Version 2.0.2 (15 June 2007)</h3> |
| 58 |
<h4>fixed bugs:</h4> |
<blockquote> |
| 59 |
<ul> |
<h4>new features:</h4> |
| 60 |
<li><if>/<switch> pattern did not work with parameter |
<ul> |
| 61 |
"communicationonly"</li> |
<li><a href="http://www.bpel4chor.org">BPEL4Chor</a> choreographies can be translated (further information to |
| 62 |
<li><flow> activities in repeated constructs (<while>, <repeatUntil>, |
come)</li> |
| 63 |
...) could result in unbounded nets</li> |
<li>WSDL files can be parsed to support the translation of a BPEL |
| 64 |
<li>parameter "xor" could crash</li> |
process</li> |
| 65 |
</ul> |
<li>abstract BPEL processes (both BPEL4WS 1.1 and WS-BPEL 2.0) are now |
| 66 |
<h4>miscellaneous:</h4> |
parsed</li> |
| 67 |
<ul> |
</ul> |
| 68 |
<li>new parameter "nointerface" allows to create dot output of the |
<h4>miscellaneous:</h4> |
| 69 |
generated Petri net model without drawing the interface</li> |
<ul> |
| 70 |
<li>transitions of the Petri net model are labeled and colored according to their role (only |
<li>when parsing multiple BPEL processes, wildcards like *.bpel can be |
| 71 |
for dot mode)</li> |
used</li> |
| 72 |
<li>Petri net reduction rules can be chosen using the "reduce" option</li> |
</ul> |
| 73 |
<li>improved performance of composition of nets in the "consistency" |
</blockquote> |
| 74 |
mode</li> |
<h3><a name="2.0.1"></a>Version 2.0.1 (11 May 2007)</h3> |
| 75 |
</ul> |
<blockquote> |
| 76 |
</blockquote> |
<h4>fixed bugs:</h4> |
| 77 |
<h3><a name="2.0.0"></a>Version 2.0.0 (20 April 2007)</h3> |
<ul> |
| 78 |
<blockquote> |
<li><if>/<switch> pattern did not work with parameter |
| 79 |
<h4>input:</h4> |
"communicationonly"</li> |
| 80 |
<ul> |
<li><flow> activities in repeated constructs (<while>, <repeatUntil>, |
| 81 |
<li>executable BPEL4WS 1.1 processes</li> |
...) could result in unbounded nets</li> |
| 82 |
<li>executable WS-BPEL 2.0 processes</li> |
<li>parameter "xor" could crash</li> |
| 83 |
<li>abstract BPEL4WS 1.1 processes (experimental)</li> |
</ul> |
| 84 |
<li>abstract WS-BPEL 2.0 processes (experimental)</li> |
<h4>miscellaneous:</h4> |
| 85 |
</ul> |
<ul> |
| 86 |
<h4>output:</h4> |
<li>new parameter "nointerface" allows to create dot output of the |
| 87 |
<ul> |
generated Petri net model without drawing the interface</li> |
| 88 |
<li>Petri net file formats:<ul> |
<li>transitions of the Petri net model are labeled and colored according to their role (only |
| 89 |
<li>APNN</li> |
for dot mode)</li> |
| 90 |
<li>INA (untimed, low-level)</li> |
<li>Petri net reduction rules can be chosen using the "reduce" option</li> |
| 91 |
<li>LoLA (low-level)</li> |
<li>improved performance of composition of nets in the "consistency" |
| 92 |
<li>Fiona oWFN</li> |
mode</li> |
| 93 |
<li>PEP notation (low-level)</li> |
</ul> |
| 94 |
<li>PNML (with extension to model interfaces)</li> |
</blockquote> |
| 95 |
<li>SPIN (Promela)</li> |
<h3><a name="2.0.0"></a>Version 2.0.0 (20 April 2007)</h3> |
| 96 |
</ul> |
<blockquote> |
| 97 |
</li> |
<h4>input:</h4> |
| 98 |
<li>other file formats:<ul> |
<ul> |
| 99 |
<li>Graphviz dot</li> |
<li>executable BPEL4WS 1.1 processes</li> |
| 100 |
<li>XML</li> |
<li>executable WS-BPEL 2.0 processes</li> |
| 101 |
</ul> |
<li>abstract BPEL4WS 1.1 processes (experimental)</li> |
| 102 |
</li> |
<li>abstract WS-BPEL 2.0 processes (experimental)</li> |
| 103 |
</ul> |
</ul> |
| 104 |
<h4>implemented patterns:</h4> |
<h4>output:</h4> |
| 105 |
<ul> |
<ul> |
| 106 |
<li>overworked feature-complete Petri net semantics for BPEL4WS 1.1 and |
<li>Petri net file formats:<ul> |
| 107 |
WS-BPEL 2.0</li> |
<li>APNN</li> |
| 108 |
<li>overworked simplified Petri net semantics to model the communicational |
<li>INA (untimed, low-level)</li> |
| 109 |
behavior only</li> |
<li>LoLA (low-level)</li> |
| 110 |
<li>several versions of each pattern controlled by command-line parameters</li> |
<li>Fiona oWFN</li> |
| 111 |
</ul> |
<li>PEP notation (low-level)</li> |
| 112 |
<h4>static analysis</h4> |
<li>PNML (with extension to model interfaces)</li> |
| 113 |
<ul> |
<li>SPIN (Promela)</li> |
| 114 |
<li>44 of 94 static analysis goals of the WS-BPEL specification are checked</li> |
</ul> |
| 115 |
<li>read access to uninitialized variables can be detected using the CFG |
</li> |
| 116 |
(control flow graph)</li> |
<li>other file formats:<ul> |
| 117 |
<li>conflicting receiving activities can be detected using the CFG</li> |
<li>Graphviz dot</li> |
| 118 |
</ul> |
<li>XML</li> |
| 119 |
<h4>miscellaneous:</h4> |
</ul> |
| 120 |
<ul> |
</li> |
| 121 |
<li>completely overworked architecture</li> |
</ul> |
| 122 |
<li>all Petri net-related functions are packaged to a Petri net API (application |
<h4>implemented patterns:</h4> |
| 123 |
programming interface) to be published independently of BPEL2oWFN soon</li> |
<ul> |
| 124 |
<li>statistics of the input process are displayed after implicit transformation |
<li>overworked feature-complete Petri net semantics for BPEL4WS 1.1 and |
| 125 |
rules are applied</li> |
WS-BPEL 2.0</li> |
| 126 |
<li>messages are classified (error, warning, etc.) and numbered to allow |
<li>overworked simplified Petri net semantics to model the communicational |
| 127 |
for a detailed description in the manual</li> |
behavior only</li> |
| 128 |
</ul> |
<li>several versions of each pattern controlled by command-line parameters</li> |
| 129 |
</blockquote> |
</ul> |
| 130 |
<h3><a name="1.2"></a>Version 1.2 (6 April 2006)</h3> |
<h4>static analysis</h4> |
| 131 |
<blockquote> |
<ul> |
| 132 |
<h4>overworked patterns:</h4> |
<li>44 of 94 static analysis goals of the WS-BPEL specification are checked</li> |
| 133 |
<ul> |
<li>read access to uninitialized variables can be detected using the CFG |
| 134 |
<li>more parameterized versions of the Stahl-semantics (see version 1.1):<ul> |
(control flow graph)</li> |
| 135 |
<li>acyclic models (also acyclic event handlers)</li> |
<li>conflicting receiving activities can be detected using the CFG</li> |
| 136 |
<li>models without variables</li> |
</ul> |
| 137 |
<li>models without standard faults occurring while handling a fault</li> |
<h4>miscellaneous:</h4> |
| 138 |
</ul> |
<ul> |
| 139 |
</li> |
<li>completely overworked architecture</li> |
| 140 |
</ul> |
<li>all Petri net-related functions are packaged to a Petri net API (application |
| 141 |
<h4>static analysis:</h4> |
programming interface) to be published independently of BPEL2oWFN soon</li> |
| 142 |
<ul> |
<li>statistics of the input process are displayed after implicit transformation |
| 143 |
<li>A control flow graph can be built and used to detect the use of uninitialized |
rules are applied</li> |
| 144 |
variables.</li> |
<li>messages are classified (error, warning, etc.) and numbered to allow |
| 145 |
</ul> |
for a detailed description in the manual</li> |
| 146 |
<h4>miscellaneous:</h4> |
</ul> |
| 147 |
<ul> |
</blockquote> |
| 148 |
<li>The command-line parameter `-p finishloop' is renamed to `-p finalloop'.</li> |
<h3><a name="1.2"></a>Version 1.2 (6 April 2006)</h3> |
| 149 |
<li>Structural reduction rules remove all structural dead nodes of the generated |
<blockquote> |
| 150 |
Petri net model.</li> |
<h4>overworked patterns:</h4> |
| 151 |
</ul> |
<ul> |
| 152 |
<h4>fixed bugs:</h4> |
<li>more parameterized versions of the Stahl-semantics (see version 1.1):<ul> |
| 153 |
<ul> |
<li>acyclic models (also acyclic event handlers)</li> |
| 154 |
<li>Pattern of asynchronous <invoke> activity does no longer receive messages.</li> |
<li>models without variables</li> |
| 155 |
<li>Structural reduction rules no longer change the semantics of the <switch> |
<li>models without standard faults occurring while handling a fault</li> |
| 156 |
activity.</li> |
</ul> |
| 157 |
<li>Structural reduction rules no longer remove the loop transition for |
</li> |
| 158 |
deadlock search.</li> |
</ul> |
| 159 |
</ul> |
<h4>static analysis:</h4> |
| 160 |
</blockquote> |
<ul> |
| 161 |
<h3><a name="1.1"></a>Version 1.1 (24 February 2006)</h3> |
<li>A control flow graph can be built and used to detect the use of uninitialized |
| 162 |
<blockquote> |
variables.</li> |
| 163 |
<h4>new output formats:</h4> |
</ul> |
| 164 |
<ul> |
<h4>miscellaneous:</h4> |
| 165 |
<li>APNN (Abstract Petri Net Notation) Petri net</li> |
<ul> |
| 166 |
<li>PNML (Petri Net Markup Language) Petri net</li> |
<li>The command-line parameter `-p finishloop' is renamed to `-p finalloop'.</li> |
| 167 |
<li>low-level PEP (Programming Environment based on Petri Nets) Petri net</li> |
<li>Structural reduction rules remove all structural dead nodes of the generated |
| 168 |
</ul> |
Petri net model.</li> |
| 169 |
<h4>overworked patterns:</h4> |
</ul> |
| 170 |
<ul> |
<h4>fixed bugs:</h4> |
| 171 |
<li>the Stahl-semantics (see version 1.0) has been enhanced and can be parametrized:<br> |
<ul> |
| 172 |
<ul> |
<li>Pattern of asynchronous <invoke> activity does no longer receive messages.</li> |
| 173 |
<li>original semantics</li> |
<li>Structural reduction rules no longer change the semantics of the <switch> |
| 174 |
<li>models without BPEL's standard faults</li> |
activity.</li> |
| 175 |
<li>acyclic models<br> |
<li>Structural reduction rules no longer remove the loop transition for |
| 176 |
</li> |
deadlock search.</li> |
| 177 |
</ul> |
</ul> |
| 178 |
</li> |
</blockquote> |
| 179 |
</ul> |
<h3><a name="1.1"></a>Version 1.1 (24 February 2006)</h3> |
| 180 |
<h4>static analysis:</h4> |
<blockquote> |
| 181 |
<ul> |
<h4>new output formats:</h4> |
| 182 |
<li>To reduce the size of the Petri net model static analysis is used to |
<ul> |
| 183 |
only generate nodes for the DPE (dead path elimination) when necessary.</li> |
<li>APNN (Abstract Petri Net Notation) Petri net</li> |
| 184 |
</ul> |
<li>PNML (Petri Net Markup Language) Petri net</li> |
| 185 |
<h4>miscellaneous:</h4> |
<li>low-level PEP (Programming Environment based on Petri Nets) Petri net</li> |
| 186 |
<ul> |
</ul> |
| 187 |
<li>The compiler generator tools Flex, Bison and Kimwitu++ are not any more |
<h4>overworked patterns:</h4> |
| 188 |
necessary to compile BPEL2oWFN: the generated sources are now part of the |
<ul> |
| 189 |
distribution.</li> |
<li>the Stahl-semantics (see version 1.0) has been enhanced and can be parametrized:<br> |
| 190 |
<li>The oWFN format was overworked and allows final markings.</li> |
<ul> |
| 191 |
<li>GNU getopt allows more flexible command-line parameter processing allowing |
<li>original semantics</li> |
| 192 |
to create several output file formats in a single run.</li> |
<li>models without BPEL's standard faults</li> |
| 193 |
<li>Debug output can be written into a log file.</li> |
<li>acyclic models<br> |
| 194 |
<li>The classes organizing the Petri nets are overworked for performance |
</li> |
| 195 |
and extensibility.</li> |
</ul> |
| 196 |
</ul> |
</li> |
| 197 |
<h4>fixed bugs:</h4> |
</ul> |
| 198 |
<ul> |
<h4>static analysis:</h4> |
| 199 |
<li>The generation of all possible types of the <invoke> activity (synchronous, |
<ul> |
| 200 |
asynchronous, with and without implicit scope) is overworked.</li> |
<li>To reduce the size of the Petri net model static analysis is used to |
| 201 |
</ul> |
only generate nodes for the DPE (dead path elimination) when necessary.</li> |
| 202 |
</blockquote> |
</ul> |
| 203 |
<h3><a name="1.0"></a>Version 1.0 (16 January 2006)</h3> |
<h4>miscellaneous:</h4> |
| 204 |
<blockquote> |
<ul> |
| 205 |
<h4>input:</h4> |
<li>The compiler generator tools Flex, Bison and Kimwitu++ are not any more |
| 206 |
<ul> |
necessary to compile BPEL2oWFN: the generated sources are now part of the |
| 207 |
<li>BPEL process compliant to the specificiation BPEL4WS version 1.1, May |
distribution.</li> |
| 208 |
2003.</li> |
<li>The oWFN format was overworked and allows final markings.</li> |
| 209 |
</ul> |
<li>GNU getopt allows more flexible command-line parameter processing allowing |
| 210 |
<h4>output:</h4> |
to create several output file formats in a single run.</li> |
| 211 |
<ul> |
<li>Debug output can be written into a log file.</li> |
| 212 |
<li>LoLA Petri net</li> |
<li>The classes organizing the Petri nets are overworked for performance |
| 213 |
<li>open workflow net</li> |
and extensibility.</li> |
| 214 |
<li>Dot representation</li> |
</ul> |
| 215 |
</ul> |
<h4>fixed bugs:</h4> |
| 216 |
<h4>implemented patterns:</h4> |
<ul> |
| 217 |
<ul> |
<li>The generation of all possible types of the <invoke> activity (synchronous, |
| 218 |
<li>Christian Stahl. <strong>A Petri Net Semantics for BPEL</strong>. Informatik-Berichte |
asynchronous, with and without implicit scope) is overworked.</li> |
| 219 |
188, Humboldt-Universität zu Berlin, July 2005. [<a href="http://www2.informatik.hu-berlin.de/Institut/struktur/systemanalyse/preprint/stahl188.pdf">PDF</a>]</li> |
</ul> |
| 220 |
</ul> |
</blockquote> |
| 221 |
<dl> |
<h3><a name="1.0"></a>Version 1.0 (16 January 2006)</h3> |
| 222 |
<dd>last changes: 26.04.2007</dd> |
<blockquote> |
| 223 |
</dl> |
<h4>input:</h4> |
| 224 |
</blockquote> |
<ul> |
| 225 |
|
<li>BPEL process compliant to the specificiation BPEL4WS version 1.1, May |
| 226 |
</body> |
2003.</li> |
| 227 |
|
</ul> |
| 228 |
</html> |
<h4>output:</h4> |
| 229 |
|
<ul> |
| 230 |
|
<li>LoLA Petri net</li> |
| 231 |
|
<li>open workflow net</li> |
| 232 |
|
<li>Dot representation</li> |
| 233 |
|
</ul> |
| 234 |
|
<h4>implemented patterns:</h4> |
| 235 |
|
<ul> |
| 236 |
|
<li>Christian Stahl. <strong>A Petri Net Semantics for BPEL</strong>. Informatik-Berichte |
| 237 |
|
188, Humboldt-Universität zu Berlin, July 2005. [<a href="http://www2.informatik.hu-berlin.de/Institut/struktur/systemanalyse/preprint/stahl188.pdf">PDF</a>]</li> |
| 238 |
|
</ul> |
| 239 |
|
<dl> |
| 240 |
|
<dd>last changes: 15.06.2007</dd> |
| 241 |
|
</dl> |
| 242 |
|
</blockquote> |
| 243 |
|
|
| 244 |
|
</body> |
| 245 |
|
|
| 246 |
|
</html> |