Modeling and Verifying Active XML Artifacts - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Bulletin of the Technical Committee on Data Engineering Year : 2009

Modeling and Verifying Active XML Artifacts

Serge Abiteboul
Luc Segoufin

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.
Fichier principal
Vignette du fichier
AbiteboulSegoufinVianu09.pdf (181.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00429484 , version 1 (03-11-2009)

Identifiers

  • HAL Id : inria-00429484 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More