一种服务消息交互行为的元建模方法

摘要：

为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性.

关键词： 服务交互 工作流模型 消息接口 形式语义

作者: 周文博 张鹏 刘磊

作者单位: 吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室(吉林大学) 长春130012;吉林大学数学学院 长春 130012 吉林大学计算机科学与技术学院 长春130012

会议类型: 国内会议

会议名称: 第十四届全国软件与应用学术会议

会议地点: 武汉

会议语种:中文

页码: 1-8

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