10.3969/j.issn.1673-808X.2011.03.008
基于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