BPEL2OWFN

GNU BPEL2OWFN将WS- BPEL(Web服务业务流程执行语言)中表示的Web服务翻译成OWFN(开放工作流网络)。该OWFN可用于:使用工具菲奥娜检查可控性或生成操作指南,检查死锁或任何其他Petri网属性,或用各种模型检查工具检查任何时态逻辑公式。


ZBMaCT中的参考文献(27篇文章中引用)

显示结果1至20的27。
按年份排序(引文
  1. AlTurki,Musab A.;MeeGuer-Joe: ORC的可执行重写逻辑语义及ORC程序的形式化分析(2015)
  2. 查马,IMED Eddin;Belala,Nabil;Saidouni,Djamel Eddine:业务流程时间约束的正式建模和分析(2015)
  3. 哈达德,塞尔格;Hennicker,罗尔夫;M·勒勒,Mikael H.:用模态I/O Petri网规范异步组件系统(2014)
  4. Vogler、沃尔特、斯塔尔、克里斯汀、米勒、李察:基于循因和失败的反应性语义学(2014)
  5. Michaux,乔纳森;Najm,Elie;FANTECH,Alessandro:安全Web服务编排的会话类型(2013)
  6. 宋,Liang;王,Jianmin;文,Lijie;Kong,回:基于LTL公式和展开的高效语义一致性检验(2013)
  7. Aalst,Wil M. P.van德;洛曼,尼尔斯;La Rosa,马塞洛:通过伙伴合成确保过程配置中的正确性(2012)伊波尔特
  8. 拉帕杜拉,Alessandro;PuGeles,Rosario;TayZi,弗朗西斯科:用形式化方法开发WS- BPEL应用(2012)伊波尔特
  9. 斯塔尔、克里斯蒂安、Vogler、沃尔特:一种基于跟踪的服务语义保证死锁自由度(2012)
  10. 瓦莱罗,Pardo,Juan Jos,Cambronero,MaaiaEmiia;D.Iasz,格雷戈里奥:将具有优先级和时间约束的Web服务编排转化为优先时间着色Petri网(2012)
  11. 一种基于WSDL的异步WS- BPEL过程类型系统(2011)
  12. Lohmann,尼尔斯;保鲁夫,KARSTEN:紧凑表示和操作指南的有效算法(2011)
  13. Pulvyyyy,ARTEM;Weidlich,马蒂亚斯;WESKE,马蒂亚斯:工作流网的连通性:逐步验证的基础(2011)
  14. 斯塔尔、克里斯蒂安、Vogler、沃尔特:基于操作指南的追踪研究(2011)
  15. Weidlich,马蒂亚斯;Pyvyyyy,ARTEM;Mendling,J.;WESKE,马蒂亚斯:因果行为简档——高效计算、应用和评价(2011)
  16. HeaAM,Pierre Cyrille;Kouchnarenko,奥尔加;VoiNo.JeR.O.Me:基于组件仿真的替代性管理QoS和组合问题(2010)
  17. Weidlich,马蒂亚斯;Pyvyyyy,ARTEM;Mendling,J.;WESKE,马蒂亚斯:利用结构分解有效计算因果行为曲线(2010)
  18. 杨,Linmin;王,Yong;党,哲:多个通信对象的自动机和过程(2010)
  19. Bonchi,FiLIPPO;BrGi,安东尼奥;Calfimi,萨拉;GADCuCII,法比奥:基于Web的Web服务发布和可替换性方法(2009)
  20. 斯塔尔,克里斯蒂安;Massuthe,彼得;Bretschneider,简:用操作准则决定服务的可替代性(2009)

进一步的出版物可以在:HTTP://www. GnU.Org/Suffale/BPEL2OWFN/Pu外制品.HTML