Skip to Main content Skip to Navigation
New interface
Conference papers

The AXML Artifact Model

Serge Abiteboul 1 Pierre Bourhis 2 Alban Galland 2 Bogdan Marinoiu 2 
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
2 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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 [1] or discussed in [2]. To illustrate, we briefly consider the monitoring of distributed systems and the verification of temporal properties for them.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Pierre Bourhis Connect in order to contact the contributor
Submitted on : Friday, January 15, 2010 - 4:03:08 PM
Last modification on : Tuesday, October 25, 2022 - 4:20:47 PM
Long-term archiving on: : Thursday, October 18, 2012 - 12:36:24 PM


Files produced by the author(s)


  • HAL Id : inria-00447694, version 1


Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu. The AXML Artifact Model. 16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy. ⟨inria-00447694⟩



Record views


Files downloads