The Community for Technology Leaders
2013 IEEE 20th International Conference on Web Services (2006)
Chicago, Illinois, USA
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2669-1
pp: 915-918
Surya Nepal , CSIRO ICT Centre Australia
Dean Kuo , University Of Manchester UK
Jim Webber , ThoughtWorks Australia Pty. Ltd
Alan Fekete , University of Sydney Australia
Savas Parastatidis , University of Newcastle UK
John Zic , CSIRO ICT Centre Australia
Paul Greenfield , University of Sydney Australia
ABSTRACT
<p>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.</p> <p>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.</p> <p>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.</p>
INDEX TERMS
null
CITATION
Surya Nepal, Dean Kuo, Jim Webber, Alan Fekete, Savas Parastatidis, John Zic, Paul Greenfield, "Expressing and Reasoning about Service Contracts in Service-Oriented Computing", 2013 IEEE 20th International Conference on Web Services, vol. 00, no. , pp. 915-918, 2006, doi:10.1109/ICWS.2006.62
100 ms
(Ver )