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

✍ Scribed by Peter Harrison (auth.), Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2005
• Tongue: English
• Leaves: 360
• Series: Lecture Notes in Computer Science 3670 Theoretical Computer Science and General Issues
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005.

The 20 revised full papers presented were carefully reviewed and selected from 59 submissions. For EPEW 2005 only 10 papers - of the 32 submitted - were accepted for presentation; they deal with queueing theory, bounding techniques, stochastic model checking, communication schemes analysis for high-speed LAN, QOS analysis in wireless ad-hoc networks and optical networks analysis. The main topics of the 10 papers accepted for WS-FM 2005 - from 27 submissions - include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Choreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology Techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies; comparisons with different related technologies/approaches.

✦ Table of Contents

Front Matter....Pages -
Performance Engineering and Stochastic Modelling....Pages 1-14
Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems....Pages 15-17
PiDuce : A Process Calculus with Native XML Datatypes....Pages 18-34
Life After BPEL?....Pages 35-50
On Moments of Discrete Phase-Type Distributions....Pages 51-63
Zero-Automatic Queues....Pages 64-78
A Unified Approach to the Moments Based Distribution Estimation – Unbounded Support....Pages 79-93
Bounds for Point and Steady-State Availability: An Algorithmic Approach Based on Lumpability and Stochastic Ordering....Pages 94-108
Stochastic Model Checking with Stochastic Comparison....Pages 109-123
Delay Analysis of the Go-Back-N ARQ Protocol over a Time-Varying Channel....Pages 124-138
Performance Tuning of Failure Detectors in Wireless Ad-hoc Networks: Modelling and Experiments....Pages 139-154
Hypergraph Partitioning for Faster Parallel PageRank Computation....Pages 155-171
Prediction of Communication Latency over Complex Network Behaviors on SMP Clusters....Pages 172-186
A Diffusion Approximation Model of an Electronic-Optical Node....Pages 187-199
Choreographing Security and Performance Analysis for Web Services....Pages 200-214
Application of Formal Methods to the Analysis of Web Services Security....Pages 215-229
Automatic Translation of WS-CDL Choreographies to Timed Automata....Pages 230-242
Executable Semantics for Compensating CSP....Pages 243-256
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step....Pages 257-271
From Theory to Practice in Transactional Composition of Web Services....Pages 272-286
Timing Issues in Web Services Composition....Pages 287-302
A Compositional Operational Semantics for OWL-S....Pages 303-317
A Parametric Communication Model for the Verification of BPEL4WS Compositions....Pages 318-332
Reasoning About Interaction Patterns in Choreography....Pages 333-348
Back Matter....Pages -

✦ Subjects

Software Engineering; Computer Communication Networks; Logics and Meanings of Programs; System Performance and Evaluation; Computers and Society