Sciweavers

116 search results - page 1 / 24
» Contract-Based Discovery and Composition of Web Services
Sort
View
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
13 years 11 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
ISAS
2005
Springer
13 years 10 months ago
Contract-Based Web Service Composition Framework with Correctness Guarantees
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...
Nikola Milanovic
WISE
2007
Springer
13 years 10 months ago
Web Service Composition: A Reality Check
Automated web service composition is one of the major promises of serviceoriented architecture, where services can be discovered and composed dynamically and automatically. To inv...
Jianguo Lu, Yijun Yu, Debashis Roy, Deepa Saha
JWSR
2007
183views more  JWSR 2007»
13 years 4 months ago
Behaviour-Aware Discovery of Web Service Compositions
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...
Antonio Brogi, Sara Corfini