Formal Techniques for Computer Systems and Business Processes

Invited Speakers.- Performance Engineering and Stochastic Modelling.- Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete-State Systems.- PiDuce: A Process Calculus with Native XML Datatypes.- Life After BPEL?.- EPEW.- On Moments of Discrete Phase-Type Distributions.- Zero-Automatic Queues.- A Unified Approach to the Moments Based Distribution Estimation - Unbounded Support.- Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering.- Stochastic Model Checking with Stochastic Comparison.- Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel.- Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments.- Hypergraph Partitioning for Faster Parallel PageRank Computation.- Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters.- A Diffusion Approximation Model of an Electronic-Optical Node.- WS-FM.- Choreographing Security and Performance Analysis for Web Services.- Application of Formal Methods to the Analysis of Web Services Security.- Automatic Translation of WS-CDL Choreographies to Timed Automata.- Executable Semantics for Compensating CSP.- Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.- From Theory to Practice in Transactional Composition of Web Services.- Timing Issues in Web Services Composition.- A Compositional Operational Semantics for OWL-S.- A Parametric Communication Model for the Verification of BPEL4WS Compositions.- Reasoning About Interaction Patterns in Choreography.