DecSerFlow: Towards a Truly Declarative Service Flow Language, The Role of Business Processes in Service Oriented Architectures, 2006. ,
DOI : 10.1007/11841197_1
Formalizing Workflows Using the Event Calculus, DEXA, 2000. ,
DOI : 10.1007/3-540-44469-6_21
A framework for requirents monitoring of service based systems, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004. ,
DOI : 10.1145/1035167.1035181
Using event calculus to formalise policy specification and analysis Policies for Distributed Systems and Networks, IEEE International Workshop on, vol.0, p.26, 2003. ,
Dynamic Authorisation Policies for Event-Based Task Delegation, CAiSE, 2010. ,
DOI : 10.1007/978-3-642-13094-6_12
URL : https://hal.archives-ouvertes.fr/inria-00466220
Communications Semantics for WSBPEL Processes, 2008 IEEE International Conference on Web Services, pp.185-194, 2008. ,
DOI : 10.1109/ICWS.2008.55
URL : https://hal.archives-ouvertes.fr/inria-00345178
A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986. ,
DOI : 10.1007/BF03037383
An Integrated Declarative Approach to Web Services Composition and Monitoring, WISE, pp.247-260, 2009. ,
DOI : 10.1007/978-3-642-04409-0_28
URL : https://hal.archives-ouvertes.fr/inria-00431855
Adapting golog for composition of semantic web services, KR, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.7209
A Survey of Automated Web Service Composition Methods, SWSWPC, 2004. ,
DOI : 10.1007/978-3-540-30581-1_5
COSMO: A conceptual framework for service modelling and refinement, Information Systems Frontiers, vol.V, issue.3, pp.225-244, 2007. ,
DOI : 10.1007/s10796-007-9034-7
A Declarative Approach for Flexible Business Processes Management, Business Process Management Workshops, 2006. ,
DOI : 10.1007/11837862_18
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004. ,
DOI : 10.1145/988672.988756
Timed Model Checking Based Approach for Web Services Analysis, 2009 IEEE International Conference on Web Services, pp.213-221, 2009. ,
DOI : 10.1109/ICWS.2009.42
URL : https://hal.archives-ouvertes.fr/inria-00366404
Formal semantics and analysis of bpmn process models, 2007. ,
A cp-nets-based design and verification framework for web services composition, ICWS, pp.756-760, 2004. ,
Describing and reasoning on web services using process algebra, ICWS, p.43, 2004. ,
A model for abstract process specification, verification and composition, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.232-241, 2004. ,
DOI : 10.1145/1035167.1035201
Runtime monitoring of instances and classes of web service compositions, ICWS, pp.63-71, 2006. ,
Dynamo + Astro: An Integrated Approach for BPEL Monitoring, 2009 IEEE International Conference on Web Services, pp.230-237, 2009. ,
DOI : 10.1109/ICWS.2009.67
PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, vol.24, issue.6, 2007. ,
DOI : 10.1109/MS.2007.174
Rule-Based Semi Automatic Web Services Composition, 2009 Congress on Services, I, pp.805-812, 2009. ,
DOI : 10.1109/SERVICES-I.2009.77
URL : https://hal.archives-ouvertes.fr/inria-00431859
Flexible Binding for Reusable Composition of Web Services, Software Composition, pp.151-166, 2005. ,
DOI : 10.1007/11550679_12