Web服务组合行为一致性的形式化描述和分析 |
| |
引用本文: | 李劲,张华,吴浩雄,向军.Web服务组合行为一致性的形式化描述和分析[J].计算机应用,2012,32(2):545-550. |
| |
作者姓名: | 李劲 张华 吴浩雄 向军 |
| |
作者单位: | 1. 湖北民族学院 信息工程学院,湖北 恩施 4450002. 华中师范大学 信息管理系,武汉 430079 |
| |
基金项目: | 国家自然科学基金资助项目(61040006);湖北省自然科学基金资助项目(2010CDZ027);湖北省教育厅科技项目(B20101909) |
| |
摘 要: | Web服务编排和Web服务编制从全局和局部分别定义了Web服务组合的全局交互行为和每个参与者的局部行为,为了保证Web服务组合实现的正确性,Web服务组合的全局交互行为和每个参与者的局部行为必须是一致的。首先利用进程代数给出了对Web服务组合的全局交互行为、局部行为以及二者之间的映射关系的形式化描述,在此基础上分别通过分析全局会话变迁和局部进程变迁的关系和进程互相似理论给出了Web服务组合全局交互行为和局部行为的一致性的两个形式化判定准则。同时通过案例说明了如何形式化地检测Web服务组合的全局交互行为和局部行为之间的一致性。结果显示提出的Web服务组合一致性形式化定义和检测方法能检测组合行为的一致性,从而能有效地保证Web服务组合的正确性。
|
关 键 词: | Web服务组合 一致性检查 Web服务 形式化方法 |
收稿时间: | 2011-07-13 |
修稿时间: | 2011-09-23 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|