基于构件的服务模型形式化语义描述

• 作者: 侯金奎 张奎廷 王磊
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 服务系统 服务组合 形式化语义 体系架构模型 范畴理论
• 年，卷（期）: 2013,（z2）
• 页码范围: 1-5
• 分类号: TP311
• 语种: 中文

摘要

为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王磊	潍坊学院计算机工程学院	15	35	4.0	4.0
2	侯金奎	潍坊学院计算机工程学院	21	116	4.0	10.0
3	张奎廷	潍坊学院计算机工程学院	1	0	0.0	0.0