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 全部的 前5名51位作者引用 4 彼得·马苏斯 4 克里斯蒂安·斯塔尔 4 卡斯滕·沃尔夫 三 菲利波·邦奇 三 安东尼奥·布罗吉 三 萨拉·科尔菲尼 三 法比奥·加杜奇 三 Polyvyany,Artem公司 三 沃尔特·福格勒 三 马蒂亚斯·威德利奇 三 马蒂亚斯·韦斯克 2 尼尔斯·洛曼 2 简·孟德林 2 纳塔利娅·西多罗娃 1 穆萨布·A·阿尔图尔基。 1 纳比尔·贝拉拉 1 Bretschneider,简 1 玛丽亚·艾米利亚·坎布罗内罗 1 伊米德·埃丁·查马 1 当、哲 1 格雷戈里奥·迪亚兹 1 亚历山德罗·范特奇 1 谢尔盖,哈达德 1 海姆,皮尔雷·科里尔 1 罗尔夫·亨尼克 1 孔慧 1 奥尔加·库什纳伦科 1 亚历山德罗·拉帕杜拉 1 刘成飞 1 赫梅内吉尔达·马西阿 1 何塞·梅塞盖尔·瓜伊塔 1 乔纳森·米乔克斯 1 米凯尔·哈克杰·默勒 1 伊利·纳伊姆 1 胡安·何塞·帕尔多 1 罗萨里奥·普格利泽 1 杰梅尔·伊丁·萨伊杜尼 1 亚历山大·谢列布雷尼克 1 宋亮(Song,Liang) 1 弗朗切斯科·蒂齐 1 瓦伦蒂安·瓦莱罗 1 Wil M.P.范德阿尔斯特。 1 van der Werf,Jan Martijn E.M。 1 范希、基斯·马克斯 1 福尔摩·沃伊诺特 1 王建民 1 王勇 1 文,李杰 1 杨林敏 1 Sira Yongchareon公司 1 赵晓辉 全部的 前5名10篇连载文章中引用 4 计算机基础理论 三 信息学学报 2 计算机程序设计科学 1 信息处理信件 1 计算 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 自然计算 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 25 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的引文