LTSA-WS

LTSA-WS：一种基于模型的web服务组合和编排验证工具。在本文中，我们描述了一个工具，用于基于模型的方法来验证web服务实现的组合。该工具支持验证从设计规范和实现模型创建的属性，以从设计者和实现者的角度确认预期结果。场景在UML中以消息序列图（MSCs）的形式建模，然后编译成有限状态过程（FSP）过程代数，以简洁地建模所需的行为。BPEL4WS实现被机械地转换为FSP，以允许执行等价跟踪验证过程。通过提供早期设计验证和验证，可以通过理解组合所显示的行为来简化web服务组合的实现、测试和部署。该方法是作为Eclipse开发环境的插件实现的，为组合过程的规范、形式化建模、验证和验证提供了协作工具。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

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

zbMATH中的参考文献（参考文献13条)

显示结果1到13，共13个。
按年份排序(引用)

  1. 伊万·兰内斯；蒙特西，法布里齐奥；扎瓦塔罗，詹路易吉：朱莉的进化。从编曲到适应性编排（2015）
  2. 董金松；刘、杨；孙军；张显：走向计算编排的验证（2014）
  3. 杜尔án、 弗朗西斯科；乌德尔尼，梅里姆；萨拉ün、 Gwen:n协议兼容性检查的通用框架（2012）
  4. Bă驾驶员信息中心ă, 阿米莉亚；Bă驾驶员信息中心ă, Costin:FSP和FLTL中间代理规范和验证框架（2011）
  5. 库波，哈维尔；卡纳尔，卡洛斯；Pimentel，Ernesto:基于模型转换的上下文感知合成和适应（2011）ioport公司
  6. 拉帕杜拉，A。；普格利泽。；Tiezzi，F.：异步WS-BPEL流程的基于WSDL的类型系统（2011）
  7. 市场ín、 J。A、 。；Pimentel，E.：安全适应合同（2011年）
  8. 梅耶，菲利普：MDD4SOA。面向服务架构的模型驱动开发(2010年）
  9. 怀、金鹏；邓婷；李先贤；杜宗霞；郭惠鹏：AutoSyn：具有正确性保证的组合web服务自动合成的新方法（2009）
  10. 吴兆辉；邓水光；李颖；吴健：动态服务组合中的计算兼容性（2009）ioport公司
  11. 迪尼托，伊丽莎白；盖兹，卡罗；梅茨格，安德烈亚斯；帕帕佐格罗，迈克；Pohl，Klaus:高度动态、自适应的基于服务的应用程序之旅（2008）ioport公司
  12. 哈达德，谢尔盖；Poizat，Pascal:组件组合的事务性简化（2007）
  13. Prasetya，I。美国。W。B、 。；沃斯，T。E.E。J、 。；斯威士特拉。D、 ：Web多维数据集（2006）