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

Cover
Taylor & Francis, 25.08.2005 - 348 Seiten
This volume contains the proceedings of two international workshops EPEW and WS-FM held atthe Universit ́ ede VersaillesSaint-Quentin-en-Yvelines, V- sailles, France, 1-3 September 2005. EPEW (European Performance Engineering Workshop) and WS-FM (Int- national Workshop on Web Services and Formal Methods) were colocated to gather the researchers working across the spectrum of techniques for modelling, speci?cation, analysis and veri?cation of the behavior of computer systems and business processes. This proceedings contains a selection of 20 research contributions, out of 59 submissions, which went through a rigorous review process by international reviewers. We therefore owe special thanks to all members of both program committees of EPEW and WS-FM and their sub-referees for the excellent work they did in the short time they had. Additionally, this proceedings includes four invited papers, by Gianfranco Ciardo (University of California at Riverside), Peter G. Harrison (Imperial C- lege London), Cosimo Laneve (University of Bologna) and Wil van der Aalst (Eindhoven University of Technology). These contributions brought an ad- tional dimension to the technical and the scienti?c merit of these workshops. Finally, ourthanksgototheUniversityofVersaillesSaint-Quentin-en-Yvelines, its Laboratoire PRiSM and the CNRS for hosting the workshops and providing technicaland?nancialsupport.
 

Was andere dazu sagen - Rezension schreiben

Es wurden keine Rezensionen gefunden.

Inhalt

Invited Speakers
1
Implicit Representations and Algorithms for the Logic and Stochastic
15
Life After BPEL?
35
On Moments of Discrete PhaseType Distributions
51
ZeroAutomatic Queues
64
A Unified Approach to the Moments Based Distribution Estimation
79
An Algorithmic
94
Stochastic Model Checking with Stochastic Comparison
109
Choreographing Security and Performance Analysis for Web Services
200
Application of Formal Methods to the Analysis of Web Services Security
215
Automatic Translation of WSCDL Choreographies to Timed Automata
230
Executable Semantics for Compensating
243
Verifying the Conformance of Web Services to Global Interaction
257
From Theory to Practice in Transactional Composition of Web Services
272
Timing Issues in Web Services Composition
287
A Compositional Operational Semantics for OWLS
303

Delay Analysis of the GoBackN ARQ Protocol over a TimeVarying
124
Hypergraph Partitioning for Faster Parallel PageRank Computation
155
Prediction of Communication Latency over Complex Network Behaviors
172
A Diffusion Approximation Model of an ElectronicOptical Node
187
A Parametric Communication Model for the Verification of BPEL4WS
318
Reasoning About Interaction Patterns in Choreography
333
Author Index 349
Urheberrecht

Andere Ausgaben - Alle anzeigen

Häufige Begriffe und Wortgruppen

Bibliografische Informationen