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
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
A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986. ,
DOI : 10.1007/BF03037383
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
Adapting golog for composition of semantic web services, KR, pp.482-496, 2002. ,
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
Verification of choreographies during execution using the reactive event calculus, WS-FM2008, 2008. ,
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
A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, Austria, 2006. ,
DOI : 10.1007/11837862_18
A Survey of Automated Web Service Composition Methods, SWSWPC, pp.43-54, 2004. ,
DOI : 10.1007/978-3-540-30581-1_5
Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes, CAiSE, 2000. ,
DOI : 10.1007/3-540-45140-4_17
Event-processing network model and implementation, IBM Systems Journal, vol.47, issue.2, 2008. ,
DOI : 10.1147/sj.472.0321
Semi-automatic composition of web services using semantic descriptions, Web Services: Modeling, Architecture and Infrastructure workshop in ICEIS 2003, pp.17-24, 2002. ,
DecSerFlow: Towards a Truly Declarative Service Flow Language, The Role of Business Processes in Service Oriented Architectures, 2006. ,
DOI : 10.1007/11841197_1
Web Agents Cooperating Deductively, FAABS, 2000. ,
DOI : 10.1007/3-540-45484-5_20