Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

368 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Allgemeine Themen Soziale und ethische Aspekte
• ISBN: 9783540287018
• Sprache: Englisch
• Erscheinungsdatum: 25.08.2005
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Gianluigi Zavattaro, Leila Kloul, Mario Bravetti