文章基本信息

标题：Modeling and Verifying Active XML Artifacts
本地全文：下载
作者：Serge Abiteboul ; Luc Segoufin ; Victor Vianu 等
期刊名称：Bulletin of the Technical Committee on Data Engineering
出版年度：2009
卷号：32
期号：03
出版社：IEEE Computer Society
摘要：Shared evolving data is central to an increasing range of human activities. In response to the need for comput- erized support of such activities, the notion of business artifact has been proposed at IBM as a model of such evolving data [1]. The model captures both the ﬂow of control (workﬂow) of the application and the evolution of the relevant data (data cycle); see [2] for a brief survey. In the same spirit, we propose a new artifact model building upon Active XML (AXML for short), an extension of XML with embedded service calls [3]. The services are hosted by autonomous peers that evolve and interact by exchanging XML data. We claim that this can provide the foundation for an appealing artifact model, combining the advantages of semistructured data and of the Web service paradigm. With the model in place, we consider the veriﬁcation of data-intensive ap- plications, which is particularly critical for such systems due to their vulnerability to costly bugs. Despite the expressiveness of the model, we show that veriﬁcation remains possible under reasonable restrictions.