Skip to Main content Skip to Navigation
Journal articles

Modeling and Verifying Active XML Artifacts

Serge Abiteboul 1 Luc Segoufin 1 Victor Vianu 1
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
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 metadata

Cited literature [22 references]  Display  Hide  Download
Contributor : Serge Abiteboul Connect in order to contact the contributor
Submitted on : Tuesday, November 3, 2009 - 10:13:05 AM
Last modification on : Thursday, April 7, 2022 - 3:09:02 AM
Long-term archiving on: : Thursday, June 17, 2010 - 7:09:09 PM


Files produced by the author(s)


  • HAL Id : inria-00429484, version 1


Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. Bulletin of the Technical Committee on Data Engineering, IEEE Computer Society, 2009. ⟨inria-00429484⟩



Record views


Files downloads