An Optimized Derivation of Event Queries to Monitor Choreography Violations

  • Aymen Baouab
  • Olivier Perrin
  • Claude Godart
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7636)


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.


web-service choreography cross-organizational processes event processing business activity monitoring 


  1. 1.
    Grefen, P.: Towards dynamic interorganizational business process management. In: Enabling Technologies: Infrastructure for Collaborative Enterprises (2006)Google Scholar
  2. 2.
    Ardissono, L., Furnari, R., Goy, A., Petrone, G., Segnan, M.: Monitoring choreographed services. In: Innovations and Advanced Techniques in Computer and Information Sciences and Engineering, CISSE 2006, pp. 283–288 (2006)Google Scholar
  3. 3.
    Francalanza, A., Gauci, A., Pace, G.: Runtime monitoring of distributed systems (extended abstract). Technical report, University of Malta, WICT (2010)Google Scholar
  4. 4.
    Moser, O., Rosenberg, F., Dustdar, S.: Event Driven Monitoring for Service Composition Infrastructures. In: Chen, L., Triantafillou, P., Suel, T. (eds.) WISE 2010. LNCS, vol. 6488, pp. 38–51. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    Baouab, A., Fdhila, W., Perrin, O., Godart, C.: Towards decentralized monitoring of supply chains. In: 19th IEEE International Conference on Web Services, ICWS (2012)Google Scholar
  6. 6.
    Baouab, A., Perrin, O., Godart, C.: An event-driven approach for runtime verification of inter-organizational choreographies. In: 2011 IEEE International Conference on Services Computing, SCC (2011)Google Scholar
  7. 7.
    Chafle, G.B., Chandra, S., Mann, V., Nanda, M.G.: Decentralized orchestration of composite web services. In: Proceedings of the 13th International World Wide Web Conference, WWW Alt. 2004. ACM, New York (2004)Google Scholar
  8. 8.
    Halle, S., Villemaire, R.: Flexible and reliable messaging using runtime monitoring. In: 13th Enterprise Distributed Object Computing Conference Workshops, EDOCW 2009 (September 2009)Google Scholar
  9. 9.
    OMG: Business process model and notation (bpmn), version 2.0 (2011)Google Scholar
  10. 10.
    Etzion, O., Niblett, P., Luckham, D.: Event Processing in Action. Manning Pubs. Co Series. Manning Publications (2010)Google Scholar
  11. 11.
    Weidlich, M., Ziekow, H., Mendling, J., Günther, O., Weske, M., Desai, N.: Event-Based Monitoring of Process Execution Violations. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 182–198. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  12. 12.
    Weidlich, M., Polyvyanyy, A., Desai, N., Mendling, J., Weske, M.: Process compliance analysis based on behavioural profiles. Inf. Syst. 36(7) (November 2011)Google Scholar
  13. 13.
    Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web services choreography description language version 1.0. W3C (2005)Google Scholar
  14. 14.
    Wetzstein, B., Karastoyanova, D., Kopp, O., Leymann, F., Zwink, D.: Cross-organizational process monitoring based on service choreographies. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC 2010 (2010)Google Scholar
  15. 15.
    Fremantle, P., Patil, S., Davis, D., Karmarkar, A., Pilz, G., Winkler, S., Yalçinalp, U.: Web Services Reliable Messaging (WS-ReliableMessaging). OASIS (2009)Google Scholar
  16. 16.
    Weidlich, M., Polyvyanyy, A., Mendling, J., Weske, M.: Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 63–83. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Polyvyanyy, A., Vanhatalo, J., Völzer, H.: Simplified Computation and Generalization of the Refined Process Structure Tree. In: Bravetti, M., Bultan, T. (eds.) WS-FM 2010. LNCS, vol. 6551, pp. 25–41. Springer, Heidelberg (2011)Google Scholar
  18. 18.
    Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    EsperTech: Esper - Complex Event Processing (2011),
  20. 20.
    Subramanian, S., Thiran, P., Narendra, N., Mostefaoui, G., Maamar, Z.: On the enhancement of bpel engines for self-healing composite web services. In: International Symposium on Applications and the Internet, SAINT 2008 (2008)Google Scholar
  21. 21.
    Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of web service compositions. In: IEEE International Conference on Web Services (2006)Google Scholar
  22. 22.
    Dahanayake, A., Welke, R.J., Cavalheiro, G.: Improving the understanding of bam technology for real-time decision support. Int. J. Bus. Inf. Syst. 7 (2011)Google Scholar
  23. 23.
    Kikuchi, S., Shimamura, H., Kanna, Y.: Monitoring method of cross-sites’ processes executed by multiple ws-bpel processors. In: CEC/EEE 2007 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Aymen Baouab
    • 1
  • Olivier Perrin
    • 1
  • Claude Godart
    • 1
  1. 1.Loria - Inria Nancy - Université de Lorraine - UMR 7503Vandoeuvre-les-Nancy CedexFrance

Personalised recommendations