The AXML Artifact Model

Serge Abiteboul 1 Pierre Bourhis 2 Alban Galland 2 Bogdan Marinoiu 2
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
2 GEMO - Integration of data and knowledge distributed over the web
LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
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. We argue that the model captures the essential features of business artifacts as described informally in [1] or discussed in [2]. To illustrate, we briefly consider the monitoring of distributed systems and the verification of temporal properties for them.
Type de document :
Communication dans un congrès
16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00447694
Contributeur : Pierre Bourhis <>
Soumis le : vendredi 15 janvier 2010 - 16:03:08
Dernière modification le : jeudi 5 avril 2018 - 12:30:12
Document(s) archivé(s) le : jeudi 18 octobre 2012 - 12:36:24

Fichier

GemoReport-10021.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00447694, version 1

Collections

Citation

Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu. The AXML Artifact Model. 16th International Symposium on Temporal Representation and Reasoning, Jul 2009, Brixen-Bressanone, Italy. 2009. 〈inria-00447694〉

Partager

Métriques

Consultations de la notice

510

Téléchargements de fichiers

173