An event-driven approach for runtime verification of inter-organizational choreographies

Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011

Volumn , Issue , 2011, Pages 640-647

  Baouab, Aymen ^a   Perrin, Olivier ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

Business process; Choreography; Event; Inter organizational flow; Service notification

Indexed keywords

BUSINESS PROCESS; CHOREOGRAPHY; EVENT; INTER-ORGANIZATIONAL FLOW; SERVICE NOTIFICATION;

EID: 80053141964     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2011.55     Document Type: Conference Paper

References (23)

1. E. Albek, E. Bax, G. Billock, K. M. Chandy, and I. Swett. An event processing language (epl) for building sense and respond applications. IPDPS, 2005.
2. S. Ayed, N. Cuppens-Boulahia, and F. Cuppens. Managing access and flow control requirements in distributed workflows. Computer Systems and Applications, 2008.
3. A. Baouab, O. Perrin, N. Biri, and C. Godart. Security meta-services orchestration architecture. Services Computing Conference, 2009. APSCC 2009. IEEE Asia-Pacific, vol., no., pp.28-33, 7-11, Dec. 2009.
4. J. Biskup, B. Carminati, E. Ferrari, F. Muller, and S. Wortmann. Towards secure execution orders for compositeweb services. Web Services, 2007. ICWS, 2007.
5. G. Decker, O. Kopp, F. Leymann, and M. Weske. Bpel4chor: Extending bpel for modeling choreographies. ICWS: 296-303, 2007.
6. J. Evdemon et al. Web services business process execution language version 2.0. Technical report, OASIS, 2007.
7. P. Grefen. Towards dynamic interorganizational business process management. Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2006.
8. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. Web services choreography description language version 1.0. W3C. Available from:, 2005.
9. F. Kerschbaum and P. Robinson. Security architecture for virtual organizations of business web services. Journal of Systems Architecture, Volume 55, Issue 4, Secure Service-Oriented Architectures (Special Issue on Secure SOA), April 2009.
10. N. Leavitt. Complex-event processing poised for growth. Computer, vol. 42, no. 4, pp. 17-20, Apr. 2009.
11. D. C. Luckham. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
12. Y. Magid, G. Sharon, S. Arcushin, I. Ben-Harrush, and E. Rabinovich. Industry experience with the ibm active middleware technology (amit) complex event processing engine. In Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS '10). ACM, New York, NY, USA, 2010.
13. J. Mendling, M. Strembeck, G. Stermsek, and G. Neumann. An approach to extract rbac models from bpel4ws processes. 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'04), pp. 81-86, 2004.
14. F. Montagut and R. Molva. Bridging security and fault management within distributed workflow management systems. IEEE Transactions on Services Computing, pp. 33-48, January-March, 2008.
15. M. Papazoglou and P. Ribbers. e-Business: organizational and technical foundations. JohnWiley & Sons, Ltd., 2006.
16. C. Rudolph, N. Kuntze, and Z. Velikova. Secure web service workflow execution. Electronic Notes in Theoretical Computer Science, Volume 236, Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, 2 April 2009.
17. J. H. Saltzer and M. D. Schroeder. The protection of information in computer systems. In: Proceedings of the IEEE 63, Nr. 9, 1278-1308, 1975.
18. S. Godik, T. Moses et al. Extensible access control markup language (xacml) version 1.0. OASIS Standard, February 18th, 2003.
19. R. Thomas and R. Sandhu. Task-based authorization controls (tbac): A family of models for active and enterprise-oriented authorization management. 1997.
20. H.-H. Vagts. Control flow enforcement in workflows in the presence of exceptions. Masters thesis, TU Darmstadt, December 2007.
21. J. M. Zaha, A. P. Barros, M. Dumas, and A. H. M. ter Hofstede. Let's dance: A language for service behavior modeling. OTM Conferences: 145-162, 2006. (Pubitemid 44891954)
22. M. Rouached, W. Fdhila, and C. Godart. Web Services Compositions Modelling and Choreographies Analysis. Int. J. Web Service Res., 2010.
23. P. Niblett and S. Graham. Events and service-oriented architecture: The oasis web services notification specification. IBM Systems Journal, pages 869-886, 2005. (Pubitemid 43024463)