LTSA-WS

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

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


zbMATH参考文献(13篇文章引用)

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

  1. 伊万·兰内斯、蒙特西、法布里齐奥、扎瓦塔罗、詹路易吉:《朱莉的进化》。从编曲到适应性编排(2015)
  2. 董金松;刘,杨;孙军;张,娴:面向计算编排的验证(2014)
  3. Durán,Francisco;Ouederni,Meriem;Salaün,Gwen:协议兼容性检查的通用框架(2012)
  4. Bădică,Amelia;Bădică,Costin:FSP和FLTL中间代理规范与验证框架(2011)
  5. 库波,哈维尔;卡纳尔,卡洛斯;皮门特尔,欧内斯托:基于模型转换的上下文感知合成和适应(2011)ioport公司
  6. Lapadula,A.;Pugliese,R.;Tiezzi,F.:异步WS-BPEL流程的基于WSDL的类型系统(2011)
  7. Martín,J.A.;Pimentel,E.:安全适应合同(2011年)
  8. 梅耶,菲利普:MDD4SOA。面向服务架构的模型驱动开发。(2010年)
  9. 淮金鹏;邓婷;李先贤;杜宗霞;郭惠鹏:具有正确性保证的复合web服务自动合成新方法(2009)
  10. 吴朝辉;邓水光;李颖;吴健:动态服务组合中的计算兼容性(2009)ioport公司
  11. Elisabetta Di Nitto;Carlo Ghezzi;Metzger,Andreas;Papazoglou,Mike;Pohl,Klaus:高度动态、自适应的基于服务的应用程序之旅(2008)ioport公司
  12. Haddad,Serge;Poizat,Pascal:组件组合的事务性简化(2007)
  13. Prasetya,I.S.W.B.;Vos,T.E.J.;Swierstra,S.D.:网络立方体(2006)