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


ZBMaX中的参考文献(36篇)1标准条款

显示结果1至20的36。
按年份排序(引文
  1. Akroun,拉赫达尔;Sala·U,格温:通过FIFO和包缓冲器进行自动机通信的自动验证(2018)
  2. 巴苏,Samik;Bultan,TEVFIK:关于异步通信系统同步能力的判定(2016)
  3. Clempner,胡里奥:经典工作流的一种分析方法——Petri网验证(2014)
  4. Sheng,Quan Z.;Maamar,扎卡里亚;姚,丽娜;绍博,克劳蒂亚;伯恩,史葛:Web服务的行为建模和自动验证(2014)伊波尔特
  5. 邓,Ting;范,文飞;Libkin,列奥尼德;吴,Yinghui:关于综合Web服务的聚合问题(2013)
  6. Fiadeiro,JoeséLuz;Lopes,Anténina:面向服务设计的接口理论(2013)
  7. 高,杨;徐,明;湛,Naijun;张,李军:连续时间马尔可夫链条件CSL模型检验(2013)
  8. 西蒙兹,乔斯林;Ben David,Shan.;CHIKIK,MARHA: Web服务应用程序的监控和恢复(2013)
  9. 巴苏,Samik;Bultan,Tevfik;欧德尼,梅里姆:异步通信系统验证的同步性(2012)
  10. 巴苏,Samik;Bultan,Tevfik;奥德尼,梅里姆:决定编排的可实现性(2012)
  11. 邓,Ting;Huai,Jinpeng;WO,天宇:具有正确保证的复合服务合成的复杂性(2012)
  12. 杜拉恩,弗朗西斯科;Ouederni,Melim;Sala u,格温:(n)-协议兼容性检查的通用框架(2012)
  13. Fiadeiro,Joes;Lopes,At.NiNa;阿夫雷乌,Joango:面向服务交互的正式模型(2012)
  14. 李,穆;李,博城;Huai,Jinpeng:Web服务的可靠性感知自动组合方法(2012)
  15. Polini,安德列;波尔佐内蒂,安德列;RE,巴巴拉:改进公共行政业务流程的正式方法(2012)
  16. Cubo,哈维尔;运河,卡洛斯;Pimtell,埃内斯托:基于模型的自适应系统的可靠组合(2011)
  17. J. A.,Pimtel.,E.:安全适应合同(2011)
  18. NAM,WangRang.;Kil,Hyunyoung;李,Dongwon:基于行为描述的Web服务组合的计算复杂性(2011)
  19. Roohi,仁摩;Sala·U,格温:CHOR规范的可实现性和动态重构(2011)
  20. van der Aalst,W. M. P.;van Hee,K. M.;T.HofSiste,A. H. M.;Sidorova,N.;维贝克,H. M. W.;Pm,m;Wyn,Y:工作流网的健全性:分类、可判定性和分析(2011)

进一步的出版物可以在:http://www. cUcS.EDU/~SU/WSAT /x出版物