塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 （英语） Zbl 1135.68005号 J.日志。代数。程序。 75，第1期，86-138（2008）. 摘要：对等系统为互联网上的数据集成提供了一个简单有效的平台，使用Web服务交换动态文档。动态文档以链接、Web服务调用或协调脚本的形式包含数据和对外部源的引用。Web服务的XML标准和工业平台为构建此类系统提供了技术基础。过程代数为研究和理解其形式属性提供了一个形式化框架。我们之前介绍了X\（d\pi\），这是一种用于推理动态Web数据的演算。它由位置组成，包含动态文档和类似于\（\pi\）的进程，这些进程相互通信、查询和更新这些文档，并迁移到其他对等方以继续执行。在这里，我们研究了X（d\pi）和Core X（d\\pi）的网络等价性，这是X（d_pi）在过程中嵌入位置结构的重新公式。利用核X（d\pi），我们研究了一个过程等价性，它规定两个过程在等价网络中具有相同的行为时是相等的。我们还探讨了域的双相似性，这意味着过程等价，并且更容易在证明中使用。我们的定义采用了一种关于高阶过程的推理技术。此外，它对网络中的位置集很敏感，这是我们以前从未见过的方法。我们使用我们的进程等价性来研究分布式查询系统中服务器使用的通信模式，并提出了一种涉及移动代码的新模式。 引用于1文件 MSC公司： 68M10个 计算机系统中的网络设计和通信 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68第05页 数据结构 关键词：动态web数据;流程编排;\（\pi\）-微积分;XML格式;web服务;半结构化数据;分布式查询模式 软件：X减少;XPi公司;MetaOCaml公司;XPath（XPath）;安全Dpi;皮杜克 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner}，J.Log。代数。程序。75，编号1，86--138（2008；Zbl 1135.68005） 全文： 内政部 参考文献： [1] 马丁·阿巴迪；Andrew D.Gordon，《加密协议演算：spi演算》，Inform。计算。，148, 1, 1-70 (1999) ·Zbl 0924.68073号 [2] 谢尔盖·阿比特布尔；彼得·布内曼（Peter Buneman）；Suciu，Dan，《网络上的数据：从关系到半结构化数据和XML》（2000），Morgan Kaufmann [3] Lucia Acciai，Michele Boreale，XPi:XML消息传递的类型化过程演算，见：Proc。FMOODS’05，2005年。；Lucia Acciai，Michele Boreale，XPi:XML消息传递的类型化过程演算，见：Proc。2005年FMOODS’05·Zbl 1146.68050号 [4] Omar Benjelloun，《主动XML：以数据为中心的Web服务视角》，巴黎十一大学博士论文，2002年。；Omar Benjelloun，《主动XML：Web服务的以数据为中心的观点》，巴黎大学博士论文，2002年。 [5] 加文·比尔曼（Gavin Bierman）、彼得·苏厄尔（Peter Sewell）、爱荷华州：一种并行XML脚本语言，用于家庭区域网络，剑桥大学技术报告5572003。；Gavin Bierman，Peter Sewell，Iota:一种并发XML脚本语言，用于家庭区域网络，剑桥大学技术报告5572003。 [6] 安吉拉·博尼法蒂；Ceri，Stefano，五种XML查询语言的比较分析，SIGMOD记录，29，1，68-91（2000） [7] Allen Brown、Cosimo Laneve、Greg Meredith和PiDuce：使用原生XML数据类型的过程演算，见：Proc。WSFM'05，LNCS，2005年。；Allen Brown、Cosimo Laneve、Greg Meredith和PiDuce：使用原生XML数据类型的过程演算，见：Proc。WSFM'05，LNCS，2005年。 [8] 马尔科·卡蓬（Marco Carbone）；Maffeis，Sergio，《论（π）-微积分中多元同步的表现力》，Nordic J.Comput。，10, 2, 70-98 (2003) ·Zbl 1062.68077号 [9] 朱塞佩·卡斯塔尼亚；De Nicola，罗科；Daniele Varacca，《pi-calculus的语义子类型》（LICS’05 Proc.（2005），IEEE Computer Society Press），92-101·Zbl 1146.68052号 [10] Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；Maffeis，Sergio，《授权政策的一种类型规范》（2005年《员工持股计划》Proc.of ESOP’05）。程序。2005年ESOP，LNCS，第3444卷（2005），Springer-Verlag），141-156·Zbl 1108.68456号 [11] Gabbay，Murdoch J.，《FM中的π演算》，（《自动化三十五年》，第28卷（2003），Kluwer学术出版社），71-123·Zbl 1063.68073号 [12] 默多克·J·加贝。；Andrew M.Pitts，《使用变量绑定实现抽象语法的新方法》，《形式方面计算》。，13, 341-363 (2002) ·Zbl 1001.68083号 [13] 菲利普·加德纳；塞尔吉奥·马费斯；Yoshida，Nobuko，《动态Web数据建模》（DBPL'03的Proc.）。程序。DBPL'03，LNCS，第2921卷（2003），Springer-Verlag），130-146·Zbl 1077.68004号 [14] 菲利普·加德纳；Sergio Maffeis，建模动态Web数据，Theoret。计算。科学。，342, 104-131 (2005) ·Zbl 1077.68004号 [15] 轩尼诗，马修；马西莫·梅罗（Massimo Merro）；Julian Rathke，《走向分布式系统中访问和移动性控制的行为理论》，Theoret。计算。科学。，322, 3, 615-669 (2004) ·Zbl 1071.68009号 [16] 轩尼诗，马修；朱利安·拉特克（Julian Rathke）；吉田，Nobuko，safeDpi：一种控制移动代码的语言（FoSSaCS 2004 Proc.）。程序。FoSSaCS 2004，LNCS，第2987卷（2004），Springer-Verlag），241-256·Zbl 1126.68501号 [17] 轩尼诗，马修；Riely，James，移动代理系统中的资源访问控制，（HLCL’98。HLCL’98，ENTCS，第16.3卷（1998年），爱思唯尔科学：爱思唯尔科学出版社），3-17·Zbl 1009.68081号 [18] 本田、Kohei；Yoshida，Nobuko，论基于约简的过程语义，Theoret。计算。科学。，151, 2, 437-486 (1995) ·Zbl 0871.68122号 [19] 细野县；Pierce，Benjamin C.，Xduce:一种静态类型的xml处理语言，ACM Trans。互联网技术。，117-148年3月2日（2003年） [20] 阿兰·杰弗里（Alan Jeffrey）；Rathke，Julian，《重新审视高阶pi-calculus的上下文等价性》，《逻辑方法计算》。科学。，1, 1:4 (2005) ·Zbl 1125.68084号 [21] Sergio Maffeis，《动态Web数据：过程代数方法》，伦敦帝国学院博士论文，2005年9月。；Sergio Maffeis，《动态Web数据：过程代数方法》，伦敦帝国学院博士论文，2005年9月·Zbl 1077.68004号 [22] 塞尔吉奥·马费斯；菲利普·加德纳（Philippa Gardner），《动态Web数据的行为等效性》（Ifip WCC-TCS’04（2004）Proc.of Ifip，Kluwer Academic Press），535-548·Zbl 1088.68555号 [23] 罗宾·米尔纳（Robin Milner），《通信与并发》（Communication and Concurrency）（1989），普伦蒂斯·霍尔公司·Zbl 0683.68008号 [24] 罗宾·米尔纳，《通信和移动系统：（π）-微积分》（1999），剑桥大学出版社·Zbl 0942.68002号 [25] 罗宾·米尔纳（Robin Milner）；约阿希姆·帕罗；Walker，David，移动进程I和II的微积分，Inform。计算。，100，1，1-40（1992），41-77·Zbl 0752.68036号 [26] 罗宾·米尔纳（Robin Milner）；Davide Sangiorgi，《弱互模拟技术》，（CONCUR’92 Proc.）。程序。CONCUR’92，LNCS，第2987卷（1992），Springer-Verlag），41-77·Zbl 1425.68298号 [27] Necula，George；Lee，Peter，Safe，使用校对码的不受信任的代理，（移动代理和安全（1998），Springer-Verlag），61-91 [28] David Neven、Thomas Schwentick、Dan Suciu，《半结构数据的基础》，Dagstuhl研讨会论文集050612005。可从以下位置获得：<http://drops.dagstuhl.de/portals/05061/>.; David Neven、Thomas Schwentick、Dan Suciu，《半结构数据的基础》，Dagstuhl研讨会论文集050612005。可从以下位置获得：<http://drops.dagstuhl.de/portals/05061/>. [29] 本杰明·C·皮尔斯。；Sangiorgi，Davide，多态性卵丘中的行为等效，（POPL'97（1997）Proc.of POPL，ACM Press），242-255·Zbl 1094.68591号 [30] Arnaud Sahuguet，ubQL:一种用于编程分布式查询系统的分布式查询语言，宾夕法尼亚大学博士论文，2002年。；Arnaud Sahuguet，ubQL:一种用于编程分布式查询系统的分布式查询语言，宾夕法尼亚大学博士论文，2002年。 [31] Arnaud Sahuguet、Benjamin Pierce、Val Tannen，《分布式查询优化：移动代理能提供帮助吗？》？未出版草稿，2000年。；Arnaud Sahuguet、Benjamin Pierce、Val Tannen，《分布式查询优化：移动代理能提供帮助吗？》？2000年未发表的草案。 [32] Arnaud Sahuguet，Val Tannen，ubql，分布式查询系统编程语言，in：Proc。webDB’01，2001年，第37-42页。；Arnaud Sahuguet，Val Tannen，ubql，分布式查询系统编程语言，in：Proc。webDB’01，2001年，第37-42页。 [33] Davide Sangiorgi，在过程代数中表达迁移：一阶和高阶范式，爱丁堡大学博士论文，1992年。；Davide Sangiorgi，在过程代数中表达迁移：一阶和高阶范式，爱丁堡大学博士论文，1992年。 [34] Sangiorgi，Davide，圆周率微积分的互模拟理论，（1993年《国际圆周率学会会刊》，施普林格出版社），127-142·Zbl 0835.68072号 [35] 戴维·桑吉奥吉；David Walker，《（π）-微积分：移动过程理论》（2001），剑桥大学出版社·Zbl 0981.68116号 [36] Serge Abiteboul等人，《主动XML引物》，INRIA Futurs，GEMO报告编号2752003。；Serge Abiteboul等人，《主动XML入门》，INRIA Futurs，GEMO报告编号2752003。 [37] 蒂姆·希尔德；西蒙·佩顿（Simon Peyton Jones），《haskell的模板元编程》（Template meta-programming for haskell），（haskell'02 Proc.（2002），ACM出版社），1-16 [38] Walid Taha，Metaocaml:一种编译的、类型安全的多阶段编程语言，2001年。可从以下位置获得：<http://www.cs.rice.edu/taha/MetaOCaml/>.; Walid Taha，Metaocaml:一种编译的、类型安全的多阶段编程语言，2001年。可从以下位置获得：<http://www.cs.rice.edu/taha/MetaOCaml/>. [39] UDDI，Web业务的通用描述、发现和集成（UDDI）3.0，2005年。可从以下位置获得：<网址：http://www.uddi.org>.; UDDI，Web业务的通用描述、发现和集成（UDDI）3.0，2005年。可从以下位置获得：<网址：http://www.uddi.org>. [40] 阿西斯·乌尼亚波特；Peter Sewell，Nomadic pict:移动计算的正确通信基础设施，（POPL'01（2001）Proc.，ACM Press），116-127·Zbl 1323.68416号 [41] W3C公司。XML路径语言（XPath）1.0版，1999年。可从以下位置获得：<http://w3.org/TR/xpath>.; W3C公司。XML路径语言（XPath）1.0版，1999年。可从以下位置获得：<http://w3.org/TR/xpath>. [42] W3C公司。可扩展标记语言（XML）1.0（第2版），2000年。可从以下位置获得：<http://www.w3.org/TR/REC-xml.html>.; W3C公司。可扩展标记语言（XML）1.0（第2版），2000年。可从以下位置获得：<http://www.w3.org/TR/REC-xml.html>. [43] W3C，Web服务描述语言（WSDL）1.1，2001。可从以下位置获得：<http://w3.org/TR/wsdl>.; W3C，Web服务描述语言（WSDL）1.1，2001。可从以下位置获得：<http://w3.org/TR/wsdl>. [44] W3C，Web服务活动，2002年。可从以下位置获得：<http://www.w3.org/2002/ws>.; W3C，Web服务活动，2002年。可从以下位置获得：<http://www.w3.org/2002/ws>. [45] W3C，简单对象访问协议（SOAP）1.2版，2003年。可从以下位置获得：<http://w3.org/TR/SOAP>.; W3C，简单对象访问协议（SOAP）1.2版，2003年。可从以下位置获得：<http://w3.org/TR/SOAP>. [46] 吉田、Nobuko；马丁·伯杰（Martin Berger）；Honda，Kohei，\（π\）演算中的强归一化，Inform。计算。，191, 2, 145-202 (2004) ·Zbl 1101.68705号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。