Accepted Papers
-
Artem Polyvyanyy, Jussi Vanhatalo and Hagen Voelzer
Simplified Computation and Generalization of the Refined Process Structure Tree
-
Sylvain Hallé
Automated Generation of Web Service Stubs Using Satisfiability Solving
-
Cesar Andres, M. Emilia Cambronero and Manuel Núñez
Passive Testing of Timed Distributed Systems
-
Esra Kucukoguz and Jianwen Su
On Lifecycle Constraints of Artifact-Centric Workflows
-
Xiang Fu
Conformance Verification of Privacy Policies
-
Matthias Weidlich, Felix Elliger and Mathias Weske
Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings
-
Arjan Mooij, Jarungjit Parnjai, Christian Stahl and Marc Voorhoeve
Constructing Substitutable Services Using Operating Guidelines and Maximal Controllers
-
Kees van Hee, Arjan Mooij, Natalia Sidorova and Jan Martijn van der Werf
Soundness-Preserving Refinements of Service Compositions
-
David Raymond Christiansen, Marco Carbone and Thomas Hildebrandt
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways
-
Dinanath Nadkarni, Robyn Lutz, Samik Basu and Vasant Honavar
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems
-
Alexandra Potapova and Jianwen Su
On Nondeterministic Workflow Executions