计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 24-29.doi: 10.11896/j.issn.1002-137X.2017.04.006

• NASAC 2015 • 上一篇    下一篇

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

周文博,刘洪佳,刘磊,张鹏,吕帅   

  1. 吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012,辽阳石化公司研究院 辽阳111000,吉林大学计算机科学与技术学院 长春130012,吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012;吉林大学数学学院 长春130012,吉林大学计算机科学与技术学院 长春130012;符号计算与知识工程教育部重点实验室吉林大学 长春130012;吉林大学数学学院 长春130012
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受国家自然科学基金(61300049),教育部高等学校博士学科点专项科研基金(20120061120059),中国博士后科学基金(2011M500612),吉林省重点科技攻关项目(20130206052GX),吉林省自然科学基金项目(20150101054JC),吉林省青年科研基金(20140520069JH)资助

Meta-modeling Approach of Message Interaction in Service

ZHOU Wen-bo, LIU Hong-jia, LIU Lei, ZHANG Peng and LV Shuai   

  • Online:2018-11-13 Published:2018-11-13

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

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

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.

Key words: Service interaction,Meta-modeling,Workflow model,Message interface,Formal semantic

[1] TSAI W T,BAI X Y,HUANG Y.Software-as-a-service (SaaS):perspectives and challenges[J].Science China Information Scien-ces,2014,57(5):1-15.
[2] BROY M,KRGER I H,MEISINGER M.A formal model of services[J].ACM Transactions on Software Engineering and Methodology,2007,16(1):5.
[3] RICCOBENE E,SCANDURRA P.A formal framework for se-rvice modeling and prototyping[J].Formal Aspects of Computing,2014,26(6):1077-1113.
[5] CHEN S Z,FENG Z Y,WANG H.Service Relations and itsApplication in Services-oriented Computing[J].Chinese Journal of Computers,2010,33(11):2068-2083.(in Chinese) 陈世展,冯志勇,王辉.服务关系及其在面向服务计算中的应用[J].计算机学报,2010,33(11):2068-2083.
[6] WANG Z J,XU F,XU X F.Service network planning method for mass personalized functional requirements[J].Journal of Software,2014,25(6):1180-1195.(in Chinese) 王忠杰,徐飞,徐晓飞.支持大规模个性化功能需求的服务网络构建[J].软件学报,2014,25(6):1180-1195.
[7] PAPAZOGLOU M,GEORGAKOPOULOS D.Introduction to a special issue on service oriented computing[J].Communication of ACM,2003,46(10):25-28.
[8] SINGH M P,HUHNS M N.Service-oriented Computing:Se-mantics,Processes,Agents[M].John Wiley & Sons,2006.
[9] ORLOWSKA M E,WEERAWARNA S,PAPAZOGLOU M P,et al.Service-oriented Computing[C]∥First International Conference Service-oriented Computing,Trento,Italy(ICSOC 2003).Preface,LNCS 2910,2003.
[10] ZHANG C,DUAN Z H,TIAN C,et al.Modeling Verificationand Test of Interactive Behaviors in Distributed Software Systems[J].Journal of Computer Research and Development,2015,52(7):1604-1619.(in Chinese) 张琛,段振华,田聪,等.分布式软件系统交互行为建模,验证与测试[J].计算机研究与发展,2015,52(7):1604-1619.
[11] SROKA J,HODDERS J,MISSIER P,et al.A formal semantics for the Taverna 2 workflow model[J].Journal of Computer and System Sciences,2010,76(6):490-508.
[12] ZHANG L J.EIC editorial:Introduction to the body of know-ledge areas of services computing[J].IEEE Transactions on Services Computing,2008,1(2):62-74.

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!