期刊名称：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 flow of control (workflow) 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 verification 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 verification remains possible under reasonable restrictions.
