Abstract is missing.
- Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity LifecyclesRichard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman Vaculín. 1-24 [doi]
- Simplified Computation and Generalization of the Refined Process Structure TreeArtem Polyvyanyy, Jussi Vanhatalo, Hagen Völzer. 25-41 [doi]
- Automated Generation of Web Service Stubs Using LTL Satisfiability SolvingSylvain Hallé. 42-55 [doi]
- Passive Testing of Web ServicesCésar Andrés, María-Emilia Cambronero, Manuel Núñez. 56-70 [doi]
- On Lifecycle Constraints of Artifact-Centric WorkflowsEsra Kucukoguz, Jianwen Su. 71-85 [doi]
- Conformance Verification of Privacy PoliciesXiang Fu. 86-100 [doi]
- Generalised Computation of Behavioural Profiles Based on Petri-Net UnfoldingsMatthias Weidlich, Felix Elliger, Mathias Weske. 101-115 [doi]
- Constructing Replaceable Services Using Operating Guidelines and Maximal ControllersArjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve. 116-130 [doi]
- Soundness-Preserving Refinements of Service CompositionsKees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf. 131-145 [doi]
- Formal Semantics and Implementation of BPMN 2.0 Inclusive GatewaysDavid Raymond Christiansen, Marco Carbone, Thomas Hildebrandt. 146-160 [doi]
- Failure Analysis for Composition of Web Services Represented as Labeled Transition SystemsDinanath Nadkarni, Samik Basu, Vasant Honavar, Robyn R. Lutz. 161-175 [doi]
- On Nondeterministic Workflow ExecutionsAlexandra Potapova, Jianwen Su. 176-190 [doi]