DocumentCode :
2902155
Title :
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
Link To Document :
بازگشت