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

Meta-modeling Approach of Message Interaction in Service

作　　者：周文博[1,2] 刘洪佳 刘磊[1] 张鹏[1,2,4] 吕帅[1,2,4] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]符号计算与知识工程教育部重点实验室(吉林大学),长春130012 [3]辽阳石化公司研究院,辽阳111000 [4]吉林大学数学学院,长春130012

出　　处：《计算机科学》2017年第4期24-29,共6页Computer Science

基　　金：国家自然科学基金(61300049);教育部高等学校博士学科点专项科研基金(20120061120059);中国博士后科学基金(2011M500612);吉林省重点科技攻关项目(20130206052GX);吉林省自然科学基金项目(20150101054JC);吉林省青年科研基金(20140520069JH)资助

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]