WSAT公司

本文介绍了Web服务分析工具(WSAT),这是一个用于分析和验证组合Web服务设计的工具,它采用了最新的模型检查技术。Web服务是通过XML消息进行通信的松散耦合分布式系统。web服务之间的通信是异步的,它由消息传递平台(如JMS)支持,后者提供FIFO队列来存储传入消息。web服务之间的数据传输通过XML标准化,web服务本身的规范(调用接口和行为签名)依赖于一系列基于XML的标准(如WSDL、BPEL4WS、WSCI等)。然而,web服务的特性给模型检验的应用带来了几个挑战:(1)众多竞争的web服务标准,大多缺乏形式语义,使得web服务组合的形式化规范变得复杂(2) 异步消息传递使得大多数有趣的验证问题无法确定,即使在XML消息内容被抽象出来时也是如此(3) 当前的模型检查程序不支持XML数据和基于XPath的表达式操作。


zbMATH中的参考文献(参考文献37篇文章,1标准件)

显示结果1到20,共37个。
按年份排序(引用)
  1. 阿坦普尔,弗朗西斯;迪格尔,尤尔根;鲁迪,凯伦:自动化服务组合的控制器综合框架(2019)
  2. 阿克鲁恩,拉赫达尔;萨拉ün、 Gwen:自动验证通过FIFO和行李缓冲器进行通信(2018年)
  3. 巴苏、萨米克;Bultan,Tevfik:关于决定异步通信系统的同步性(2016)
  4. Clempner,Julio:一种分析方法,用于验证经典可靠性的标准工作流/Petri网验证(2014)
  5. 盛、泉。;马尔,扎卡里亚;姚丽娜;萨博,克劳迪娅;Bourne,Scott:web服务的行为建模和自动验证(2014)ioport公司
  6. 邓婷;范文飞;利布金,列奥尼德;吴英辉:论综合网络服务的聚合问题(2013)
  7. 菲亚迪罗,乔斯é 路易斯;洛佩斯,蚂蚁ónia:面向服务设计的接口理论(2013)
  8. 高、杨;徐明;詹乃君;张立军:连续时间马尔可夫链的模型检验条件CSL(2013)
  9. 西蒙兹,乔斯林;本大卫,肖汉;Chechik,Marsha:web服务应用程序的监视和恢复(2013)
  10. 巴苏、萨米克;布尔坦、特夫菲克;乌德尔尼,梅里姆:决定编舞的可实现性(2012)
  11. 巴苏、萨米克;布尔坦、特夫菲克;Ouederni,Meriem:异步通信系统验证的同步能力(2012)
  12. 邓婷;怀、金鹏;Wo,Tianyu:具有正确性保证的复合服务综合的复杂性(2012)
  13. 杜尔án、 弗朗西斯科;乌德尔尼,梅里姆;萨拉ün、 Gwen:n协议兼容性检查的通用框架(2012)
  14. 菲亚迪罗,乔斯é; 洛佩斯,蚂蚁ó国家情报局;阿伯鲁,乔ão: 面向服务交互的形式化模型(2012)
  15. 李、穆;李波;淮金鹏:基于可靠性的web服务自动组合方法(2012)
  16. 波里尼,安德烈;波尔佐内蒂,安德烈;Re,Barbara:改进公共行政业务流程的正式方法(2012)
  17. 库波,哈维尔;卡纳尔,卡洛斯;Pimentel,Ernesto:基于模型的自适应系统可靠组合(2011)
  18. 市场ín、 J。A、 。;Pimentel,E.:安全适应合同(2011年)
  19. 南,元红;基尔,贤英;Lee,Dongwon:基于行为描述的web服务组合的计算复杂性(2011)
  20. 鲁希,尼玛;萨拉ün、 Gwen:chor规范的可实现性和动态重构(2011)

更多出版物请访问:http://www.cs.ucsb.edu/~su/WSAT/#出版物