| 一种服务消息交互行为的元建模方法 |
| |
| 引用本文： | 周文博,刘洪佳,刘磊,张鹏,吕帅. 一种服务消息交互行为的元建模方法[J]. 计算机科学, 2017, 44(4): 24-29 |
| |
| 作者姓名： | 周文博 刘洪佳 刘磊 张鹏 吕帅 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012,辽阳石化公司研究院 辽阳111000,吉林大学计算机科学与技术学院 长春130012,吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012;吉林大学数学学院 长春130012,吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012;吉林大学数学学院 长春130012 |
| |
| 基金项目： | 本文受国家自然科学基金(61300049),教育部高等学校博士学科点专项科研基金(20120061120059),中国博士后科学基金(2011M500612),吉林省重点科技攻关项目(20130206052GX),吉林省自然科学基金项目(20150101054JC),吉林省青年科研基金(20140520069JH)资助 |
| |
| 摘 要： | 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
|
| 关 键 词： | 服务交互 元建模 工作流模型 消息接口 形式语义 |
| 收稿时间： | 2015-11-30 |
| 修稿时间： | 2016-02-27 |
Meta-modeling Approach of Message Interaction in Service |
| |
| ZHOU Wen-bo,LIU Hong-ji,LIU Lei,ZHANG Peng and LV Shuai. Meta-modeling Approach of Message Interaction in Service[J]. Computer Science, 2017, 44(4): 24-29 |
| |
| Authors: | ZHOU Wen-bo LIU Hong-ji LIU Lei ZHANG Peng LV Shuai |
| |
| Abstract: | To improve the normalization of message interfaces and the correctness of interactive behaviors in service,a meta-modeling approach of service message interaction was proposed.Firstly,workflow model is utilized to model ser-vice.Then by analyzing the message operation pattern,a method about interface representing and compatibility checking is given.Finally,inference rules and recursive functions are used to describe the semantics of message transmission,and the change of environments is discussed at the same time.Case analysis shows that the proposed method can normalize service interface patterns,model message interaction situation effectively,and ensure the reliability of service modeling. |
| |
| Keywords: | Service interaction Meta-modeling Workflow model Message interface Formal semantic |
|
|
点击此处可从《计算机科学》下载全文 |
|
