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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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 metadatas

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00447694
Contributor : Pierre Bourhis <>
Submitted on : Friday, January 15, 2010 - 4:03:08 PM
Last modification on : Thursday, February 7, 2019 - 5:29:23 PM
Long-term archiving on : Thursday, October 18, 2012 - 12:36:24 PM

File

GemoReport-10021.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00447694, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

525

Files downloads

204