×
菲利普·加德纳;塞尔吉奥·马菲斯

动态web数据建模。 （英语） Zbl 1077.68004号

西奥。计算。科学。 342，第1期，104-131（2005）.
摘要：我们介绍了X（d\pi）演算，这是一种用于对动态web数据进行推理的对等模型。Web数据不仅仅是静态存储的。相反，它是间接引用的，例如使用超链接、服务调用或脚本动态访问数据，这需要站点之间复杂的数据和进程协调。X演算通过将XML数据结构与与分布式演算相关的流程编排技术集成在一起，对这种协调进行建模。我们研究X（d\pi）的行为等效性，以分析数据和过程交互的各种可能模式。

引用于1审查
引用于10文件

理学硕士：

68M10个 计算机系统中的网络设计和通信

关键词：

动态web数据;流程编排;\（\pi\）-微积分;XML格式;Web服务;半结构化数据

软件：

XPath（XPath）;皮克特;乔坎尔
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}和\textit{S.Maffeis}，Theor。计算。科学。342，编号1，104--131（2005；Zbl 1077.68004）
全文： 内政部 链接

参考文献：

[1] S.Abiteboul、O.Benjelloun、T.Milo、I.Manolescu、R.Weber，《主动XML：以数据为中心的Web服务视角》，Verso报告第213期，2002年。；S.Abiteboul，O.Benjelloun，T.Milo，I.Manolescu，R.Weber，《主动XML：Web服务的以数据为中心的视角》，Verso报告第2132002号。
[2] S.Abiteboul、A.Bonifati、G.Cobena、I.Manolescu、T.Milo，《带有分发和复制的动态XML文档》，摘自：Proc。ACM-SIGMOD，2003年。；S.Abiteboul、A.Bonifati、G.Cobena、I.Manolescu、T.Milo，《带有分发和复制的动态XML文档》，摘自：Proc。ACM SIGMOD，2003年。
[3] S.Abiteboul，P.Buneman，D.Suciu，《网络数据：从关系到半结构化数据和XML》，摩根·考夫曼，2000年。；S.Abiteboul，P.Buneman，D.Suciu，《网络数据：从关系到半结构化数据和XML》，摩根·考夫曼，2000年。
[4] S.Abiteboul等人，《主动XML引物》，INRIA Futurs，GEMO报告编号2752003。；S.Abiteboul等人，《主动XML引物》，INRIA Futurs，GEMO报告编号2752003。
[5] A.Ahern，《网络数据更新语言》，硕士论文，伦敦帝国理工学院，2003年。；A.Ahern，《网络数据更新语言》，硕士论文，伦敦帝国理工学院，2003年。
[6] M.Berger、K.Honda、N.Yoshida，《线性和互模拟》，摘自：Proc。FoSSaCS’02，《计算机科学讲义》，柏林斯普林格，2002年，第290-301页；M.Berger、K.Honda、N.Yoshida，《线性和互模拟》，摘自：Proc。FoSSaCS’02，《计算机科学讲义》，柏林斯普林格，2002年，第290-301页·兹比尔1077.68719
[7] G.Bierman，P.Sewell，Iota:一种并发XML脚本语言，用于家庭区域网络，剑桥大学技术报告UCAM-CL-TR-557，2003年1月。；G.Bierman，P.Sewell，Iota:一种并发XML脚本语言，用于家庭区域网络，剑桥大学技术报告UCAM-CL-TR-5572003年1月。
[8] R.Braumandl、M.Keidl、A.Kemper、D.Kossmann、A.Kreutz、S.Seltzsam、K.Stocker，《ObjectGlobe:互联网上的无处不在的查询处理》，《VLDB期刊》10（1）（2001）48-71。；R.Braumandl、M.Keidl、A.Kemper、D.Kossmann、A.Kreutz、S.Seltzsam、K.Stocker，《ObjectGlobe:互联网上的无处不在的查询处理》，《VLDB期刊》10（1）（2001）48-71·Zbl 0972.68745号
[9] C.Calcagno，P.Gardner，U.Zarfaty，上下文逻辑和树更新，POPL'05会议录，2005年ACM出版社，第271-282页。；C.Calcagno，P.Gardner，U.Zarfaty，上下文逻辑和树更新，《2005年POPL会议录》，2005年ACM出版社，第271-282页·Zbl 1369.68132号
[10] Carbone，M。；Maffeis，S.，《论（pi）-演算中多进制同步的表现力》，《北欧计算机杂志》。，10, 2, 70-98 (2003) ·Zbl 1062.68077号
[11] L.Cardelli，G.Ghelli，基于环境逻辑的查询语言，in：Proc。ESOP’01，《计算机科学讲义》，第2028卷，施普林格，柏林，2001年，第1-22页。；L.Cardelli，G.Ghelli，基于环境逻辑的查询语言，in：Proc。ESOP’01，《计算机科学讲义》，第2028卷，施普林格，柏林，2001年，第1-22页·Zbl 0977.68028号
[12] S.Conchon，F.Le Fessant，Jocaml：Objective-Caml的移动代理，in：Proc。ASA'99/MA'99，美国加利福尼亚州棕榈泉，1999年。；S.Conchon，F.Le Fessant，Jocaml：Objective-Caml的移动代理，in：Proc。ASA'99/MA'99，美国加利福尼亚州棕榈泉，1999年。
[13] 达米亚尼，E。；De Capitani di Vimercati，S。；Paraboschi，S。；Samarati，P.，一个用于xml文档的细粒度访问控制系统，ACM Trans。信息系统。安全。，5, 2, 169-202 (2002)
[14] 费雷拉，W。；轩尼诗，M。；Jeffrey，A.，核心cml弱互模拟理论，J.函数程序。，8, 5, 447-491 (1998) ·Zbl 0916.68093号
[15] P.Gardner、C.Laneve、L.Wischik，《线性货运代理》，摘自：Proc。CONCUR 2003，《计算机科学讲义》，第2761卷，施普林格，柏林，2003年，第415-430页。；P.Gardner、C.Laneve、L.Wischik，《线性货运代理》，摘自：Proc。CONCUR 2003，《计算机科学讲义》，第2761卷，施普林格，柏林，2003年，第415-430页·Zbl 1274.68233号
[16] P.Gardner，S.Maffeis，动态Web数据建模，Proc。2004年，塔林，Appsem’04。；P.Gardner，S.Maffeis，《动态Web数据建模》，Proc。2004年，塔林，Appsem’04·Zbl 1088.68555号
[17] 加德纳，P。；Maffeis，S.，《动态Web数据建模》（Lausen，G.；Suciu，D.，DBPL'03的Proc.，计算机科学讲稿，第2921卷（2003年9月），Springer:Springer Berlin）·Zbl 1077.68004号
[18] P.Gardner，S.Maffeis，《动态Web数据建模》，伦敦帝国理工学院技术报告，2003年10月。；P.Gardner，S.Maffeis，《动态Web数据建模》，伦敦帝国理工学院技术报告，2003年10月。
[19] J.Godskesen，T.Hildebrandt，V.Sassone，《移动资源演算》，摘自：Proc。CONCUR’02，计算机科学讲稿，柏林斯普林格，2002。；J.Godskesen，T.Hildebrandt，V.Sassone，《移动资源演算》，摘自：Proc。CONCUR’02，计算机科学讲稿，柏林斯普林格，2002年·Zbl 1012.68519号
[20] A.Gordon，R.Pucella，通过键入in:Proc验证web服务安全抽象。2002年ACM XML安全研讨会，2002年，第18-29页。；A.Gordon，R.Pucella，通过键入in:Proc验证web服务安全抽象。2002年ACM XML安全研讨会，2002年，第18-29页·Zbl 1080.68523号
[21] 轩尼诗，M。；Riely，J.，移动代理系统中的资源访问控制，Inf.Compute。，173，182-120（2002年）·Zbl 1009.68081号
[22] K.Honda，M.Tokoro，异步通信的对象演算，in：Proc。ECOOP，《计算机科学讲义》，第512卷，施普林格，柏林，海德堡，纽约，东京，1991年，第133-147页。；K.Honda，M.Tokoro，异步通信的对象演算，in：Proc。ECOOP，《计算机科学讲义》，第512卷，施普林格，柏林，海德堡，纽约，东京，1991年，第133-147页。
[23] 本田，K。；Yoshida，N.，《基于简化的过程语义》，Theor。计算。科学。，151, 2, 437-486 (1995) ·Zbl 0871.68122号
[24] A.Jeffrey，J.Rathke，《重新审视高阶pi-calculus的上下文等价性》，计算机科学报告04/2002，苏塞克斯大学，2002年。；A.Jeffrey，J.Rathke，《重新审视高阶pi-calculus的上下文等价性》，计算机科学报告04/2002，苏塞克斯大学，2002年·Zbl 1337.68185号
[25] A.Kemper，C.Wiesner，《超查询：互联网上的动态分布式查询处理》，摘自：Proc。VLDB’012001年，第551-560页。；A.Kemper，C.Wiesner，《超查询：互联网上的动态分布式查询处理》，摘自：Proc。VLDB'012001，第551-560页。
[26] S.Maffeis，P.Gardner，《动态Web数据的行为等效性》，摘自：Proc。Ifip TCS’04，Kluwier，2004年8月，长版草案可从\（\sim；\）获得；S.Maffeis，P.Gardner，《动态Web数据的行为等效性》，摘自：Proc。Ifip TCS’04，Kluwier，2004年8月，长版草案可从\（\sim；\）获得·Zbl 1088.68555号
[27] 万维网联盟，XML路径语言（XPath）1.0版，在线阅读；万维网联盟，XML Path Language（XPath）1.0版，在线阅读
[28] R.Milner，J.Parrow，D.Walker，移动进程演算，I和II，Inform。计算。100 (1) (1992) 1-40,41-77.; R.Milner，J.Parrow，D.Walker，移动进程演算，I和II，Inform。计算。100 (1) (1992) 1-40,41-77. ·Zbl 0752.68037号
[29] B.C.Pierce，D.N.Turner，《Pict:基于pi-calculus的编程语言》，摘自：《证明、语言和交互：罗宾·米尔纳的论文》，麻省理工学院出版社，马萨诸塞州剑桥，2000年。；B.C.Pierce，D.N.Turner，《Pict:一种基于pi-calculus的编程语言》，摘自：《证明、语言和交互：罗宾·米尔纳的论文》，麻省理工学院出版社，马萨诸塞州剑桥，2000年·Zbl 0968.68018号
[30] A.Sahuguet，ubQL:一种用于编程分布式查询系统的分布式查询语言，宾夕法尼亚大学博士论文，2002年。；A.Sahuguet，ubQL:一种用于编程分布式查询系统的分布式查询语言，宾夕法尼亚大学博士论文，2002年。
[31] A.Sahuguet，B.Pierce，V.Tannen，《分布式查询优化：移动代理能帮上忙吗？》？未出版草稿。；A.Sahuguet，B.Pierce，V.Tannen，《分布式查询优化：移动代理能帮上忙吗？》？未发布的草稿。
[32] A.Sahuguet，V.Tannen，《通过查询过程迁移实现资源共享》，宾夕法尼亚大学技术报告MS-CIS-01-1020001。；A.Sahuguet，V.Tannen，通过查询进程迁移实现资源共享，宾夕法尼亚大学技术报告MS-CIS-01-102001。
[33] D.Sangiorgi，《在过程代数中表达迁移：一阶和高阶范式》，爱丁堡大学博士论文，1992年。；D.Sangiorgi，《过程代数中的迁移率表达：一阶和高阶范式》，博士论文，爱丁堡大学，1992年。
[34] D.Sangiorgi，R.Milner，《弱互模拟技术》（Techniques of weak bismulation to），《Proc。CONCUR’92，《计算机科学讲义》，第630卷，施普林格，柏林，1992年。；D.Sangiorgi，R.Milner，《弱互模拟技术》（Techniques of weak bismulation to），《Proc。CONCUR’92，《计算机科学讲义》，第630卷，施普林格，柏林，1992年。
[35] Sangiorgi，D。；Walker，D.，《（pi）演算：移动过程理论》（2001），剑桥大学出版社：剑桥大学出版社·Zbl 0981.68116号
[36] 汤姆森，B.，《高阶通信系统理论》，Inf.Compute。，116, 1, 38-57 (1995) ·Zbl 0823.68061号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。