The AXML Artifact Model

Author

Abiteboul, Serge ; Bourhis, Pierre ; Galland, Alban ; Marinoiu, Bogdan

Author_Institution

INRIA Saclay & LRI, Univ. Paris Sud, Orsay, France

fYear

2009

fDate

23-25 July 2009

Firstpage

11

Lastpage

17

Abstract

Towards a data-centric workflow approach, we introduce an artifact model to capture data and workflow management activities in distributed settings. The model is built on Active XML, i.e., XML trees including Web service calls. We argue that the model captures the essential features of business artifacts as described informally in [A. Nigam and N. Caswell (2003)] or discussed in [R. Hull (2008)]. To illustrate, we briefly consider the monitoring of distributed systems and the verification of temporal properties for them.

Keywords

Web services; XML; commerce; formal verification; system monitoring; trees (mathematics); workflow management software; AXML artifact model; Active XML; Web service calls; XML trees; business artifacts; data capture; data-centric workflow approach; distributed systems monitoring; temporal properties verification; workflow management activities; Control systems; Database systems; History; Humans; Logic; Manufacturing systems; Monitoring; Spatial databases; Web services; XML; XML; artifact; database; documents; workflow;

fLanguage

English

Publisher

ieee

Conference_Titel

Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium on

Conference_Location

Bressanone-Brixen

ISSN

1530-1311

Print_ISBN

978-0-7695-3727-6

Type

conf

DOI

10.1109/TIME.2009.9

Filename

5368565