Modeling and Verifying Active XML Artifacts

Serge Abiteboul 1 Luc Segoufin 1 Victor Vianu 1
1 DAHU - Verification in databases
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
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. The model captures the essential features of business artifacts as described informally in the paper Nigam & Caswell 2003. We also show how to verify temporal properties for this model.
Document type :
Journal articles
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/inria-00429484
Contributor : Serge Abiteboul <>
Submitted on : Tuesday, November 3, 2009 - 10:13:05 AM
Last modification on : Thursday, February 7, 2019 - 5:29:22 PM
Long-term archiving on : Thursday, June 17, 2010 - 7:09:09 PM

File

AbiteboulSegoufinVianu09.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00429484, version 1

Collections

Citation

Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. IEEE Data Eng. Bull., IEEE, 2009. ⟨inria-00429484⟩

Share

Metrics

Record views

428

Files downloads

161