Behavioural equivalences for dynamic Web data
Behavioural equivalences for dynamic Web data
复制标题
动态 Web 数据的行为等效性
DOI：
10.1016/j.jlap.2007.06.004
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Maffeis S
中科院分区：
文献类型：
--
作者：
Maffeis S
对等系统通过使用Web服务交换动态文档，为Internet上的数据集成提供了一个简单而有效的平台。动态文档以链接、Web服务调用或协调脚本的形式包含数据和对外部源的引用。Web服务的XML标准和行业平台为构建此类系统提供了技术基础。进程代数为研究和理解它们的形式性质提供了一个形式框架。我们之前已经介绍了XDπ，这是一种用于推理动态网络数据的演算。它由位置组成，包含动态文档和类似π的进程，这些进程相互通信、查询和更新这些文档，并迁移到其他对等点以继续执行。在这里，我们研究了XDπ和核心XDπ的网络等价性，XDπ是在进程中嵌入位置结构的XDπ的重新公式。利用核心XDπ，我们研究了一个进程等价性，即如果两个进程在等价网络中具有相同的行为，则它们是相等的。我们还探讨了域互相似性，它意味着过程等价，更容易在证明中使用。我们的定义采用了一种关于高阶π过程的推理技术。此外，它对网络中存在的位置集非常敏感，这是我们以前从未见过的方法。我们利用我们的进程等价性来研究分布式查询系统中服务器使用的通信模式，并提出了一种涉及移动代码的新模式。
Peer-to-peer systems provide a simple and effective platform for data integration on the Internet, exchanging dynamic documents using Web services. Dynamic documents contain both data and references to external sources in the form of links, calls to Web services, or coordination scripts. XML standards and industrial platforms for Web services provide a technological basis for building such systems. Process algebras provide a formal framework for studying and understanding their formal properties. We have previously introduced Xdπ, a calculus for reasoning about dynamic Web data. It consists of locations, containing dynamic documents and π-like processes which communicate with each other, query and update these documents, and migrate to other peers to continue execution. Here, we study network equivalences for Xdπ and Core Xdπ, a reformulation of Xdπ which embeds the location structure in the processes. Using Core Xdπ, we study a process equivalence stipulating that two processes are equal if they have the same behaviour in equivalent networks. We also explore domain bisimilarity, which implies process equivalence and is easier to use in proofs. Our definition adapts a technique for reasoning about higher-order π-processes. In addition, it is sensitive to the set of locations present in the network, an approach we have not seen before. We use our process equivalence to study communication patterns used by servers in distributed query systems, and propose a new pattern involving mobile code.
登录
查看更多内容
动态Web数据：过程代数方法
DOI：
--
发表时间：
2006
期刊：
影响因子：
--
作者：
S. Maffeis
通讯作者：
S. Maffeis
通过查询进程迁移实现资源共享
DOI：
--
发表时间：
2001
期刊：
影响因子：
--
作者：
Arnaud Sahuguet;V. Tannen
通讯作者：
V. Tannen
ObjectGlobe：互联网上无处不在的查询处理
DOI：
--
发表时间：
2001
期刊：
The VLDB journal
影响因子：
--
作者：
R. Braumandl;M. Keidl;A. Kemper;Donald Kossmann;A. Kreutz;S. Seltzsam;K. Stocker
通讯作者：
K. Stocker
分布式系统中访问和移动控制的行为理论
影响因子：
1.1
作者：
M. Hennessy;Massimo Merro;J. Rathke
通讯作者：
J. Rathke
Ubql：一种用于对分布式查询系统进行编程的分布式查询语言
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
Arnaud Sahuguet;V. Tannen
通讯作者：
V. Tannen