Sciweavers

255 search results - page 1 / 51
» Checking Session-Oriented Interactions between Web Services
Sort
View
SEAA
2008
IEEE
14 years 5 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
CORR
2010
Springer
165views Education» more  CORR 2010»
13 years 11 months ago
Detecting Ontological Conflicts in Protocols between Semantic Web Services
Abstract. The task of verifying the compatibility between interacting web services has traditionally been limited to checking the compatibility of the interaction protocol in terms...
Priyankar Ghosh, Pallab Dasgupta
COORDINATION
2008
Springer
14 years 19 days ago
How to Infer Finite Session Types in a Calculus of Services and Sessions
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
Leonardo Gaetano Mezzina
ASWEC
2006
IEEE
14 years 5 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
RR
2007
Springer
14 years 5 months ago
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...