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的表达式操作。


数学参考文献,1标准件)

显示结果1到20,共37个。
按年份排序(引用)
  1. Francis Atampore;Juergen Dingel;Rudie,Karen:自动化服务组合的控制器综合框架(2019)
  2. Akroun,Lakhdar;Salaün,Gwen:自动验证通过FIFO和行李缓冲区通信的自动机(2018年)
  3. Basu,Samik;Bultan,Tevfik:关于决定异步通信系统的同步能力(2016)
  4. Clempner,Julio:一种分析方法,用于验证经典可靠性的标准工作流/Petri网验证(2014)
  5. Sheng,Quan Z.;Maamar,Zakaria;Yao,Lina;Szabo,Claudia;Bourne,Scott:web服务的行为建模和自动验证(2014)ioport公司
  6. 邓婷;范文飞;利布金,列奥尼德;吴英辉:关于综合网络服务的聚合问题(2013)
  7. Fiadeiro,JoséLuiz;Lopes,Antónia:面向服务设计的接口理论(2013)
  8. 高,杨;徐明;詹乃军;张立军:连续时间马尔可夫链的模型检验条件CSL(2013)
  9. Simmonds,Jocelyn;Ben David,Shoham;Chechik,Marsha:web服务应用程序的监视和恢复(2013)
  10. Basu,Samik;Bultan,Tevfik;Ouederni,Meriem:决定编排的可实现性(2012)
  11. Basu,Samik;Bultan,Tevfik;Ouederni,Meriem:异步通信系统验证的同步能力(2012)
  12. 邓婷;怀,金鹏;沃,天宇:具有正确性保证的复合服务综合的复杂性(2012)
  13. Durán,Francisco;Ouederni,Meriem;Salaün,Gwen:协议兼容性检查的通用框架(2012)
  14. Fiadeiro,José;Lopes,Antonia;Abreu,João:面向服务交互的正式模型(2012)
  15. Li,Mu;Li,Bo;Huai,Jinpeng:面向web服务的可靠性感知自动组合方法(2012)
  16. Polini,Andrea;Polzonetti,Andrea;Re,Barbara:改进公共行政业务流程的正式方法(2012年)
  17. Carlos Sto自适应系统;Javentel-based systems公司2011年版
  18. Martín,J.A.;Pimentel,E.:安全适应合同(2011年)
  19. Nam,Wonhong;Kil,Hyunyoung;Lee,Dongwon:基于行为描述的web服务组合的计算复杂性(2011)
  20. Roohi,Nima;Salaün,Gwen:chor规范的可实现性和动态重构(2011)

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