| 基于ZING的Web服务建模与验证 |
| |
| 引用本文： | 陆晶晶,骆翔宇. 基于ZING的Web服务建模与验证[J]. 桂林电子科技大学学报, 2011, 31(3): 202-207 |
| |
| 作者姓名： | 陆晶晶 骆翔宇 |
| |
| 作者单位： | 陆晶晶,Lu Jingjing(桂林电子科技大学,计算机科学与工程学院,广西,桂林,541004);骆翔宇,Luo Xiangyu(华侨大学,计算机科学与技术学院,福建,厦门,361021) |
| |
| 摘 要： | 为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZI...
|
| 关 键 词： | Web服务 BPEL4WS I/OLTS 软件模型检测 |
Modeling and verification for Web services based on ZING |
| |
| Lu Jingjing,Luo Xiangyu. Modeling and verification for Web services based on ZING[J]. Journal of Guilin University of Electronic Technology, 2011, 31(3): 202-207 |
| |
| Authors: | Lu Jingjing Luo Xiangyu |
| |
| Affiliation: | Lu Jingjing1,Luo Xiangyu2(1.School of Computer Science and Engineering,Guilin University of Electronic Technology,Guilin 541004,China,2.College of Computer Science and Technology,Huaqiao University,Xiamen 361021,China) |
| |
| Abstract: | To verify the correctness and reliability of Web services and improve the automation in the process validation of Web services,the input/output labeled transition system(I/OLTS) as an intermediate formal model that was suitable to Business Process Execution Language for Web Services(BPEL4WS) structure model was proposed,and an algorithm was designed to transform BPEL into I/OLTS,which would be further transformed into the input language of the software model checking tool ZING,such that the correctness and ... |
| |
| Keywords: | BPEL4WS I/OLTS |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
