Web服务组合行为一致性的形式化描述和分析

• 作者: 向军 吴浩雄 张华 李劲
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Web服务组合 一致性检查 Web服务 形式化方法
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 计算机软件技术
• 页码范围: 545-550
• 分类号: TP311.5
• 字数: 7884字
• 语种: 中文
• DOI: 10.3724/SP.J.1087.2012.00545

摘要

Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的.首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则.同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性.结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李劲	湖北民族学院信息工程学院	37	219	8.0	13.0
3	向军	湖北民族学院信息工程学院	30	126	6.0	10.0
4	张华	湖北民族学院信息工程学院	21	143	6.0	11.0
7	吴浩雄	湖北民族学院信息工程学院	3	70	3.0	3.0