LTSA-WS

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

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


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)