Dynamic Web data : a process algebraic approach
Dynamic Web data : a process algebraic approach
复制标题
动态Web数据：过程代数方法
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
S. Maffeis
中科院分区：
文献类型：
--
作者：
S. Maffeis
对等系统通过Web服务交换动态文档，是一种简单而有效的网络数据集成平台。动态文档既可以包含数据，也可以包含对外部源的引用，引用的形式包括链接、对Web服务的调用或协调脚本。XML标准和Web服务的工业平台为构建这样的系统提供了技术基础。我们认为，进程代数是一个很有前途的工具，研究和理解其形式属性。在这篇论文中，我们定义了Xdπ-演算，目的是对动态Web数据进行推理。Xdπ术语表示对等点的网络，每个对等点由一个XML数据存储库和一个允许进程运行的工作空间组成。受π演算的启发，进程可以相互通信，查询和更新本地存储库，或者迁移到其他对等点继续执行。数据可以包含脚本化的进程，这些进程可以由其他进程执行。例如，Xdπ进程可以用于在文档中嵌入服务调用和对Web服务建模。我们研究Xdπ的行为等价性，比较几个可观察的属性，如数据树的形状和进程尝试的通信动作。为了简化等价性的推理，我们引入了Core Xdπ，这是一种在语义上等价于Xdπ的演算，但是其中的进程被显式地定位并且与数据存储库分离。为了帮助证明等价性，这需要一个昂贵的属性关闭上下文下，我们定义了一个共归纳关系（称为域双相似性），它不量化的上下文，这需要过程等价。它的定义是非标准的，因为脚本是值的一部分，并且过程等效对构成网络的位置集敏感。我们应用双相似性来研究分布式查询系统中服务器使用的一些通信模式，并提出了一种新的模式，涉及移动的代码。这篇论文的写作完全是我自己的。本文中提出的Xdπ模型和行为等价性是与我的导师Philippa Gardner合作完成的早期工作中提出的模型的修订和扩展版本。行为等价的技术发展主要是我自己的。Core Xdπ的设计灵感来自与Marco Carbone合作完成的多元同步工作。
Peer to peer systems, exchanging dynamic documents through Web services, are a simple and effective platform for data integration on the internet. Dynamic documents can 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 the technological basis for building such systems. We argue that process algebras are a promising tool for studying and understanding their formal properties. In this thesis, we define the Xdπ-calculus with the aim of reasoning about dynamic Web data. Xdπ terms represent networks of peers, each consisting of an XML data repository and a working space where processes are allowed to run. Processes, inspired by the π-calculus, can communicate with each other, query and update the local repository, or migrate to other peers to continue execution. Data can contain scripted processes, which can be executed by other processes. For example, Xdπ processes can be used to embed service calls in documents and to model Web services. We investigate behavioural equivalences for Xdπ, comparing several observable properties, such as the shape of data trees and the communication actions attempted by processes. To simplify reasoning on equivalences, we introduce Core Xdπ, a calculus which is semantically equivalent to Xdπ, but where processes are located explicitly and are separated from the data repository. To help proving equivalences, which require a costly property of closure under contexts, we define a coinductive relation (called domain bisimilarity) which does not quantify over contexts and which entails process equivalence. Its definition is non-standard, because scripts are part of the values, and process equivalences are sensitive to the set of locations constituting the network. We apply bisimilarity to study some communication patterns used by servers in distributed query systems, and we propose a new pattern involving mobile code. Declaration about conjoint work The composition of the thesis is entirely my own. The Xdπ model and the behavioural equivalences as presented in this thesis, are a revised and extended version of the ones presented in earlier work done in collaboration with my supervisor Philippa Gardner. The technical development of the behavioural equivalences is mostly my own. The design of Core Xdπ is inspired by previous work on polyadic synchronization done in collaboration with Marco Carbone.
动态 Web 数据的行为等效性
DOI：
10.1016/j.jlap.2007.06.004
发表时间：
2008
期刊：
The Journal of Logic and Algebraic Programming
影响因子：
--
作者：
Maffeis S
通讯作者：
Maffeis S