SMT-based Abstract Temporal Planning

These are the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’14) in Tunis, Tunisia, June 23–24, 2014. It is a co-located event of Petri Nets 2014, the 35th international conference on Applications and Theory of Petri Nets and Concurrency and ACSD 2014, the 14th International Conference on Application of Concurrency to System Design.

[1]  Liam O'Brien,et al.  Effort-Oriented Classification Matrix of Web Service Composition , 2010, 2010 Fifth International Conference on Internet and Web Applications and Services.

[2]  Wojciech Penczek,et al.  Towards SMT-based Abstract Planning in PlanICS Ontology , 2013, KEOD.

[3]  Oliver Kopp,et al.  Verifying Business Rules Using an SMT Solver for BPEL Processes , 2009, BPSC.

[4]  Patrik Haslum,et al.  Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners , 2009, Artif. Intell..

[5]  Mihhail Matskin,et al.  Composition of Semantic Web services using Linear Logic theorem proving , 2006, Inf. Syst..

[6]  I. Salomie,et al.  Fluent calculus-based Web service composition — From OWL-S to fluent calculus , 2008, 2008 4th International Conference on Intelligent Computer Communication and Processing.

[7]  Stanislaw Ambroszkiewicz.  Entish: A Language for Describing Data Processing in Open Distributed Systems , 2004, Fundam. Informaticae.

[8]  Marco Pistore,et al.  Automated Composition of Semantic Web Services into Executable Processes , 2004, SEMWEB.

[9]  Dongwon Lee,et al.  Type-Aware Web Service Composition Using Boolean Satisfiability Solver , 2008, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services.

[10]  Zakaria Maamar,et al.  Symbolic model checking composite Web services using operational and control behaviors , 2013, Expert Syst. Appl..

[11]  Zijiang Yang,et al.  Message Race Detection for Web Services by an SMT-Based Analysis , 2010, ATC.

[12]  Li Zhang,et al.  Dynamic Web Services Composition Based on Linear Temporal Logic , 2010, 2010 International Conference of Information Science and Management Engineering.

[13]  Maria Fox,et al.  Advances in automated plan generation , 2009, Artif. Intell..

[14]  Wojciech Penczek,et al.  PlanICS - a Web Service Composition Toolset , 2011, Fundam. Informaticae.

[15]  Wojciech Penczek,et al.  HarmonICS - a Tool for Composing Medical Services , 2012, ZEUS.

[16]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[17]  Wojciech Penczek,et al.  Automated abstract planning with use of genetic algorithms , 2013, GECCO '13 Companion.

[18]  Matteo Pradella,et al.  SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability , 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.

[19]  Vijay Gehlot,et al.  Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration , 2009, 2009 42nd Hawaii International Conference on System Sciences.

[20]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[21]  Fatiha Zaïdi,et al.  Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver , 2011, TAP@TOOLS.