计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 24-29.doi: 10.11896/j.issn.1002-137X.2017.04.006
周文博,刘洪佳,刘磊,张鹏,吕帅
ZHOU Wen-bo, LIU Hong-jia, LIU Lei, ZHANG Peng and LV Shuai
摘要: 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法。基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法。采用推理规则和递归函数刻画消息传递的语义,讨论了服务交互时各种环境的变化情况。实例分析表明,该方法可以规范服务接口模式,有效地对消息的交互情景进行建模,进而保障服务建模的可靠性。
[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,KRGER 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! |
|