BPEL2PN

BPEL2PN是一个基于Java的编译器,它根据Petri网语义将Web服务的业务流程执行语言中指定的流程转换为Petri网。BPEL2PN的输出格式是基于Petri网的模型检查器的数据格式的Petri网。LoLA还提供了将网络写成Petri网的标准交换格式(Petri网标记语言)的机会。


zbMATH中的参考文献(参考文献18条)

显示第1至18个结果,共18个。
按年份排序(引用)

  1. 贝茨,托比亚斯;劳伦斯,卡巴克;杜维尼奥,迈克尔;瓦格纳,托马斯;Wester Ebbinghaus,Matthias:使用Petri网的软件工程:web服务和代理视角(2014)
  2. 米芯,猫王属;Scandurra,Patrizia:服务建模和原型设计的正式框架(2014)ioport公司
  3. 西蒙兹,乔斯林;本大卫,肖汉;Chechik,Marsha:web服务应用程序的监视和恢复(2013)
  4. 菲亚迪罗,何塞;洛佩斯,安托尼亚;Abreu,João:面向服务交互的正式模型(2012)
  5. 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  6. 范德阿尔斯特,W.M.P。;范熙,K.M。;特霍夫斯泰德,A.H.M。;西多罗瓦,N。;韦比克,H.M.W。;沃霍夫,M。;Wynn,M.T.:工作流网络的可靠性:分类、可判定性和分析(2011)
  7. 你好,皮埃尔·西里尔;奥尔加库什纳连科;Voinot,Jérôme:基于组件仿真的替代性管理QoS和组合问题(2010)
  8. 孙海阳;杨健;徐磊:CoBTx网络:一个企业协作可靠性验证模型(2009)ioport公司
  9. 沃尔夫,卡斯滕:我的服务有合作伙伴吗?(2009年)
  10. 丁作华;陈振邦;刘静:服务构件体系结构的严格模型(2008)
  11. 哈马迪,穗状花序;贝纳塔拉,布阿林;Medjahed,Brahim:业务流程中用于策略驱动异常处理的自适应恢复网络(2008)ioport公司
  12. 马苏斯,彼得;亚历山大·塞雷布雷尼克;西多罗瓦,纳塔利亚;沃尔夫,卡斯滕:我能找个搭档吗?开放网络伙伴存在的不可判定性(2008)
  13. 于坚;韩寒、颜波;韩,君;金燕;猎鹰,保罗;Morisio,Maurizio:基于时态业务规则的综合服务组合模型(2008)ioport公司
  14. 拉帕杜拉,亚历山德罗;普利斯,罗萨里奥;Tiezzi,Francesco:web服务编排的微积分(2007)
  15. 欧阳春;韦贝克,埃里克;范德阿尔斯特,Wil M.P。;布雷特尔,斯蒂芬;大仲马,马龙;ter Hofstede,Arthur H.M.:WS-BPEL中控制流的形式语义和分析(2007)
  16. 克里斯滕森,L.M。;施密特,K。;Valmari,A.:状态属性的问题引导顽固集方法(2006)
  17. 普拉塞提亚,I.S.W.B。;沃斯,T.E.J。;Swierstra,S.D.:网络立方体(2006)
  18. 莱希格,沃尔夫冈;施密特,卡斯滕;Stahl,Christian:Kommunizierende工作流服务建模与分析(2005)ioport公司


更多出版物请访问:http://www2.informatik.hu berlin.de/top/bpel2pn/references.html\SHS05