Sciweavers

102 search results - page 1 / 21
» A Behavioural Congruence for Web Services
Sort
View
FSEN
2007
Springer
13 years 11 months ago
A Behavioural Congruence for Web Services
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
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
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
DAIS
2003
13 years 6 months ago
Discovering Web Services Using Behavioural Constraints and Ontology
The ability to locate useful on-line Web Services is becoming critical for today’s service-oriented business applications. A number of efforts have been put to enhance the servic...
Natenapa Sriharee, Twittie Senivongse
ECOWS
2009
Springer
13 years 8 months ago
Run-time Verification of Behavioural Conformance for Conversational Web Services
— Web services exposing run-time behaviour that deviates from their behavioural specifications represent a major threat to the sustainability of a service-oriented ecosystem. It ...
Dimitris Dranidis, Ervin Ramollari, Dimitrios Kour...