WSAT公司UCSB标志。                                       

Web服务分析工具

一般说明

入门(工具演示)

  1. 安装说明
  2. 运行样本

源代码下载

工具文档

出版物

  1. [ICWS'04]十、 Fu,T.Bultan和J.Su。具有消息内容的会话协议的可实现性, 2004年第二届网络服务国际会议
  2. [ISSTA'04年]十、 Fu,T.Bultan和J.Su。模型检查XML操作软件,国际软件测试研讨会
  3. [04年4月]十、 Fu,T.Bultan和J.Su。WSAT:Web服务形式化分析工具,2004年7月16日国际计算机辅助验证会议(工具纸)
  4. [SIGMOD'04]R、 赫尔和苏。组合Web服务的设计工具,ACM SIGMOD 国际数据管理会议,2004年6月(教程 摘要)。旋转音符
  5. [WWW'04]十、 Fu,T.Bultan和J.Su。交互式bpelweb服务分析,第十三届国际万维网会议(WWW),2004年5月
  6. [UCSB-CS-TECH-REPORT-2004-10]向福,奥斯卡·H·伊巴拉,苏建文,特夫菲克·布尔坦。基于消息的Web服务行为模型:表现力
  7. [REOS'03]向福,布尔坦,苏建文。一种自顶向下的Web服务全局行为建模方法,2003年9月10日,加州蒙特勒伊系统开放研讨会
  8. [03年]向福,布尔坦,苏建文。会话协议:反应式电子服务规范和验证的形式主义,程序。第八届自动化技术实施与应用国际会议(CIAA'03),LNCS 2759,第188-200页,斯普林格,圣巴巴拉,2003年7月. 邀请期刊版(.pdf格式)
  9. [WWW'03]特夫菲克·布尔坦、向福、理查德·赫尔和苏建文。会话规范:电子服务组合设计与分析的新途径,程序。第十二届国际万维网会议(WWW2003),ACM 1-58113-680-3/03/0005,第403-410页。匈牙利布达佩塞特,2003年5月


(上次更新时间:2004年7月9日)