Modeling and Verifying Active XML Artifacts - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Bulletin of the Technical Committee on Data Engineering Année : 2009

Modeling and Verifying Active XML Artifacts

Serge Abiteboul
Luc Segoufin

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00429484 , version 1

Citer

Serge Abiteboul, Luc Segoufin, Victor Vianu. Modeling and Verifying Active XML Artifacts. Bulletin of the Technical Committee on Data Engineering, 2009. ⟨inria-00429484⟩
296 Consultations
191 Téléchargements

Partager

Gmail Facebook X LinkedIn More