Sciweavers

SFM
2009
Springer
14 years 6 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
SFM
2009
Springer
14 years 6 months ago
Fundamentals of Session Types
Vasco Thudichum Vasconcelos
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
14 years 6 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
14 years 6 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro