1164 search results - page 24 / 233 » Type based service composition |
143
click to vote
AICT
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
130
click to vote
FORTE
2007
15 years 5 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
160
click to vote
CSCWD
2007
Springer
15 years 10 months ago
2007
Springer
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
151
click to vote
IS
2006
15 years 3 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
113
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
When composing mashups, the selection of suitable services is mainly based on functional requirements and does not consider the quality of the single services. In this paper, we sh...