×

协议兼容性检查的通用框架。 (英语) Zbl 1245.68028号

概要:面向服务的计算促进了从现有服务开发新系统,这些服务通常通过其公共接口访问。在这种情况下,接口必须兼容,以避免互操作性问题。在本文中,我们提出了一个新的框架来检查服务接口的兼容性。我们的框架是通用的,因为它实现了对不同应用领域有用的几个兼容性概念,并且可以扩展,因为可以很容易地合并新的概念。我们考虑一个服务接口模型,该模型将行为描述与值传递和不可观察的动作结合起来。我们的兼容性检查框架已经完全实现为一个原型工具,它依赖于基于重写逻辑的系统Maude。

MSC公司:

68米14 分布式系统
68号01 软件理论的一般主题
68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Aldini,A。;Bernardo,M.:《进程代数的可用性:体系结构观点》,《理论计算机科学》335,第2–3期,281-329页(2005年)·Zbl 1080.68071号 ·doi:10.1016/j.tcs.2004.10.043
[2] 阿伊特·巴希尔,A。;杜马,M。;Fauvet,M.C.:BESERIAL:行为服务接口分析仪,Lncs 5240,374-377(2008)
[3] 阿提奥贝,C。;安德烈,P。;Ardourel,G.:检查组件可组合性,Lncs 4089,8-33(2006)
[4] 布胡拉,A。;Jouannaud,J.P。;Meseguer,J.:《隶属关系方程逻辑中的规范和证明》,《理论计算机科学》236,第1期,35-132页(2000年)·Zbl 0938.68057号 ·doi:10.1016/S0304-3975(99)00206-6
[5] 波尔多,L。;Salaün,G。;Berardi,D。;Mecella,M.:两个web服务何时兼容?,Lncs 3324,15-28(2004)
[6] 品牌,D。;Zafiropulo,P.:《通信有限状态机》,《ACM杂志》30,第2期,第323-342页(1983年)·兹比尔0512.68039 ·数字对象标识代码:10.1145/322374.32280
[7] Cámara,J。;马丁,J.A。;Salaün,G。;库博,J。;Ouederni,M。;运河,C。;Pimentel,E.:ITACA:web服务自动组合和调整的集成工具箱,627-630(2009)
[8] 运河,C。;皮门特尔,E。;Troya,J.M.:《软件架构中的兼容性和继承》,《计算机编程科学》41,第2期,105-138(2001)·Zbl 0988.68026号 ·doi:10.1016/S0167-6423(01)00002-8
[9] Chae,H.S。;Lee,J.S。;Bae,J.H.:《检查web服务之间行为兼容性的方法》,《国际软件工程与知识工程杂志》18,第2期,223-241(2008)
[10] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Quesada,J.:Maude:重写逻辑中的规范和编程,《理论计算机科学》285187-243(2002)·Zbl 1001.68059号 ·doi:10.1016/S0304-3975(01)00359-0
[11] Clavel,M。;杜兰,F。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅塞盖尔,J。;Talcott,C.:关于maude的一切——一个高性能逻辑框架:如何在重写逻辑中指定、编程和验证系统,Lncs 4350(2007)·Zbl 1115.68046号
[12] Cortellessa,V。;Potena,P.:软件服务组合中基于路径的错误传播分析,Lncs 4829,97-112(2007)
[13] 库博,J。;Salaün,G。;运河,C。;皮门特尔,E。;Poizat,P.:基于模型的WF/验证和调整方法。NET组件,Entcs 21539-55(2008)
[14] De Alfaro,L。;Henzinger,T.:接口自动机,Proc。ESEC/FSE’01,109-120(2001)
[15] 邓,S.G。;Wu,Z。;周,M。;李毅。;Wu,J.:《使用pi-calculus为舞蹈编导建模服务兼容性》,Lncs 4215,26-39(2006)
[16] 杜兰,F。;Ouederni,M。;Salaün,G.:使用maude检查协议兼容性,Entcs 255,65-81(2009)·兹比尔1364.68282
[17] Frantzen,L。;Tretman,J。;Willemse,T.:基于模型测试的符号框架,Lncs 4262,40-54(2006)
[18] Foster,H。;乌奇特尔,S。;Kramer,J.:LTSA-WS:基于模型的web服务组合和编排验证工具,771-774(2006)
[19] Fu,X。;布尔坦,T。;Su,J.:交互BPEL web服务分析,Proc。WWW’04第621-630页(2004年)
[20] Fu,X。;布尔坦,T。;Su,J.:web服务之间对话的同步性,软件工程中的IEEE事务31,第12期,1042-1055(2005)
[21] Garavel,H.公司。;Mateescu,R。;朗·F。;Serwe,W.:CADP 2006:分布式过程构建和分析的工具箱,Lncs 4590,158-163(2007)·Zbl 1316.68074号
[22] J.F.Groote、A.H.J.Mathijssen、M.A.Reniers、Y.S.Usenko、M.J.van Weerdenburg,形式规范语言mCRL2,收录于:E.Brinksma、D.Harel、A.Mader、P.Stevens和R.Wieringa(编辑),《软件系统建模方法》(MMOSS),Dagstuhl研讨会论文集,2007年·Zbl 1171.68400号
[23] Hameurlain,N.:组件协议的灵活行为兼容性和可替代性:正式规范,Proc。SEFM 2007年第391-400页(2007年)
[24] 轩尼诗,M。;Lin,H.:《符号互模拟》,《理论计算机科学》138,第2期,353-389(1995)·Zbl 0874.68187号 ·doi:10.1016/0304-3975(94)00172-F
[25] Ingolfsdottir,A。;Lin,H.:价值传递过程的符号方法,427-478(2001)·Zbl 1027.68092号
[26] 曼宁,C.D。;Schütze,H.:统计自然语言处理基础(1999)·Zbl 0951.68158号
[27] Martens,A.:关于web服务的兼容性,Petri网时事通讯65,12-20(2003)
[28] Martens,A。;Moser,S。;Gerhardt,A。;Funk,K.:BPEL流程兼容性分析,147-156(2006)
[29] 马汀,J.A。;Pimentel,E.:适应合同的自动生成,Entcs 229,115-131(2009)·兹比尔1347.68090
[30] Mateescu,R。;Poizat,P。;Salaün,G.:使用进程代数和实时简化技术调整服务协议,Lncs 5364,84-99(2008)
[31] Meseguer,J.:作为并发统一模型的条件重写逻辑,理论计算机科学96,第1期,73-155(1992)·Zbl 0758.68043号 ·doi:10.1016/0304-3975(92)90182-F
[32] Meseguer,J.:成员代数作为方程规范的逻辑框架,Lncs 1376,18-61(1998)·Zbl 0903.08009号
[33] Milner,R.:通信系统微积分,(1980)·Zbl 0452.68027号
[34] 米尔纳,R。;帕罗,J。;Walker,D.:《移动过程的模态逻辑》,《理论计算机科学》114,第1期,149-171页(1993)·Zbl 0778.68033号 ·doi:10.1016/0304-3975(93)90156-N
[35] M.Ouederni,Maude兼容性检查器,网址:网址:http://www.lcc.uma.es/meriem/tools.html。
[36] 佩德森,T。;Patwardhan,S。;Michelizzi,J.:Wordnet::相似性——衡量概念的相关性,1024-1025(2004)
[37] 普莱西尔,F。;Visnovsky,S.:软件组件的行为协议,软件工程中的IEEE事务28,第11期,1056-1076(2002)
[38] Poizat,P。;Royer,J.C.:基于符号转换系统和时序逻辑的正式架构描述语言,《UCS杂志》12,第12期,1741-1782(2006)
[39] Ramadge,P.J.G。;Wonham,W.M.:离散事件系统的控制,IEEE 77会议录,第1期,81-98(1989)
[40] Salaün,G。;波尔多,L。;Schaerf,M.:使用过程代数描述和推理web服务,BPIM国际期刊1,第2期,116-128(2006)
[41] Shi,Y。;张,L。;刘,F。;林,L。;Shi,B.:web服务的兼容性分析,Proc。第页,共483-486页(2005年)
[42] Yellin,D.M。;Strom,R.E.:协议规范和组件适配器,关于编程语言和系统的ACM事务19,第2期,292-333(1997)
[43] Wong,P.Y.H。;Gibbons,J.:验证业务流程兼容性,Proc。QSIC’08,126-131(2008)
[44] Wonham,W.M。;Ramadge,P.J.:关于给定语言的上可控子语言,SIAM控制与优化杂志25,第3期,637-659(1987)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。