基于ZING的Web服务建模与验证

摘要：

为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZING对Web服务的正确性进行验证.通过该建模和转换算法,可有效提高Web服务流程验证的自动化程度,简化转化过程中复杂繁琐的人工编码操作.

关键词：Web服务、BPEL4WS、I/OLTS、软件模型检测

所属期刊栏目：31

分类号：TP393.09(计算技术、计算机技术)

资助基金：国家自然科学基金60763004

在线出版日期：2011-09-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：202-207