| 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 | References - GNU Project - Free Software Foundation</title> |
<title>BPEL2oWFN | References - GNU Project - Free Software Foundation</title> |
| 7 |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
<link rel="stylesheet" type="text/css" href="ressource/layout.css" /> |
| 8 |
<style type="text/css"> |
<style type="text/css"> |
| 9 |
.style1 { |
.style1 { |
| 10 |
margin-left: 10px; |
margin-left: 10px; |
| 11 |
margin-right: 10px; |
margin-right: 10px; |
| 12 |
} |
} |
| 13 |
.style2 { |
.style2 { |
| 14 |
margin-left: 40px; |
margin-left: 40px; |
| 15 |
} |
} |
| 16 |
</style> |
</style> |
| 17 |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
<link rel="SHORTCUT ICON" href="favicon.ico"> |
| 18 |
</head> |
</head> |
| 25 |
<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> |
| 26 |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
<td align="right" valign="bottom">Translating BPEL Process to Open Workflow |
| 27 |
Nets<br /> |
Nets<br /> |
| 28 |
GNU BPEL2oWFN Version 2.0.1, 11 May 2007</td> |
GNU BPEL2oWFN Version 2.0.2, 15 June 2007</td> |
| 29 |
</tr> |
</tr> |
| 30 |
</table> |
</table> |
| 31 |
<div class="navigation"> |
<div class="navigation"> |
| 66 |
BPEL</strong>. Diplomarbeit, Humboldt-Universität zu Berlin, March 2005; |
BPEL</strong>. Diplomarbeit, Humboldt-Universität zu Berlin, March 2005; |
| 67 |
(in German). [<a href="http://www2.informatik.hu-berlin.de/top/download/publications/Hinz05.pdf">PDF</a>]<br> |
(in German). [<a href="http://www2.informatik.hu-berlin.de/top/download/publications/Hinz05.pdf">PDF</a>]<br> |
| 68 |
</li> |
</li> |
| 69 |
|
<li>Niels Lohmann. <strong>A Feature-Complete Petri Net Semantics for |
| 70 |
|
WS-BPEL 2.0</strong>. In Kees van Hee, Wolfgang Reisig, and Karsten |
| 71 |
|
Wolf, editors, <em>International Workshop on Formal Approaches to |
| 72 |
|
Business Processes and Web Services</em>, June 2007.</li> |
| 73 |
</ul> |
</ul> |
| 74 |
</blockquote> |
</blockquote> |
| 75 |
<h3>Case Studies</h3> |
<h3>Case Studies</h3> |
| 95 |
<li>Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela |
<li>Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela |
| 96 |
Weinberg. <strong>Analyzing Interacting WS-BPEL Processes Using Flexible |
Weinberg. <strong>Analyzing Interacting WS-BPEL Processes Using Flexible |
| 97 |
Model Generation</strong>. Data Knowl. Eng., 2007. Note: Accepted for |
Model Generation</strong>. Data Knowl. Eng., 2007. Note: Accepted for |
| 98 |
special issue of BPM 2006.</li> |
special issue of BPM 2006.<br> |
| 99 |
|
<br> |
| 100 |
|
</li> |
| 101 |
|
<li>Niels Lohmann, Peter Massuthe, and Karsten Wolf. <strong>Operating |
| 102 |
|
Guidelines for Finite-State Services</strong>. In Jetty Kleijn and Alex |
| 103 |
|
Yakovlev, editors, <em>28th International Conference on Applications and |
| 104 |
|
Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, |
| 105 |
|
Siedlce, Poland, June 25-29, 2007, Proceedings</em>, volume 4546 of |
| 106 |
|
Lecture Notes in Computer Science, 2007. Springer-Verlag. Note: To |
| 107 |
|
appear.</li> |
| 108 |
</ul> |
</ul> |
| 109 |
</blockquote> |
</blockquote> |
| 110 |
<dl> |
<dl> |
| 111 |
<dd>last changes: 11.05.2007</dd> |
<dd>last changes: 15.06.2007</dd> |
| 112 |
</dl> |
</dl> |
| 113 |
|
|
| 114 |
</body> |
</body> |