Sciweavers

401 search results - page 52 / 81
» Service-Oriented Computing
Sort
View
SOCO
2007
Springer
15 years 6 months ago
Towards a Unifying Theory for Choreography Conformance and Contract Compliance
In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contract...
Mario Bravetti, Gianluigi Zavattaro
FUIN
2008
89views more  FUIN 2008»
14 years 12 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 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
CIA
2006
Springer
15 years 3 months ago
Selecting Web Services Statistically
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
David Lambert, David Robertson
FORTE
2007
15 years 1 months ago
Transactional Reduction of Component Compositions
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
Serge Haddad, Pascal Poizat