Sciweavers

1083 search results - page 2 / 217
» On the Use of Behavioural Equivalences for Web Services' Dev...
Sort
View
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
ASWEC
2006
IEEE
13 years 11 months ago
A Runtime Monitoring and Validation Framework for Web Service Interactions
Web services are designed for composition and use by third parties through dynamic discovery. As such, the issue of interoperability between services is of great importance to ens...
Zheng Li, Yan Jin, Jun Han
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
13 years 12 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
TSC
2008
140views more  TSC 2008»
13 years 4 months ago
Dynamic Web Service Selection for Reliable Web Service Composition
This paper studies the dynamic Web service selection problem in a failure-prone environment, which aims to determine a subset of Web services to be invoked at runtime so as to succ...
San-Yih Hwang, Ee-Peng Lim, Chien-Hsiang Lee, Chen...
COORDINATION
2009
Springer
14 years 6 months ago
Mobility Models and Behavioural Equivalence for Wireless Networks
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
Jens Chr. Godskesen, Sebastian Nanz