1164 search results - page 51 / 233 » Type based service composition |
141
Voted
CBSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
122
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
140
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
114
Voted
FSEN
2007
Springer
15 years 9 months ago
2007
Springer
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 ...
106
Voted
FUIN
2008
15 years 3 months ago
2008
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...