Title
Expressing and Reasoning about Service Contracts in Service-Oriented Computing
Abstract
The Web Services and Service-Oriented Architectures (SOA) vision [6] is about building large-scale distributed applications by composing coarse-grained autonomous services in a flexible architecture that can adapt to changing business requirements. These services interact by exchanging one-way messages through standardised message processing and transport protocols. This vision is being driven by economic imperatives for integration and automation across administrative and organisational boundaries. Service contracts play a critical role in SOA. They describe the functionality a service exposes to other services on the network. A contract defines the outgoing and incoming messages the service can send and receive, and the order in which they are sent and received (messaging behaviour). It provides developers and tools with the metadata to compose services into service-oriented applications. This paper presents a concise yet expressive model for service contracts to describe messaging behaviour. The idea is simple: we use Boolean conditions to specify when a message can be sent and received, where the conditions refer only to other messages in the service contract that is, conditions only refer to a service's externalised messaging state and not to internal state.
Year
DOI
Venue
2006
10.1109/ICWS.2006.62
ICWS
Keywords
Field
DocType
service exposes,service contract,services interact,incoming message,service-oriented computing,standardised message processing,messaging behaviour,one-way message,internal state,externalised messaging state,service contracts,coarse-grained autonomous service,transport protocols,service oriented architecture,service oriented architectures,transport protocol,distributed application,web service,web services,service oriented computing,message passing
Metadata,World Wide Web,Computer science,Automation,Differentiated service,Business requirements,Web service,Service delivery framework,Database,Service-oriented architecture,Message passing
Conference
ISBN
Citations 
PageRank 
0-7695-2669-1
8
0.56
References 
Authors
5
7
Name
Order
Citations
PageRank
Dean Kuo118531.95
Alan David Fekete21610201.97
Paul Greenfield323217.53
Surya Nepal41486186.76
John Zic533535.55
Savas Parastatidis618620.63
Jim Webber718118.83