3268 search results - page 201 / 654 » Structured Service Composition |
157
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
152
click to vote
ICSOC
2007
Springer
16 years 20 days ago
2007
Springer
Service-oriented Architecture supports software to be composed from services dynamically. Selecting and composing appropriate services according to business process, policies and n...
159
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
158
click to vote
OTM
2007
Springer
16 years 19 days ago
2007
Springer
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems includ...
169
click to vote
SOSE
2006
IEEE
16 years 15 days ago
2006
IEEE
Design of service-oriented applications differs from design of the component-based applications in granularity, abstraction and dynamic environment in which binding between client...