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, ProceedingsTaylor & 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. |
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 |
Andere Ausgaben - Alle anzeigen
Formal Techniques for Computer Systems and Business Processes: European ... Mario Bravetti,Leila Kloul,Gianluigi Zavattaro Eingeschränkte Leseprobe - 2005 |
Formal Techniques for Computer Systems and Business Processes: European ... Mario Bravetti,Leila Kloul,Gianluigi Zavattaro Keine Leseprobe verfügbar - 2005 |
Formal Techniques for Computer Systems and Business Processes: European ... Mario Bravetti Keine Leseprobe verfügbar - 2005 |
Häufige Begriffe und Wortgruppen
0-automatic algorithm aligned analysis application automata behavior bound BPEL BPEL4WS Bravetti buffer Business Process cancellation channel choreography client communication compensable process components composition composition languages Computer conformance consider corresponding decomposition defined definition delay denote described DPH distributions equations example execution failure detector finite Flight formal function handler hyperedge hypergraph implementation input interaction language LNCS lumpable macro-states Markov chain matrix method model checking Myrinet node operational semantics output OWL-S packet PageRank parallel partitioning pattern peer Petri Nets PiDuce probability Proc process calculus processor protocol provides queue random walk received request request-respond Sagas schema sequence server signal slot solution sparse matrix specification Springer-Verlag steady-state stochastic Theorem time(s timer tion transactions transition values variables vector verification Web Services workflow workunit WS-BPEL WS-CDL WS-FM WS-Security WSDL