科西莫·拉内夫;卢卡·帕多瓦尼 web服务契约的代数理论。 （英语） Zbl 1338.68016号 正式Asp。计算。 27，第4期，613-640（2015）. 引用于5文件 MSC公司： 68英里11 互联网主题 68问题55 计算理论中的语义学 关键词：web服务;BPEL公司;合同;顺从;必须进行测试;分包合同;双重合同;舞蹈编排 软件：CDuce公司;X减少;管道;皮杜克 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{L.Padovani}，正式Asp。计算。27，第4号，613--640（2015；Zbl 1338.68016） 全文： DOI程序 哈尔 参考文献： [1] Abramsky S（1990）懒惰的lambda微积分。摘自：《函数编程研究课题汇编》，Addison-Wesley，马萨诸塞州波士顿，第65-116页·Zbl 1186.68318号 [2] Aceto L，Ingolfsdottir A，Srba J（2011）《双相似性算法》。收录：Sangiorgi D，Rutten J（eds）《剑桥理论计算机科学丛书的互模拟和共聚高级主题》，第3章，第52卷。剑桥大学出版社，第100-172页·兹比尔1285.68101 [3] Alves A等人（2007）《Web服务业务流程执行语言2.0版》。http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.html [4] Banerji A、Bartolini C、Beringer D、Chopella V等人（2002）《Web服务对话语言（WSCL）1.0》。http://www.w3.org/TR/2002/NOTE-wscl10-20020314 ·Zbl 1194.68077号 [5] Barbanera F，Capecchi S，de’Liguoro U（2009）《不对称客户机-服务器交互类型》。2009年4月15日至17日，伊朗基什岛FSEN 2009，第三届IPM国际会议，软件工程基础论文集，计算机科学讲义，第5961卷。施普林格，第97-112页·Zbl 1274.68219号 [6] Benzaken V，Castagna G，Frisch A（2003）CDuce:一种以XML为中心的通用语言。SIGPLAN非38（9）：51-63·Zbl 1315.68046号 ·doi:10.1145/944746.944711 [7] Bernardi G（2013）《Web服务的行为等效性》。都柏林大学博士论文·Zbl 1079.68065号 [8] Busi N，Gabbrielli M，Zavataro G（2009）《过程计算中递归、复制和迭代的表达能力》。数学结构计算科学19（6）：1191-1222·Zbl 1191.68430号 ·doi:10.1017/S09601290999017X [9] Bernardi G，Hennessy M（2012）使用契约建模会话类型。摘自：第27届ACM应用计算年会论文集，SAC’12，ACM，纽约，第1941-1946页·兹比尔1361.68160 [10] Brookes SD、Hoare CAR、Roscoe AW（1984）《通信顺序过程理论》。美国临床医学杂志31（3）：560-599·Zbl 0628.68025号 ·数字对象标识代码：10.1145/828.833 [11] Beringer D、Kuno H、Lemon M（2001）《在UDDI注册中心1.0中使用WSCL》，UDDI最佳实践文档工作草案。http://xml.coverpages.org/HP-UDDI-wscl-5-16-01.pdf ·Zbl 1191.68430号 [12] Bravetti M、Lanese I、Zavattaro G（2009），舞蹈编导的合同驱动实施。摘自：《可信全球计算学报》，计算机科学课堂讲稿，第5474卷。施普林格，第1-18页 [13] Bugliesi M、Macedonio D、Pino L、Rossi S（2009）《web服务合规性预订单》。收录于：WS-FM会议录，计算机科学课堂讲稿，第6194卷。施普林格，第76-91页 [14] Boreale M，Sangiorgi D（1998）在无匹配的情况下通过名字的结石中的相互模拟。摘自：《计算机科学中的逻辑学报》，1998年。第十三届IEEE年度研讨会，第165-175页·Zbl 1315.68046号 [15] Bravetti M，Zavattaro G（2007）《走向舞蹈一致性和合同一致性的统一理论》。《2007年SC会议录》，LNCS，第4829卷。施普林格，第34-50页 [16] Bravetti M，Zavattaro G（2008）《多方服务组合合同的基础理论》。Fundam通知89（4）：451-478·Zbl 1154.68336号 [17] Bravetti M，Zavattaro G（2009）基于合同的web服务发现和组合。收录于：SFM’09会议录，计算机科学课堂讲稿，第5569卷。施普林格，第261-295页 [18] Bravetti M，Zavattaro G（2009）《服务强合规性合同理论》。数学结构计算科学19:601-638·Zbl 1186.68318号 ·doi:10.1017/S096012909007658 [19] Carpineti S，Castagna G，Laneve C，Padovani L（2006）web服务合同的正式说明。收录于：《WS-FM会议录》，第三届web服务和形式方法国际研讨会，LNCS，第4184卷。施普林格，第148-162页 [20] Christensen E、Curbera F、Meredith G、Weerawarana S（2001）Web服务描述语言（WSDL）1.1。http://www.w3.org/TR/2001/NOTE-wsdl-20010315 [21] Castagna G、Gesbert N、Padovani L（2009）《web服务合同理论》。ACM Trans程序语言系统31（5）：19·Zbl 1295.68080号 ·doi:10.145/1538917.1538920 [22] Carbone M、Honda K、Yoshida N（2007）《web服务以结构化通信为中心的编程》。摘自：第16届欧洲编程研讨会论文集（ESOP’07），LNCS 4421。施普林格，第2-17页·Zbl 1187.68064号 [23] Carpineti S，Laneve C，Padovani L（2009）PiDuce：一个试验web服务技术的项目。科学计算程序74（10）：777-811·Zbl 1194.68077号 ·doi:10.1016/j.scico.2009.03.002 [24] Di Cosmo R（1995）类型同构：从Lambda演算到信息检索和语言设计。巴塞尔Birkhauser。国际标准图书编号-0-8176-3763-X·Zbl 0819.03006号 [25] Castagna G，Padovani L（2009）《移动流程合同》。收录于：第20届并发理论国际会议论文集（CONCUR’09），LNCS，第5710卷。施普林格，第211-228页·Zbl 1254.68163号 [26] Cleaveland R，Parrow J，Steffen B（1993）并发工作台：用于验证并发系统的基于语义的工具。ACM Trans程序语言系统15（1）：36-72·数字对象标识代码：10.1145/151646.151648 [27] Chaki S、Rajamani SK、Rehof J（2002）《类型作为模型：模型检查消息传递程序》。SIGPLAN非37（1）：45-57·Zbl 1323.68365号 ·电话：10.1145/565816.503278 [28] De Nicola R，Hennessy M（1984）《工艺等效性测试》。计算机科学理论34:83-133·Zbl 0985.68518号 ·doi:10.1016/0304-3975（84）90113-0 [29] De Nicola R，Hennessy M（1987）《无τ的CCS》。摘自：TAPSOFT’87/CAAP’87，LNCS 249的会议记录。施普林格，第138-152页·Zbl 0614.68025号 [30] Fornet C，Laneve C（2001）《联合演算中的双模拟》。计算机科学理论266（1-2）：569-603·Zbl 0989.68098号 ·doi:10.1016/S0304-3975（00）00283-8 [31] Gay S，Hole M（2005）π演算中会话类型的子类型。信息学报42（2-3）：191-225·兹比尔1079.68065 ·doi:10.1007/s00236-005-0177-z [32] Hennessy M（1988）过程代数理论：计算的基础。麻省理工学院出版社·Zbl 0744.68047号 [33] Honda K（1993）二元交互类型。收录：1993年CONCUR会议记录，LNCS 715。施普林格，pp 509-523·Zbl 0939.68642号 [34] Hosoya H，Pierce BC（2003）XDouce:一种静态类型的XML处理语言。ACM Trans互联网技术3（2）：117-148·doi:10.1145/767193.767195 [35] Honda K，Vasconcelos VT，Kubo M（1998）结构化通信编程的语言原语和类型规程。收录：1998年《员工持股计划》，LNCS 1381。纽约州施普林格，第122-138页 [36] Honda K、Yoshida N、Carbone M（2008）多方异步会话类型。载于：《持久性有机污染物公约》2008年会议记录。ACM，第273-284页·Zbl 1295.68150号 [37] Igarashi A，Kobayashi N（2001）pi-calculus的通用类型系统。摘自：《2001年POPL会议录》，ACM，第128-141页·Zbl 1323.68410号 [38] Kavantzas N，Burdett D，Ritzinger G，Fletcher T，Lafon Y，Barreto C（2005）Web服务编排描述语言1.0。http://www.w3.org/TR/2005/CR-ws-cdl-10-20051109/ [39] Laneve C，Padovani L（2007）《必须重新审视的预订单：网络服务契约的代数理论》。收录：2007年CONCUR会议记录，LNCS 4703。施普林格，第212-225页·Zbl 1151.68319号 [40] Laneve C，Padovani L（2008）合同和会话类型的配对。收录于：《并发、图形和模型学报》，计算机科学课堂讲稿，第5065卷。纽约州施普林格，第681-700页·Zbl 1143.68330号 [41] Laneve C，Padovani L（2013）网络服务契约的代数理论。摘自：第十届综合形式方法国际会议记录，LNCS，第7940卷。纽约州施普林格，第301-315页·Zbl 1338.68016号 [42] Milner R（1982）通信系统微积分。施普林格·Zbl 0452.68027号 [43] Milner R（1989）通信与并发。新泽西州上鞍河普伦蒂斯·霍尔·Zbl 0683.68008号 [44] Nielson HR，Nielson F（1994）有限通信拓扑的高阶并发程序（扩展抽象）。载于：《持久性有机污染物公约》第94卷。纽约ACM出版社，第84-97页·Zbl 1191.68430号 [45] Ouyang C、Verbeek E、van der Aalst WMP、Breutel S、Dumas M、ter Hofstede AHM（2007）《ws-bpel中控制流的形式语义和分析》。科学计算程序67（2-3）：162-198·Zbl 1122.68073号 [46] Padovani L（2008）《简单编配器的契约导向合成》。摘自：第19届并发理论国际会议论文集（CONCUR’08），LNCS，第5201卷。纽约州施普林格，第131-146页·Zbl 1160.68320号 [47] Padovani L（2009）《基于合同的web服务发现和适应》，LNCS，第5569卷。纽约州施普林格，第213-260页·Zbl 1323.68365号 [48] Padovani L（2010）基于契约的web服务模块简单编排器发现。计算机科学理论411:3328-3347·兹比尔1209.68038 ·doi:10.1016/j.tcs.2010.05.002 [49] Padovani L（2013）开放式会话类型的公平子类型。摘自：第40届国际自动机、语言和编程学术研讨会论文集，第二部分，LNCS，第7966卷。纽约州施普林格，第373-384页·Zbl 1334.68155号 [50] Padovani L（2014）多方会议类型的公平分型。数学结构计算科学，第1-41页·兹比尔1361.68172 [51] Pitts AM，Stark IDB（1993）动态创建局部名称的高阶函数的可观测特性，或有什么新特性？摘自：第18届计算机科学数学基础国际研讨会论文集，计算机科学课堂讲稿，第711卷。纽约州施普林格，第122-141页 [52] Rittri M（1993）通过统一类型模线性同构检索库函数。In:RAIRO理论信息学与应用学报27（6）：523-540·Zbl 0809.68063号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。