基于构件的服务模型形式化语义描述 |
| |
引用本文: | 侯金奎,王磊,张奎廷.基于构件的服务模型形式化语义描述[J].华中科技大学学报(自然科学版),2013(Z2):1-5. |
| |
作者姓名: | 侯金奎 王磊 张奎廷 |
| |
作者单位: | 潍坊学院计算机工程学院 |
| |
基金项目: | 山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039);山东省科技发展计划资助项目(2011YD01042,2011YD01043) |
| |
摘 要: | 为解决服务系统描述和构建过程中服务的组合和验证等方面的问题,以范畴理论为基础,引入进程代数,为服务系统的架构模型提出了一种形式化的语义描述方法.整个服务结构模型通过由服务标志和标志态射构成的范畴图表来描述,态射用来表示服务规范之间的关系,余极限用来描述服务的层次组合.以此为基础,进一步从服务端口、结构和行为等方面对服务的组合、分解以及精化过程所中应保持的语义特性进行了分析.实例研究表明:该框架不仅能在抽象层次上支持服务系统的建模和分析,而且还可通过映射抽象模型到实现技术来支持服务组合,可以很好地分析需求分解和服务组合的正确性,可用于指导服务系统的描述和构建.
|
关 键 词: | 服务系统 服务组合 形式化语义 体系架构模型 范畴理论 |
本文献已被 CNKI 等数据库收录! |
|