An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies

Aymen Baouab 1 Olivier Perrin 1 Claude Godart 1
1 SCORE - Services and Cooperation
Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services
Abstract : In todays economy, collaborative computing grows in importance. Inter-organizational service-based processes are increasingly adopted by different companies when they cannot achieve goals on their own. As a result, conformance problems arise and it must be ensured that the integrity of processes execution remains guaranteed. In this paper, we propose new components, to be deployed along the boundaries of each participating organization, offering external flow control, and notification in case of violation detection, while providing process execution traceability. To achieve our goals, we propose an event-based approach in which inter-organizational exchanges are perceived as events. We define event patterns for filtering the desirable incoming and outgoing messages.
Type de document :
Communication dans un congrès
Hans-Arno Jacobsen and Yang Wang and Patrick Hung. The 8th International Conference on Services Computing (IEEE SCC 2011), Jul 2011, Washington, United States. IEEE, pp.640 - 647, 2011, 2011 IEEE International Conference on Services Computing - SCC. 〈10.1109/SCC.2011.55〉
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-00596454
Contributeur : Aymen Baouab <>
Soumis le : lundi 12 septembre 2011 - 13:53:57
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : lundi 5 décembre 2016 - 04:28:38

Fichier

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

Identifiants

Collections

Citation

Aymen Baouab, Olivier Perrin, Claude Godart. An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. Hans-Arno Jacobsen and Yang Wang and Patrick Hung. The 8th International Conference on Services Computing (IEEE SCC 2011), Jul 2011, Washington, United States. IEEE, pp.640 - 647, 2011, 2011 IEEE International Conference on Services Computing - SCC. 〈10.1109/SCC.2011.55〉. 〈inria-00596454〉

Partager

Métriques

Consultations de la notice

382

Téléchargements de fichiers

215