计算机科学 ›› 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   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75 .
[2] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[3] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[4] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[5] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99 .
[6] 周燕萍,业巧林. 基于L1-范数距离的最小二乘对支持向量机[J]. 计算机科学, 2018, 45(4): 100 -105 .
[7] 刘博艺,唐湘滟,程杰仁. 基于多生长时期模板匹配的玉米螟识别方法[J]. 计算机科学, 2018, 45(4): 106 -111 .
[8] 耿海军,施新刚,王之梁,尹霞,尹少平. 基于有向无环图的互联网域内节能路由算法[J]. 计算机科学, 2018, 45(4): 112 -116 .
[9] 崔琼,李建华,王宏,南明莉. 基于节点修复的网络化指挥信息系统弹性分析模型[J]. 计算机科学, 2018, 45(4): 117 -121 .
[10] 王振朝,侯欢欢,连蕊. 抑制CMT中乱序程度的路径优化方案[J]. 计算机科学, 2018, 45(4): 122 -125 .