Summary Filtered unsatisfiable-core for the motivating example with conflicting goal 2 -6921 0: HoldsAt(RespRecvd(FireBrigadeWS),1) | !Happens(EvalCondTrue(HasFBArrived),1) 1808 -3019 0: HoldsAt(Started_actS(FireContainment),1)|!Happens(End_actS(FireContainment),1) 1817 -3028 0: HoldsAt(Started_actS(RecoverPriorityItems),1)|!Happens, HoldsAt(Started_actS(PlanRecovery),1) | !Happens 0: HoldsAt(Finished_actS(Start),1) | !Happens, pp.4216-4215 ,
136 10.3.3 Temporal and security aspects, p.136 ,
Push-based asynchronous invocation model is discussed in Section-4.2.3, corresponding include file is asynchpushservice.e. Services(re-invoke) EC model for Web services that need to reinvoked (for instance within loop body) is discussed in Section-4.2.4, corresponding include files are (asynchpull/asynchpush/synch )servicewithreinvoke ,
PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, vol.24, issue.6, p.45, 2007. ,
DOI : 10.1109/MS.2007.174
Using Event Calculus to Formalise Policy Specification and Analysis. Policies for Distributed Systems and Networks, IEEE International Workshop on, vol.0, issue.86, p.26, 2003. ,
Run-Time Monitoring of Instances and Classes of Web Service Compositions, ICWS, pp.63-71, 2006. ,
Run-Time Monitoring of Instances and Classes of Web Service Compositions, ICWS, pp.63-71, 2006. ,
Dynamo: Dynamic Monitoring of WS-BPEL Processes, ICSOC, pp.478-483, 2005. ,
DOI : 10.1007/11596141_36
Dynamo and Self-Healing BPEL Compositions, 29th International Conference on Software Engineering (ICSE'07 Companion), pp.69-70, 2007. ,
DOI : 10.1109/ICSECOMPANION.2007.31
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
Comprehensive Monitoring of BPEL Processes, IEEE Internet Computing, vol.14, issue.3, pp.50-57, 2010. ,
DOI : 10.1109/MIC.2010.66
Self-Supervising BPEL Processes, IEEE Transactions on Software Engineering, vol.37, issue.2, pp.247-263, 2011. ,
DOI : 10.1109/TSE.2010.37
Model driven security, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, 2006. ,
DOI : 10.1145/1125808.1125810
BP-Mon, ACM SIGMOD Record, vol.37, issue.1, pp.21-24, 2008. ,
DOI : 10.1145/1374780.1374785
Julien Ponge and Farouk Toumani. On Temporal Abstractions of Web Service Protocols, CAiSE Short Paper Proceedings, 2005. ,
Maurizio Lenzerini and Massimo Mecella. e-Service Composition by Description Logics Based Reasoning, Description Logics, 2003. ,
Fast planning through planning graph analysis, Artificial Intelligence, vol.90, issue.1-2, pp.281-300, 1997. ,
DOI : 10.1016/S0004-3702(96)00047-1
Heuristic Search Planner 2.0. AI Magazine, pp.77-80, 2001. ,
When are Two Web Services Compatible? In TES, pp.15-28, 2004. ,
When are Two Web Services Compatible? In TES, pp.15-28, 2004. ,
Exception Handling in Distributed Workflow Systems Using Mobile Agents, ICEBE, pp.48-55, 2005. ,
Using patterns to design rules in workflows, IEEE Transactions on Software Engineering, vol.26, issue.8, pp.760-785, 2000. ,
DOI : 10.1109/32.879813
Adaptive and Dynamic Service Composition in eFlow, Proceedings of the 12th International Conference on Advanced Information Systems Engineering, CAiSE '00, pp.13-31, 2000. ,
SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules, ICSOC, pp.191-202, 2006. ,
Automatic Translation of WS-CDL Choreographies to Timed Automata, EPEW/WS-FM, pp.230-242, 2005. ,
Formal semantics and analysis of BPMN process models. Rapport technique, 2007. ,
QoSOnt: a QoS Ontology for Service-Centric Systems, 31st EUROMICRO Conference on Software Engineering and Advanced Applications, pp.80-87, 2005. ,
DOI : 10.1109/EUROMICRO.2005.49
Modeling and Enactment of Workflow Systems, Application and Theory of Petri Nets, pp.1-16, 1993. ,
UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning, AIPS, pp.249-254, 1994. ,
Communications Semantics for WSBPEL Processes, ICWS, pp.185-194, 2008. ,
Strips: A new approach to the application of theorem proving to problem solving, Artificial Intelligence, vol.2, issue.3-4, pp.189-208, 1971. ,
DOI : 10.1016/0004-3702(71)90010-5
Exception Handling for Repair in Service-Based Processes, IEEE Transactions on Software Engineering, vol.36, issue.2, pp.198-215, 2010. ,
DOI : 10.1109/TSE.2010.8
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
Dynamic Authorisation Policies for Event-Based Task Delegation, CAiSE, pp.90-113, 2010. ,
DOI : 10.1007/978-3-642-13094-6_12
URL : https://hal.archives-ouvertes.fr/inria-00466220
Ontology-Based Security Policies for Supporting the Management of Web Service Business Processes, 2008 IEEE International Conference on Semantic Computing, 2008. ,
DOI : 10.1109/ICSC.2008.35
PDDL?The Planning Domain Definition Language, AIPS98 planning committee, p.27, 1998. ,
PDL-based framework for reasoning about actions, AI*IA, pp.103-114, 1995. ,
ConGolog, a concurrent programming language based on the situation calculus, Artificial Intelligence, vol.121, issue.1-2, pp.109-169, 2000. ,
DOI : 10.1016/S0004-3702(00)00031-X
Dealing with Concurrent Actions in Modal Action Logics, ECAI, pp.537-541, 1998. ,
Asynchronous Timed Web Service-Aware Choreography Analysis, CAiSE, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00366402
Timed Model Checking Based Approach for Web Services Analysis, ICWS, pp.213-221, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00366404
The spin model checker -primer and reference manual, p.39, 2004. ,
Introduction to automata theory, languages, and computation -(2 Addison- Wesley series in computer science, 2001. ,
Techniques for Modeling Workflows and Their Support of Reuse, Business Process Management, pp.1-15, 2000. ,
Specifying and Monitoring Temporal Properties in Web Services Compositions, 2009 Seventh IEEE European Conference on Web Services, pp.148-157, 2009. ,
DOI : 10.1109/ECOWS.2009.15
Planning as Satisfiability, ECAI, pp.359-363, 1992. ,
Representation, Verification, and Computation of Timed Properties in Web, 2006 IEEE International Conference on Web Services (ICWS'06), pp.497-504, 2006. ,
DOI : 10.1109/ICWS.2006.112
Jörg Hoffmann and Yannis Dimopoulos Extending Planning Graphs to an ADL Subset, ECP, pp.273-285, 1997. ,
A Logic-based Calculus of Events, New Generation Comput, vol.4, issue.1, pp.67-95, 1986. ,
A Logic-based Calculus of Events, New Generation Comput, vol.4, issue.1, pp.67-95, 1986. ,
GOLOG: A logic programming language for dynamic domains, The Journal of Logic Programming, vol.31, issue.1-3, pp.59-83, 1997. ,
DOI : 10.1016/S0743-1066(96)00121-5
Foundations for the Situation Calculus, Electron. Trans. Artif. Intell, vol.2, issue.33, pp.159-178, 1998. ,
Situations, actions and causal laws, 1963. ,
A Heuristic Estimator for Means-Ends Analysis in Planning, AIPS, pp.142-149, 1996. ,
Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.333-351, 2003. ,
DOI : 10.1007/s00778-003-0101-5
Security Requirements Specification in Service-Oriented Business Process Management, 2009 International Conference on Availability, Reliability and Security, pp.41-48, 2009. ,
DOI : 10.1109/ARES.2009.90
Workflow Modeling and Execution with Coloured Petri Nets in COSM, 1994. ,
A Survey of Formal Verification for Business Process Modeling, ICCS (2), pp.514-522, 2008. ,
DOI : 10.1007/978-3-540-69387-1_58
Event Driven Monitoring for Service Composition Infrastructures, pp.38-51, 2010. ,
Commonsense reasoning, pp.125-138, 2006. ,
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
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
Amnon Lotem and Héctor Muñoz-Avila. SHOP: Simple Hierarchical Ordered Planner, IJCAI, pp.968-975, 1999. ,
Defining Secure Business Processes with Respect to Multiple Objectives, 2008 Third International Conference on Availability, Reliability and Security, 2008. ,
DOI : 10.1109/ARES.2008.174
ADL and the State-Transition Model of Action, J. Log. Comput, vol.4, issue.5, pp.467-512, 1994. ,
UCPOP: A Sound, Complete , Partial Order Planner for ADL, In KR, pp.103-114, 1992. ,
Some Contributions to the Metatheory of the Situation Calculus, J. ACM, vol.46, issue.33, pp.325-361, 1999. ,
SWORD: A developer toolkit for web service composition, Proceedings of the 11th International WWW Conference (WWW2002), 2002. ,
Methodological support for service-oriented design with ISDL, ICSOC, pp.1-10, 2004. ,
A Survey of Automated Web Service Composition Methods, SWSWPC, pp.30-31, 2004. ,
DOI : 10.1007/978-3-540-30581-1_5
OWL-S Atomic Services Composition with SWRL Rules, ISMIS, pp.605-611, 2008. ,
DOI : 10.1007/978-3-540-68123-6_66
A BPMN Extension for the Modeling of Security Requirements in Business Processes, IEICE Transactions on Information and Systems, vol.90, issue.4, 2007. ,
DOI : 10.1093/ietisy/e90-d.4.745
Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques, Business & Information Systems Engineering, vol.49, issue.6, pp.429-437, 2009. ,
DOI : 10.1007/s12599-009-0074-z
Conformance checking of processes based on monitoring real behavior, Information Systems, vol.33, issue.1, pp.64-95, 2008. ,
DOI : 10.1016/j.is.2007.07.001
Workflow Exception Patterns, CAiSE, pp.288-302, 2006. ,
Planning in a Hierarchy of Abstraction Spaces, Artif. Intell, vol.5, issue.2, pp.115-135, 1974. ,
On Capturing Process Requirements of Workflow Based Business Information Systems, BIS'99, 1999. ,
DOI : 10.1007/978-1-4471-0875-7_23
Describing and Reasoning on Web Services using Process Algebra, ICWS, pp.43-2004, 2004. ,
Modeling and Composing Service-Based and Reference Process-Based Multi-enterprise Processes, Proceedings of the 12th International Conference on Advanced Information Systems Engineering, CAiSE '00, pp.247-263, 2000. ,
DOI : 10.1007/3-540-45140-4_17
An abductive event calculus planner, The Journal of Logic Programming, vol.44, issue.1-3, pp.207-240, 2000. ,
DOI : 10.1016/S0743-1066(99)00077-1
HTN planning for Web Service composition using SHOP2, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, pp.377-396, 2004. ,
DOI : 10.1016/j.websem.2004.06.005
Incorporating Security Requirements into Service Composition: From Modelling to Execution, ICSOC/ServiceWave, p.36, 2009. ,
Relating Stable Models and AI Planning Domains, ICLP, pp.233-247, 1995. ,
The Event Tunnel: Interactive Visualization of Complex Event Streams for Business Process Pattern Analysis, 2008 IEEE Pacific Visualization Symposium, pp.111-118, 2008. ,
DOI : 10.1109/PACIFICVIS.2008.4475466
CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning, Constraints, vol.8, issue.4, pp.365-388, 2003. ,
DOI : 10.1023/A:1025894003623
Automatic Workflow Graph Refactoring and Completion, ICSOC, pp.100-115, 2008. ,
DOI : 10.1109/TSE.2004.1274043
Autonomic Web Processes, ICSOC, pp.1-11, 2005. ,
DOI : 10.1007/11596141_1
Web Agents Cooperating Deductively, FAABS, pp.250-262, 2000. ,
Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension, 2008 IEEE International Conference on Web Services, 2008. ,
DOI : 10.1109/ICWS.2008.27
VHPOP: Versatile Heuristic Partial Order Planner, J. Artif. Intell. Res. (JAIR), vol.20, pp.405-430, 2003. ,
An Integrated Declarative Approach to Web Services Composition and Monitoring, WISE, pp.247-260, 2009. ,
Rule-Based Semi Automatic Web Services Composition, SERVICES I, pp.805-812, 2009. ,
DISC: A declarative framework for self-healing Web services composition, ICWS, pp.45-134, 2010. ,
DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition, ECOWS, pp.125-138, 2010. ,
WS-Net: a Petri-net based specification model for Web services, Proceedings. IEEE International Conference on Web Services, 2004., pp.420-427, 2004. ,
DOI : 10.1109/ICWS.2004.1314766