温迪

Wendy提出了一种面向合作伙伴的服务合成工具:面向服务组合的服务块。为了判断服务的正确性,需要分析其通信协议。服务的一个基本正确性标准是合作伙伴服务的存在,这是在可控性概念中形式化的。本文介绍了基于Petri网的合作伙伴服务综合工具Wendy。这些合作伙伴是支持服务的设计、验证、验证和调整的有价值的构件。此外,Wendy可以计算一个操作指南,一个服务所有合作伙伴集合的特征。操作指南可用于从服务代理到测试用例生成的许多应用程序场景。案例研究表明,Wendy在工业服务模式上的表现非常有效

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH参考文献(参考 5篇文章

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. 蒋建民;朱慧彪;李,秦;赵永新;张,石;龚,平;洪,钟:基于事件的功能分解(2020)
  2. Aalst,Wil M.P.van der;Lohmann,Niels;La Rosa,Marcello:通过合作伙伴合成确保过程配置过程的正确性(2012)ioport公司
  3. Niels Lohmann;Weinberg,Daniela:Wendy:综合服务合作伙伴的工具(2011)ioport公司
  4. van der Aalst,W.M.P.;van Hee,K.M.;ter Hofstede,A.H.M.;Sidorova,N.;Verbeek,H.M.W.;Voorhoeve,M.;Wynn,M.T.:工作流网络的可靠性:分类、可判定性和分析(2011)
  5. Niels Lohmann;Weinberg,Daniela:Wendy:综合服务合作伙伴的工具(2010)ioport公司