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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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.
Type de document :
Article dans une revue
IEEE Data Eng. Bull., IEEE, 2009
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00429484
Contributeur : Serge Abiteboul <>
Soumis le : mardi 3 novembre 2009 - 10:13:05
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : jeudi 17 juin 2010 - 19:09:09

Fichier

AbiteboulSegoufinVianu09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

402

Téléchargements de fichiers

140