×

BPEL2oWFN型

swMATH ID: 6956
软件作者: 尼尔斯·洛曼
描述: GNU BPEL2oWFN将以WS-BPEL(web服务业务流程执行语言)表示的web服务转换为oWFN(开放工作流网)。此oWFN可用于:检查可控性或使用工具Fiona生成操作指南,检查死锁或任何其他Petri网属性,或使用各种模型检查工具检查任何时态逻辑公式。
主页: http://www.gnu.org/software/bpel2owfn/
关键词: WS-像素;oWFN公司;Petri网
相关软件: 奶牛;BPEL2PN公司;温迪;CADP公司;Uppaal公司;兽人;甲骨文公司;XPath(XPath);皮杜克;石化;LOTOS公司;莫德;快速排序;同步AADL2音频;距离-弧度;爪哇风扇;M-网络;里奥;算法447;沃夫兰
引用于: 25文件
更多出版物: http://www.gnu.org/software/bpel2owfn/publications.html

按年份列出的引文