×

温迪

swMATH ID: 1246
软件作者: 尼尔斯·洛曼;丹妮拉·温伯格
描述: 温迪:一个综合服务合作伙伴的工具。面向服务的计算将服务作为构建块,可以组合成复杂的系统。为了验证服务的正确性,需要分析其通信协议。服务的一个基本正确性标准是合作伙伴服务的存在,并用可控性的概念进行了形式化。本文介绍了Wendy,一个基于Petri网的合作伙伴服务合成工具。这些合作伙伴是有价值的工件,可以支持服务的设计、验证、验证和调整。此外,Wendy可以计算操作指南,即服务所有合作伙伴集合的特征。操作指南可用于从服务代理到测试用例生成的许多应用程序场景。案例研究表明,Wendy有效地执行了工业服务模式
主页: http://download.gna.org/service-tech/wendy/wendy.pdf
相关软件: BPEL2oWFN型;LOTOS公司;沃夫兰;BPEL2PN公司;汪汪叫;形而上学;WSAT公司;石化
引用于: 3文件

3篇连载文章中引用

1 计算
1 信息与计算
1 计算的形式方面

按年份列出的引文