/[bpel2owfn]/bpel2owfn/history.html
ViewVC logotype

Diff of /bpel2owfn/history.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.5 by nielslohmann, Fri May 11 15:29:15 2007 UTC revision 1.6 by nielslohmann, Fri Jun 15 15:48:25 2007 UTC
# Line 1  Line 1 
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>&lt;if&gt;/&lt;switch&gt; pattern did not work with parameter          <ul>
61                  &quot;communicationonly&quot;</li>                  <li><a href="http://www.bpel4chor.org">BPEL4Chor</a> choreographies can be translated (further information to
62                  <li>&lt;flow&gt; activities in repeated constructs (&lt;while&gt;, &lt;repeatUntil&gt;,                  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 &quot;xor&quot; 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 &quot;nointerface&quot; 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 &quot;reduce&quot; option</li>          </ul>
73                  <li>improved performance of composition of nets in the &quot;consistency&quot;  </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>&lt;if&gt;/&lt;switch&gt; pattern did not work with parameter
79          <h4>input:</h4>                  &quot;communicationonly&quot;</li>
80          <ul>                  <li>&lt;flow&gt; activities in repeated constructs (&lt;while&gt;, &lt;repeatUntil&gt;,
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 &quot;xor&quot; 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 &quot;nointerface&quot; 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 &quot;reduce&quot; option</li>
91                          <li>LoLA (low-level)</li>                  <li>improved performance of composition of nets in the &quot;consistency&quot;
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&#39; is renamed to `-p finalloop&#39;.</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 &lt;invoke&gt; activity does no longer receive messages.</li>                          <li>models without variables</li>
155                  <li>Structural reduction rules no longer change the semantics of the &lt;switch&gt;                          <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&#39; is renamed to `-p finalloop&#39;.</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 &lt;invoke&gt; activity does no longer receive messages.</li>
173                          <li>original semantics</li>                  <li>Structural reduction rules no longer change the semantics of the &lt;switch&gt;
174                          <li>models without BPEL&#39;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&#39;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 &lt;invoke&gt; 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 &lt;invoke&gt; 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>

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26