基于体系结构的服务模型语义描述框架

摘要：

针对服务模型驱动开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上引入进程代数,为构件式服务模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架.范畴图表描述了服务架构模型的语义,类型态射蕴含了服务对象之间的依赖关系,类型函子用来刻画服务模型转换前后的映射机制.应用研究表明,该框架很好地遵循了模型驱动开发的理念实质和过程要求,为基于模型转换的服务系统开发提供了新的理解、认知学习和推进的指导架构.

关键词： 服务系统 模型驱动 软件开发 语义描述框架

作者: 侯金奎 王磊 张玉艳

作者单位: 潍坊学院计算机工程学院,山东潍坊261061;山东大学计算机科学与技术学院,山东济南250101 山东大学计算机科学与技术学院,山东济南250101 潍坊学院计算机工程学院,山东潍坊261061

会议类型: 国内会议

会议名称: 第六届中国计算机学会服务计算学术会议

会议地点: 咸宁

会议语种:中文

页码: 240-246

在线出版日期: 2015-11-07（万方平台首次上网日期，不代表论文的发表时间）