×

面向服务设计的接口理论。 (英语) Zbl 1360.68631号

摘要:我们提出了一个接口和组件代数,通过它,我们描述了支持面向服务设计的基本结构,这些结构独立于为语言或分析工具提供模型所采用的特定形式。我们将服务视为可以叠加在组件基础设施上的接口机制,有时也称为“服务覆盖”。组件代数由通过通信通道异步交互的进程网络组成。服务接口为潜在客户机提供属性,并需要外部服务的属性,这些属性在运行时可能需要被发现并绑定到服务的编排。我们定义了异步关系网编排服务接口的含义,并证明了一些与两个代数的操作相关的组合结果。本文的主要结果之一是描述了一个子类异步关系网的特征,在这个子类上,我们可以保证,当通过其接口绑定客户端和供应商服务时,这两个服务的编排组合是一致的,即两个服务可以作为互联服务一起工作。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

WSAT公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Abreu,J。;Bocchi,L。;Fiadeiro,J.L。;Lopes,A.,《为面向服务的系统建模指定和构建交互协议》(Derrick,J.;Vain,J.,FORTE.FORTE,LNCS,第4574卷(2007),Springer),358-373
[2] Alpern,B。;Schneider,F.B.,《定义活力,信息》。过程。莱特。,21, 4, 181-185 (1985) ·Zbl 0575.68030号
[3] Alpern,B。;Schneider,F.B.,《认识安全和活力》,《分布式计算》。,2, 3, 117-126 (1987) ·Zbl 0641.68039号
[4] 阿鲁尔(Alur,R.)。;Etessami,K。;托雷,S.L。;Peled,D.,“模型测量”的参数时序逻辑,ACM Trans。计算。日志。,2, 3, 388-407 (2001) ·Zbl 1171.68544号
[5] 阿鲁尔(Alur,R.)。;Henzinger,T.A.,《实时逻辑和模型:一项调查》,(de Bakker,J.W.;Huizing,C.;de Roever,W.P.;Rozenberg,G.,REX Workshop,REX研讨会,LNCS,第600卷(1991),Springer),74-106
[6] 拜尔,C。;Katoen,J.-P.,《模型检验原理》(2008),麻省理工学院出版社
[7] 贝纳塔拉,B。;卡萨蒂,F。;Toumani,F.,表示、分析和管理web服务协议,数据与知识工程,58,3,327-357(2006)
[10] Bocchi,L。;Fiadeiro,J.L。;Lopes,A.,面向服务的汽车系统建模,(COMPSAC(2008),IEEE计算机学会),1059-1064
[11] Bocchi,L。;Fiadeiro,J.L。;Lopes,A.,正式面向服务建模的使用驱动方法,(Margaria,T.;Steffen,B.,ISoLA.ISoLA,Commun.Comput.Inf.Sci.,vol.17(2008),Springer),155-169
[12] Boreale,M.,SCC:以服务为中心的微积分(Bravetti,M.;Nüñez,M.),Zavataro,G.,WS-FM.WS-FM,LNCS,第4184卷(2006),Springer),38-57
[13] 品牌,D。;Zafiropulo,P.,《通信有限状态机》,J.ACM,30,2,323-342(1983)·Zbl 0512.68039号
[14] 布拉维蒂,M。;Zavattaro,G.,《多方服务组合合同的基础理论》,基金。通知。,89, 4, 451-478 (2008) ·Zbl 1154.68336号
[15] 布尔坦,T。;Fu,X。;船体,R。;Su,J.,对话规范:电子服务组合设计和分析的新方法,(WWW(2003)),403-410
[16] Carbone,M。;本田,K。;Yoshida,N.,《web服务的结构化通信中心编程》(De Nicola,R.,ESOP.ESOP,LNCS,vol.4421(2007),Springer),2-17·Zbl 1187.68064号
[17] 卡斯塔尼亚,G。;Gesbert,北。;Padovani,L.,网络服务合同理论,ACM Trans。程序。语言系统。,31, 5 (2009)
[18] de Alfaro,L。;Henzinger,T.A.,基于组件设计的界面理论,(Henzinger,T.A;Kirsch,C.M.,EMSOFT,EMSOFT,LNCS,第2211卷(2001),Springer),148-165·兹比尔1050.68518
[19] Delahaye,B。;Fiadeiro,J.L。;Legay,A。;Lopes,A.,《服务的时间组件代数》,(Beyer,D.;Boreale,M.,FMOODS/FORTE。FMOODS/WORTE,LNCS,第7892卷(2013),Springer),242-257
[20] 丹尼·卢,P.-M。;Yoshida,N.,多方会话类型满足通信自动机,(Seidl,H.,ESOP.ESOP,LNCS,vol.7211(2012),Springer),194-213·Zbl 1352.68182号
[21] Elfatatry,A.,《应对变化:组件与服务》,Commun。ACM,50,8,35-39(2007)
[22] (Ellis,A.;Hagino,T.,《第十四届万维网国际会议论文集》,第十四届国际万维网会议论文集,WWW 2005,日本千叶,2005年5月10日至14日(2005),ACM)
[23] Fiadeiro,J.L.,软件工程分类(2004),施普林格
[24] Fiadeiro,J.L.,《软件的社会复杂性设计》,计算机,40,1,34-39(2007)
[25] Fiadeiro,J.L。;Lopes,A.,面向服务架构中的动态重新配置模型,(Babar,M.A.;Gorton,I.,ECSA.ECSA,LNCS,vol.6285(2010),Springer),70-85
[26] Fiadeiro,J.L。;Lopes,A.,面向服务设计的接口理论,(Giannakopoulou,D.;Orejas,F.,FASE.FASE,LNCS,第6603卷(2011),Springer),18-33
[27] Fiadeiro,J.L。;Lopes,A.,《服务构成的一致性》(de Lara,J.;Zisman,A.,FASE.FASE,LNCS,第7212卷(2012),Springer),63-77
[28] Fiadeiro,J.L。;Lopes,A.,面向服务架构中的动态重新配置模型,软件与系统建模,1-19(2012)
[29] Fiadeiro,J.L。;Lopes,A。;Abreu,J.,面向服务交互的正式模型,科学。计算。编程,77,5,577-608(2012)·Zbl 1243.68138号
[30] Fiadeiro,J.L。;Lopes,A。;Bocchi,L.,服务组件模块的代数语义,(Fiadeiro,J.L.;Schobbens,P.-Y.,WADT.WADT,LNCS,vol.4409(2006),Springer),37-55
[31] Fiadeiro,J.L。;Lopes,A。;Bocchi,L.,服务发现和绑定的抽象模型,Form.Asp。计算。,23, 4, 433-463 (2011)
[33] Fu,X。;布尔坦,T。;Su,J.,《交互式BPEL web服务分析》(Feldman,S.I.;Uretsky,M.;Najork,M.);Wills,C.E.,WWW(2004),ACM),621-630
[34] Fu,X。;布尔坦,T。;Su,J.,《对话协议:反应式电子服务规范和验证的形式主义》,Theoret。计算。科学。,328,1-2,19-37(2004年)·Zbl 1071.68002号
[35] Goguen,J.A。;Burstall,R.M.,机构:规范和编程的抽象模型理论,美国计算机学会,39,195-146(1992)·Zbl 0799.68134号
[36] Gouda,M.G.,《封闭封面:验证有限状态机通信进度》,IEEE Trans。柔和。工程师,10,6,846-855(1984)·Zbl 0547.68060号
[37] Gouda,M.G。;曼宁,E.G。;Yu,Y.-T.,关于两个有限状态机之间通信的进展,Inf.Control,63,3,200-216(1984)·Zbl 0591.68057号
[38] 卡扎米亚金,R。;皮斯托尔,M。;Santuari,L.,《web服务组合中的通信模型分析》,(Carr,L.;Roure,D.D.;Iyengar,A.;Goble,C.A.;Dahlin,M.,WWW(2006),ACM),267-276
[39] Koymans,R.,用度量时态逻辑指定实时属性,实时系统。,2, 4, 255-299 (1990)
[40] 库普夫曼,O。;北卡罗来纳州皮特曼。;瓦尔迪,M.Y.,《从活泼到敏捷》,《形式与方法系统》。设计。,第34页,第2页,第83-103页(2009年)·Zbl 1192.68416号
[41] Lynch,N.A.,分布式算法(1996),Morgan Kaufmann·Zbl 0877.68061号
[42] 北卡罗来纳州林奇。;Tuttle,M.R.,分布式算法的层次正确性证明,(Schneider,F.B.,PODC(1987),ACM),137-151
[43] Manna,Z。;Pnueli,A.,《反应式和并发系统的时间逻辑——规范》(1992),施普林格出版社
[44] Martens,A.,《面向过程的商业伙伴发现》(Chen,C.-S.;Filipe,J.;Seruca,I.;Cordeiro,J.,ICEIS(3)(2005)),第57-64页
[45] Misra,J。;Chandy,K.M.,《过程网络的证明》,IEEE Trans。柔和。工程师,7,4,417-426(1981)·Zbl 0468.68030号
[46] OASIS WSBPEL TC,Web服务业务流程执行语言,2.0版(2007),OASIS,技术报告
[47] OSOA,《服务组件体系结构:使用面向服务的体系结构构建系统》(2005),白皮书可从
[48] Ouaknine,J。;Worrell,J.,《安全度量时序逻辑是完全可判定的》(Hermanns,H.;Palsberg,J.、TACAS、TACAS、LNCS,第3920卷(2006),Springer),411-425·Zbl 1180.03020号
[49] Reisig,W.,《迈向服务理论》,(Kaschek,R.;Kop,C.;Steinberger,C.;Fliedl,G.,UNICON.UNICON,LNBIP,第5卷(2008),Springer),271-281
[50] 索兰基,M。;考伊,A。;Zedan,H.,《web服务描述中的组合性介绍》(FTDCS(2004),IEEE计算机学会),14-20
[51] 苏,J。;布尔坦,T。;Fu,X。;Zhao,X.,《走向web服务编排理论》(Dumas,M.;Heckel,R.,WS-FM.WS-FM,LNCS,第4937卷(2007),Springer),1-16
[52] 瓦尔迪,M.Y。;Wolper,P.,《自动程序验证的自动机理论方法》(LICS(1986),IEEE计算机学会),332-344
[53] 瓦尔迪,M.Y。;Wolper,P.,《关于无限计算的推理》,Inform。和计算。,115, 1, 1-37 (1994) ·Zbl 0827.03009
[54] (Wirsing,M.;Hölzl,M.M.,面向服务计算的严格软件工程,面向服务的严格软件工程学,LNCS,第6582卷(2011),Springer)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。