D. Cohen, M. S. Feather, K. Narayanaswamy, and S. S. Fickas, Automatic monitoring of software requirements, Proceedings of the 19th international conference on Software engineering , ICSE '97, pp.602-603, 1997.
DOI : 10.1145/253228.253493

M. S. Feather, S. Fickas, A. V. Lamsweerde, and C. Ponsard, Reconciling system requirements and runtime behavior, Proceedings Ninth International Workshop on Software Specification and Design, p.50, 1998.
DOI : 10.1109/IWSSD.1998.667919
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5496

A. Ferrara, Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004.
DOI : 10.1145/1035167.1035202

Y. Hoffner, H. Ludwig, P. Grefen, and K. Aberer, CrossFlow, ACM SIGecom Exchanges, vol.2, issue.1, pp.1-10, 2001.
DOI : 10.1145/844309.844311

R. 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

W. Lemahieu, M. Snoeck, C. Michiels, and F. G. Goethals, An Event Based Approach to Web Service Design and Interaction, APWeb, pp.333-340, 2003.
DOI : 10.1007/3-540-36901-5_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9990

W. Lemahieu, M. Snoeck, C. Michiels, F. G. Goethals, G. Dedene et al., Event Based Web Service Description and Coordination, WES, pp.120-133, 2003.
DOI : 10.1007/978-3-540-25982-4_11
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.8169

P. R. Pietzuch, B. Shand, and J. Bacon, A Framework for Event Composition in Distributed Systems, Middleware, pp.62-82, 2003.
DOI : 10.1007/3-540-44892-6_4

W. N. Robinson, Monitoring Web service requirements, Journal of Lightwave Technology, 2003.
DOI : 10.1109/ICRE.2003.1232738

A. D. Smith and A. Finkelstin, From requirements to monitors by way of aspects, Proceedings of the 1th International Conference on Aspect Oriented Software Development, 2002.

G. Spanoudakis and K. Mahbub, Requirements monitoring for service-based systems: towards a framework based on event calculus, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.379-384, 2004.
DOI : 10.1109/ASE.2004.1342769