  |
将BPEL流程转换为开放工作流网络
GNU BPEL2oWFN 2.0.3版，2007年6月29日 |
出版物
这个理论编程组的在洪堡-柏林大学为BPEL4WS开发了Petri网语义2004年1月1日。由于BPEL4WS 1.1规范不明确（例如，链接语义、嵌套范围的补偿）、几个设计决策必须做出决定。后来，在2007年，该语义得到了增强，以涵盖WS-BPEL 2.0版。
Petri网语义
- 克里斯蒂安·斯塔尔。Petrinetze中的BPEL4WS转换. Deplorarbeit，柏林洪堡大学，2004年4月；（德语）。[PDF格式]
- 卡斯滕·施密特（Karsten Schmidt）和克里斯蒂安·斯塔尔（Christian Stahl）。Petri网语义用于BPEL4WS-验证和应用在Ekkart Kindler中，编辑，第十一届算法和工具研讨会会议记录Petri网（AWPN'04），第1-6页，2004年10月。大学帕德博恩。[PDF格式]
- 克里斯蒂安·斯塔尔。BPEL的Petri网语义. Informatik-Berichte 188，柏林洪堡大学，2005年7月。[PDF格式]
- 塞巴斯蒂安·欣兹。实施Petrinetz Semantik fürBPEL公司2005年3月，柏林洪堡大学Diplorabeit；（德语）。[PDF格式]
- 尼尔斯·洛曼。的特征完备Petri网语义WS-BPEL 2.0版Kees van Hee、Wolfgang Reisig和Karsten沃尔夫，编辑，正式方法国际讲习班业务流程和Web服务，2007年6月。
案例研究
- Sebastian Hinz、Karsten Schmidt和Christian Stahl。将BPEL转换为Petri网Wil M.P.van der Aalst，B。编辑：Benatallah、F.Casati和F.Curbera，会议记录第三届业务流程管理国际会议（BPM 2005）, 《计算机科学讲义》第3649卷，法国南希，第页220-2352005年9月。斯普林格·弗拉格。[施普林格链接]
- 尼尔斯·洛曼、彼得·马苏斯、克里斯蒂安·斯塔尔和丹妮拉温伯格。分析相互作用的BPEL流程.英寸Schahram Dustdar、JoséLuiz Fiadeiro和Amit Sheth，编辑，业务流程管理，第四届国际会议，BPM 2006，奥地利维也纳，2006年9月5日至7日，会议记录，第4102卷，共页计算机科学课堂讲稿，第17-32页，2006年9月。斯普林格·弗拉格。[施普林格链接,PDF格式]
- 尼尔斯·洛曼、彼得·马苏斯、克里斯蒂安·斯塔尔和丹妮拉温伯格。使用Flexible分析交互WS-BPEL进程模型生成数据知识。工程师，2007年。注：已接受BPM 2006特刊。
- 尼尔斯·洛曼（Niels Lohmann）、彼得·马苏斯（Peter Massuthe）和卡斯滕·沃尔夫（Karsten Wolf）。操作Finite-State服务指南在Jetty Kleijn和Alex雅科夫列夫，编辑，第28届国际应用和Petri网理论和其他并发模型，ICATPN 2007，波兰Siedlce，2007年6月25日至29日，会议记录，第4546卷，共页计算机科学讲稿，2007年。斯普林格·弗拉格。
- 上次更改：2007年6月29日