张奎廷
- 作品数：3 被引量：0H指数：0
- 供职机构：潍坊学院计算机工程学院更多>>
- 发文基金：山东省科技发展计划项目山东省优秀中青年科学家科研奖励基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于构件的服务模型形式化语义描述
- 2013年
- 为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.
- 侯金奎王磊张奎廷
- 关键词：形式化语义
- 基于构件的服务模型形式化语义描述
- 传统的计算系统和软件系统正逐步演变为服务系统,为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志...
- 侯金奎王磊张奎廷
- 关键词：架构模型形式化语义
- 文献传递
- 基于构件的服务模型形式化语义描述
- 为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服...
- 侯金奎王磊张奎廷
- 关键词：形式化语义
- 文献传递
