F. Barbon, P. Traverso, M. Pistore, and M. Trainotti, Run-Time Monitoring of Instances and Classes of Web Service Compositions, 2006 IEEE International Conference on Web Services (ICWS'06), pp.63-71, 2006.
DOI : 10.1109/ICWS.2006.113

L. Baresi, S. Guinea, R. Kazhamiakin, and M. Pistore, An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations, ServiceWave, pp.1-12, 2008.
DOI : 10.1007/978-3-540-89897-9_1

R. A. Kowalski and M. J. Sergot, A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986.
DOI : 10.1007/BF03037383

K. Mahbub and G. Spanoudakis, Run-time monitoring of requirements for systems composed of Web-services: initial implementation and evaluation experience, IEEE International Conference on Web Services (ICWS'05), pp.257-265, 2005.
DOI : 10.1109/ICWS.2005.100

S. A. Mcilraith and T. C. Son, Adapting golog for composition of semantic web services, KR, pp.482-496, 2002.

B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, 2003.
DOI : 10.1007/s00778-003-0101-5

M. Montali, F. Chesani, P. Mello, and P. Torroni, Verification of choreographies during execution using the reactive event calculus, WS-FM2008, 2008.

S. Narayanan and S. A. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

M. Pesic and W. M. Van-der-aalst, A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, Austria, 2006.
DOI : 10.1007/11837862_18

J. Rao and X. Su, A Survey of Automated Web Service Composition Methods, SWSWPC, pp.43-54, 2004.
DOI : 10.1007/978-3-540-30581-1_5

H. Schuster, D. Georgakopoulos, A. Cichocki, and D. Baker, Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes, CAiSE, 2000.
DOI : 10.1007/3-540-45140-4_17

G. Sharon and O. Etzion, Event-processing network model and implementation, IBM Systems Journal, vol.47, issue.2, 2008.
DOI : 10.1147/sj.472.0321

E. Sirin, J. Hendler, and B. Parsia, Semi-automatic composition of web services using semantic descriptions, Web Services: Modeling, Architecture and Infrastructure workshop in ICEIS 2003, pp.17-24, 2002.

W. M. Van-der-aalst and M. Pesic, DecSerFlow: Towards a Truly Declarative Service Flow Language, The Role of Business Processes in Service Oriented Architectures, 2006.
DOI : 10.1007/11841197_1

R. J. Waldinger, Web Agents Cooperating Deductively, FAABS, 2000.
DOI : 10.1007/3-540-45484-5_20