/[bpel2owfn]/bpel2owfn/manual/1.1/bpel2owfn.html
ViewVC logotype

Diff of /bpel2owfn/manual/1.1/bpel2owfn.html

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

revision 1.1 by nielslohmann, Wed Jan 3 20:55:59 2007 UTC revision 1.2 by nielslohmann, Wed Jan 3 21:02:54 2007 UTC
# Line 1  Line 1 
1  <html lang="en">  <html lang="en">
2  <head>  <head>
3  <title>BPEL2oWFN User's Manual</title>  <title>BPEL2oWFN User's Manual</title>
4  <meta http-equiv="Content-Type" content="text/html">  <meta http-equiv="Content-Type" content="text/html">
# Line 23  Line 23 
23  <body>  <body>
24  <h1 class="settitle">BPEL2oWFN User's Manual</h1>  <h1 class="settitle">BPEL2oWFN User's Manual</h1>
25  <div class="node">  <div class="node">
26  <p><hr>  <p>&nbsp;<hr>
27  <a name="Top"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Overview">Overview</a>,  <a name="Top"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Overview">Overview</a>,
28  Up:&nbsp;<a rel="up" accesskey="u" href="#dir">(dir)</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#dir">(dir)</a>
29  <br>  <br>
# Line 31  Up:&nbsp;<a rel="up" accesskey="u" href= Line 31  Up:&nbsp;<a rel="up" accesskey="u" href=
31    
32  <h2 class="unnumbered"><acronym>BPEL2oWFN</acronym></h2>  <h2 class="unnumbered"><acronym>BPEL2oWFN</acronym></h2>
33    
34  <div class="block-image"><img src="images/bpel2owfn.png" alt="images/bpel2owfn.png"></div>  <div class="block-image"><img src="../../ressource/bpel2owfn.png" alt="images/bpel2owfn.png"></div>
35    
36  <p><b>About this document:</b>  <p><b>About this document:</b>
37    
# Line 56  Public License. Line 56  Public License.
56     <p>Copyright &copy; 2005, 2006 Niels Lohmann, Christian Gierds     <p>Copyright &copy; 2005, 2006 Niels Lohmann, Christian Gierds
57  and Dennis Reinert.  and Dennis Reinert.
58    
59     <div class="block-image"><img src="images/tools4bpel.png" alt="images/tools4bpel.png"></div>     <div class="block-image"><img src="../../ressource/tools4bpel.png" alt="images/tools4bpel.png"></div>
60    
61     <p><acronym>BPEL2oWFN</acronym> is part of the Tools4<acronym>BPEL</acronym> project     <p><acronym>BPEL2oWFN</acronym> is part of the Tools4<acronym>BPEL</acronym> project
62  funded by the Bundesministerium f&uuml;r Bildung und Forschung. See  funded by the Bundesministerium f&uuml;r Bildung und Forschung. See
# Line 141  funded by the Bundesministerium f&uuml;r Line 141  funded by the Bundesministerium f&uuml;r
141    
142  <!--  -->  <!--  -->
143  <div class="node">  <div class="node">
144  <p><hr>  <p>&nbsp;<hr>
145  <a name="Overview"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Invoking-BPEL2oWFN">Invoking BPEL2oWFN</a>,  <a name="Overview"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Invoking-BPEL2oWFN">Invoking BPEL2oWFN</a>,
146  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Top">Top</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Top">Top</a>,
147  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 261  properties such as deadlock freedom or l Line 261  properties such as deadlock freedom or l
261    
262  <!--  -->  <!--  -->
263  <div class="node">  <div class="node">
264  <p><hr>  <p>&nbsp;<hr>
265  <a name="Invoking-BPEL2oWFN"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#File-Formats">File Formats</a>,  <a name="Invoking-BPEL2oWFN"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#File-Formats">File Formats</a>,
266  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Overview">Overview</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Overview">Overview</a>,
267  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 554  immediately (see <a href="#Reporting-Bug Line 554  immediately (see <a href="#Reporting-Bug
554    
555  <!--  -->  <!--  -->
556  <div class="node">  <div class="node">
557  <p><hr>  <p>&nbsp;<hr>
558  <a name="File-Formats"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Petri-Net-Patterns">Petri Net Patterns</a>,  <a name="File-Formats"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Petri-Net-Patterns">Petri Net Patterns</a>,
559  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Invoking-BPEL2oWFN">Invoking BPEL2oWFN</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Invoking-BPEL2oWFN">Invoking BPEL2oWFN</a>,
560  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 695  net. Line 695  net.
695    
696  <!--  -->  <!--  -->
697  <div class="node">  <div class="node">
698  <p><hr>  <p>&nbsp;<hr>
699  <a name="Petri-Net-Patterns"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Petri-Net_002drelated-Functions">Petri Net-related Functions</a>,  <a name="Petri-Net-Patterns"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Petri-Net_002drelated-Functions">Petri Net-related Functions</a>,
700  Previous:&nbsp;<a rel="previous" accesskey="p" href="#File-Formats">File Formats</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#File-Formats">File Formats</a>,
701  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 869  are simply ignored during parsing. Line 869  are simply ignored during parsing.
869    
870  <!--  -->  <!--  -->
871  <div class="node">  <div class="node">
872  <p><hr>  <p>&nbsp;<hr>
873  <a name="Petri-Net_002drelated-Functions"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Limitations-and-Bugs">Limitations and Bugs</a>,  <a name="Petri-Net_002drelated-Functions"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Limitations-and-Bugs">Limitations and Bugs</a>,
874  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Petri-Net-Patterns">Petri Net Patterns</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Petri-Net-Patterns">Petri Net Patterns</a>,
875  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 930  acyclic link structure): Line 930  acyclic link structure):
930    
931  <!--  -->  <!--  -->
932  <div class="node">  <div class="node">
933  <p><hr>  <p>&nbsp;<hr>
934  <a name="Limitations-and-Bugs"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Future-Work">Future Work</a>,  <a name="Limitations-and-Bugs"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#Future-Work">Future Work</a>,
935  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Petri-Net_002drelated-Functions">Petri Net-related Functions</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Petri-Net_002drelated-Functions">Petri Net-related Functions</a>,
936  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 1027  Unter den Linden 6<br> Line 1027  Unter den Linden 6<br>
1027    
1028  <!--  -->  <!--  -->
1029  <div class="node">  <div class="node">
1030  <p><hr>  <p>&nbsp;<hr>
1031  <a name="Future-Work"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#References">References</a>,  <a name="Future-Work"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#References">References</a>,
1032  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Limitations-and-Bugs">Limitations and Bugs</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Limitations-and-Bugs">Limitations and Bugs</a>,
1033  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 1086  pattern database. Line 1086  pattern database.
1086    
1087  <!--  -->  <!--  -->
1088  <div class="node">  <div class="node">
1089  <p><hr>  <p>&nbsp;<hr>
1090  <a name="References"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#GNU-General-Public-License">GNU General Public License</a>,  <a name="References"></a>Next:&nbsp;<a rel="next" accesskey="n" href="#GNU-General-Public-License">GNU General Public License</a>,
1091  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Future-Work">Future Work</a>,  Previous:&nbsp;<a rel="previous" accesskey="p" href="#Future-Work">Future Work</a>,
1092  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
# Line 1156  Humboldt-Universit&auml;t zu Berlin, Oct Line 1156  Humboldt-Universit&auml;t zu Berlin, Oct
1156  <!-- 2005-12-27 (nlohmann) changed to @acronym{GNU} General Public License -->  <!-- 2005-12-27 (nlohmann) changed to @acronym{GNU} General Public License -->
1157  <!-- 2005-12-27 (nlohmann) added a node -->  <!-- 2005-12-27 (nlohmann) added a node -->
1158  <div class="node">  <div class="node">
1159  <p><hr>  <p>&nbsp;<hr>
1160  <a name="GNU-General-Public-License"></a>Previous:&nbsp;<a rel="previous" accesskey="p" href="#References">References</a>,  <a name="GNU-General-Public-License"></a>Previous:&nbsp;<a rel="previous" accesskey="p" href="#References">References</a>,
1161  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>  Up:&nbsp;<a rel="up" accesskey="u" href="#Top">Top</a>
1162  <br>  <br>
# Line 1537  means to debug small patterns.</p> Line 1537  means to debug small patterns.</p>
1537    
1538  <p class="footnote"><small>[<a name="fn-11" href="#fnd-11">11</a>]</small> <a href="http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf">http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf</a></p>  <p class="footnote"><small>[<a name="fn-11" href="#fnd-11">11</a>]</small> <a href="http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf">http://www.informatik.hu-berlin.de/top/download/publications/weinberg04.pdf</a></p>
1539    
1540  <p><hr></div>  <p>&nbsp;<hr></div>
1541    
1542  </body></html>  </body></html>
1543    

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

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