250 search results - page 16 / 50 » Towards Formal Verification of Web Service Composition |
ECOWS
2009
Springer
13 years 10 months ago
2009
Springer
— 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 ...
SRDS
2003
IEEE
14 years 22 days ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
COLCOM
2009
IEEE
14 years 5 days ago
2009
IEEE
—Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation poin...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
JSW
2007
13 years 7 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...