Collaborative data-driven workflows: think global, act local

Serge Abiteboul 1, 2 Victor Vianu 3
2 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 : We introduce and study a model of collaborative data-driven workflows. In a local-as-view style, each peer has a partial view of a global instance that remains purely virtual. Local updates have side effects on other peers' data, defined via the global instance. We also assume that the peers provide (an abstraction of) their specifications, so that each peer can actually see and reason on the specification of the entire system. We study the ability of a peer to carry out runtime reasoning about the global run of the system, and in particular about actions of other peers, based on its own local observations. A main contribution is to show that, under a reasonable restriction (namely, key-visibility), one can construct a finite symbolic representation of the infinite set of global runs consistent with given local observations. Using the symbolic representation, we show that we can evaluate in pspace a large class of properties over global runs, expressed in an extension of first-order logic with past linear-time temporal operators, PLTL-FO. We also provide a variant of the algorithm allowing to incrementally monitor a statically defined property, and then develop an extension allowing to monitor an infinite class of properties sharing the same temporal structure, defined dynamically as the run unfolds. Finally, we consider an extension of the language, augmeting work-flow control with PLTL-FO formulas. We prove that this does not increase the power of the workflow specification language, thereby showing that the language is closed under such introspective reasoning.
Type de document :
Communication dans un congrès
Proceedings of the 32nd symposium on Principles of database systems, Jun 2013, New York, NY, USA, United States. ACM, pp.91--102, 2013, 〈10.1145/2463664.2463672〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00840306
Contributeur : Serge Abiteboul <>
Soumis le : mardi 2 juillet 2013 - 11:19:52
Dernière modification le : jeudi 9 février 2017 - 15:47:59
Document(s) archivé(s) le : mercredi 5 avril 2017 - 05:55:34

Fichier

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

Identifiants

Collections

Citation

Serge Abiteboul, Victor Vianu. Collaborative data-driven workflows: think global, act local. Proceedings of the 32nd symposium on Principles of database systems, Jun 2013, New York, NY, USA, United States. ACM, pp.91--102, 2013, 〈10.1145/2463664.2463672〉. 〈hal-00840306〉

Partager

Métriques

Consultations de
la notice

461

Téléchargements du document

226