一种Web服务特征交互自动检测方法

• 作者: 董荣胜 谭征 骆翔宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型检测 Web服务组合 特征交互 BPEL
• 年，卷（期）: 2010,（12）
• 页码范围: 106-109,119
• 分类号: TP311
• 字数: 4710字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.12.023

摘要

模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低.为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言.在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息.实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子科技大学计算机与控制学院	115	1521	13.0	37.0
2	骆翔宇	华侨大学计算机科学与技术学院	12	73	4.0	8.0
6	谭征	桂林电子科技大学计算机与控制学院	1	8	1.0	1.0