温迪 swMATH ID: 1246 软件作者: 尼尔斯·洛曼;丹妮拉·温伯格 描述: 温迪:一个综合服务合作伙伴的工具。面向服务的计算将服务作为构建块,可以组合成复杂的系统。为了验证服务的正确性,需要分析其通信协议。服务的一个基本正确性标准是合作伙伴服务的存在,并用可控性的概念进行了形式化。本文介绍了Wendy,一个基于Petri网的合作伙伴服务合成工具。这些合作伙伴是有价值的工件,可以支持服务的设计、验证、验证和调整。此外,Wendy可以计算操作指南,即服务所有合作伙伴集合的特征。操作指南可用于从服务代理到测试用例生成的许多应用程序场景。案例研究表明,Wendy有效地执行了工业服务模式 主页: http://download.gna.org/service-tech/wendy/wendy.pdf 相关软件: BPEL2oWFN型;LOTOS公司;沃夫兰;BPEL2PN公司;汪汪叫;形而上学;WSAT公司;石化 引用于: 3文件 全部的 前5名17位作者引用 1 龚萍 1 洪,钟 1 蒋建民 1 李琴 1 刘成飞 1 纳塔利娅·西多罗娃 1 阿瑟·霍夫斯泰德。 1 Wil M.P.范德阿尔斯特。 1 van Hee,Kees Max 1 H.M.W.韦贝克。 1 沃霍夫,马克 1 韦恩、莫·桑达尔 1 Sira Yongchareon公司 1 张、石 1 赵晓辉 1 赵永新 1 朱慧彪 3篇连载文章中引用 1 计算 1 信息与计算 1 计算的形式方面 在2个字段中引用 3 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文