Conference Papers Year : 2011

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

Aymen Baouab
Olivier Perrin
  • Function : Author
  • PersonId : 830785
Claude Godart
  • Function : Author
  • PersonId : 830462
  • IdRef : 031091733

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.
Fichier principal
Vignette du fichier
bare_conf.pdf (3.21 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

inria-00596454 , version 1 (12-09-2011)

Identifiers

Cite

Aymen Baouab, Olivier Perrin, Claude Godart. An Event-Driven Approach for Runtime Verification of Inter-Organizational Choreographies. The 8th International Conference on Services Computing (IEEE SCC 2011), Jul 2011, Washington, United States. pp.640 - 647, ⟨10.1109/SCC.2011.55⟩. ⟨inria-00596454⟩
159 View
231 Download

Altmetric

Share

More