An Optimized Derivation of Event Queries to Monitor Choreography Violations

Aymen Baouab 1 Olivier Perrin 1 Claude Godart 1
1 SCORE - Services and Cooperation
INRIA Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The dynamic nature of the cross-organizational business processes poses various challenges to their successful execution. Choreography description languages help to reduce such complexity by providing means for describing complex systems at a higher level. However, this does not necessarily guarantee that erroneous situations cannot occur due to inappropriately specified interactions. Complex event processing can address this concern by analyzing and evaluating message exchange events, to the aim of checking if the actual behavior of the interacting entities effectively adheres to the modeled business constraints. This paper proposes a runtime event-based approach to deal with the problem of monitoring conformance of interaction sequences. Our approach allows for an automatic and optimized generation of rules. After parsing the choreography graph into a hierarchy of canonical blocks, tagging each event by its block ascendancy, an optimized set of monitoring queries is generated. We evaluate the concepts based on a scenario showing how much the number of queries can be significantly reduced.
Document type :
Conference papers
Liu, C and Ludwig, H and Toumani, F. and Yu, Q. 10th International Conference on Service Oriented Computing (ICSOC 2012 ), Nov 2012, Shanghai, China. Springer, 7636, pp.222--236, 2012, Lecture Notes in Computer Science; Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. <10.1007/978-3-642-34321-6_15>


https://hal.inria.fr/hal-00730253
Contributor : Aymen Baouab <>
Submitted on : Sunday, November 4, 2012 - 2:47:52 PM
Last modification on : Tuesday, November 6, 2012 - 4:18:07 PM

File

main.pdf
fileSource_public_author

Identifiers

Collections

Citation

Aymen Baouab, Olivier Perrin, Claude Godart. An Optimized Derivation of Event Queries to Monitor Choreography Violations. Liu, C and Ludwig, H and Toumani, F. and Yu, Q. 10th International Conference on Service Oriented Computing (ICSOC 2012 ), Nov 2012, Shanghai, China. Springer, 7636, pp.222--236, 2012, Lecture Notes in Computer Science; Service-Oriented Computing 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings. <10.1007/978-3-642-34321-6_15>. <hal-00730253v2>

Export

Share

Metrics

Consultation de
la notice

115

Téléchargement du document

58