| 支持Web服务组合与验证的形式化模型 |
| |
| 引用本文： | 侯金奎,王磊. 支持Web服务组合与验证的形式化模型[J]. 计算机应用, 2015, 35(6): 1773-1779. DOI: 10.11772/j.issn.1001-9081.2015.06.1773 |
| |
| 作者姓名： | 侯金奎 王磊 |
| |
| 作者单位： | 潍坊学院 计算机工程学院, 山东 潍坊 261061 |
| |
| 基金项目： | 山东省科技发展计划项目，山东省优秀中青年科学家科研奖励基金资助项目，山东省高等学校优秀中青年骨干教师国际合作培养计划项目 |
| |
| 摘 要： | 针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。
|
| 关 键 词： | Web服务 服务组合 形式化模型 范畴理论 进程代数 |
| 收稿时间： | 2015-01-12 |
| 修稿时间： | 2015-04-03 |
Formal model supporting Web service composition and verification |
| |
| HOU Jinkui,WANG Lei. Formal model supporting Web service composition and verification[J]. Journal of Computer Applications, 2015, 35(6): 1773-1779. DOI: 10.11772/j.issn.1001-9081.2015.06.1773 |
| |
| Authors: | HOU Jinkui WANG Lei |
| |
| Affiliation: | School of Computer Engineering, Weifang University, Weifang Shandong 261061, China |
| |
| Abstract: | |
| |
| Keywords: | Web service service composition formal model category theory process algebra |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
