BPEL2oWFN公司

GNU BPEL2oWFN将用WS-BPEL(web服务业务流程执行语言)表示的web服务转换为oWFN(开放式工作流网)。该oWFN可用于:使用Fiona工具检查可控性或生成操作指南,检查死锁或任何其他Petri网属性,或使用各种模型检查工具检查任何时序逻辑公式。


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

显示第1到第20个结果,共28个。
按年份排序(引用)
  1. 永查伦,西拉;刘成飞;赵晓辉:重用以工件为中心的业务流程模型:行为一致的专业化方法(2020)
  2. 阿尔图尔基,穆萨布A。;梅斯盖尔,乔斯é: Orc的可执行重写逻辑语义与Orc程序形式化分析(2015)
  3. 查玛,艾丁;贝拉拉,纳比勒;Saidouni,Djamel Eddine:业务流程时间约束的形式化建模与分析(2015)
  4. 哈达德,谢尔盖;亨尼克,罗尔夫;øller,Mikael H.:具有模式I/O-Petri网的异步组件系统规范(2014)
  5. 沃格勒,沃尔特;斯塔尔,基督徒;üller,Richard:《基于跟踪和失败的响应语义》(2014)
  6. 约拿单,米绍;乃吉母耳,以利;Fantechi,Alessandro:安全web服务编排的会话类型(2013)
  7. 宋,梁;王建民;文,李杰;Kong,Hui:使用LTL公式和展开的高效基于语义的符合性检查(2013)
  8. 阿尔斯特,威尔·M。P、 范德;罗曼,尼尔斯;La Rosa,Marcello:通过合作伙伴综合确保过程配置的正确性(2012)ioport公司
  9. 拉帕杜拉,亚历山德罗;普利斯,罗萨里奥;使用Franczzo开发正式应用程序ioport公司
  10. 斯塔尔,基督徒;Vogler,Walter:一种保证死锁自由的基于跟踪的服务语义(2012)
  11. 瓦莱罗,瓦伦特ín;梅西à, 赫尔曼德;帕多,胡安·乔斯é; 坎布罗内罗,马尔代夫í埃米利娅;Díaz,Gregorio:将具有优先级和时间限制的web服务编排转换为优先时间着色Petri网(2012)
  12. 拉帕杜拉,A。;普利斯,R。;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  13. 罗曼,尼尔斯;沃尔夫,卡斯滕:《操作指南的紧凑表示和有效算法》(2011)
  14. 波里维扬,阿泰姆;魏德利希,马提亚斯;Weske,Mathias:《工作流网络的连通性:逐步验证的基础》(2011)
  15. 斯塔尔,基督徒;沃格勒,沃尔特:基于追踪的操作指南观点(2011)
  16. 魏德利希,马提亚斯;波里维扬,阿泰姆;门德林,简;Weske,Mathias:因果行为模式——有效计算、应用和评估(2011)
  17. Hé嗯,皮埃尔·西里尔;奥尔加库什纳连科;沃伊诺,Jérôme:基于组件仿真的替代性管理QoS和组合问题(2010)
  18. 魏德利希,马提亚斯;波里维扬,阿泰姆;门德林,简;Weske,Mathias:使用结构分解有效计算因果行为剖面(2010)
  19. 杨林敏;王勇;邓哲:通信对象多集上的自动机与过程(2010)
  20. 邦奇,菲利波;布罗基,安东尼奥;科菲尼,萨拉;Gadducci,Fabio:基于网络的web服务发布和替换方法(2009)

更多出版物请访问:http://www.gnu.org/software/bpel2owfn/publications.html