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

Diff of /bpel2owfn/index.html

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

revision 1.15 by nielslohmann, Fri Jun 15 15:48:26 2007 UTC revision 1.16 by nielslohmann, Fri Jun 29 09:48:14 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 - 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;
# Line 17  Line 17 
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">&nbsp;</td>                  <td valign="top">&nbsp;</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  &nbsp;</li>  &nbsp;</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>

Legend:
Removed from v.1.15  
changed lines
  Added in v.1.16

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