Abstract:
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associated with communication, unreliability and unavailability of services, and competition for resources from multiple service requesters are dominant concerns. As complexity of services increase, an abstract design language for the specification of services and interaction between them is desired. In this paper, we present ASDL (Abstract Service Design Language), a wide spectrum language for modelling Web services. We initially provide an informal description of our computational model for service oriented systems. We then present ASDL along with its specification oriented semantics defined in Interval Temporal Logic (ITL): a sound formalism for specifying and reasoning about temporal properties of systems. The objective of ASDL is to provide a notation for the design of service composition and interaction protocols at an abstract level.
Citations
|
2909
|
Introduction to Automata Theory, Languages and Computation
– Hopcroft, Ullman
- 1979
|
|
2779
|
Communicating sequential processes
– Hoare
- 1978
|
|
2713
|
Communication and Concurrency
– Milner
- 1989
|
|
1820
|
Time, clocks, and the ordering of events in a distributed system
– Lamport
- 1978
|
|
674
|
Parallel Program Design: A Foundation
– Chandy, Misra
- 1988
|
|
511
|
The semantics of a simple language for parallel programming
– Kahn
- 1974
|
|
321
|
Hierarchical correctness proofs for distributed algorithms
– Lynch, Tuttle
- 1987
|
|
266
|
The π-calculus: A theory of mobile processes
– Sangiorgi, Walker
- 2001
|
|
193
|
Interface automata
– Alfaro, Henzinger
- 2001
|
|
168
|
On communicating finite-state machines
– Brand, Zafiropulo
- 1983
|
|
164
|
The Common Object Request Broker: Architecture and Specification
– Group
- 1995
|
|
131
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
128
|
Communicating and Mobile Systems: the Pi-Calculus
– Milner
- 1999
|
|
102
|
et al. Business process execution language for web services, version 1.1
– Andrews
- 2003
|
|
100
|
Web services orchestration and choreography
– Peltz
- 2003
|
|
83
|
Eservices: A look behind the curtain
– HULL, BENEDIKT, et al.
- 2003
|
|
69
|
Service combinators for web computing
– Cardelli, Davies
- 1999
|
|
49
|
Conversation protocols: a formalism for specification and verification of reactive electronic services. TCS
– Fu, Bultan, et al.
- 2004
|
|
40
|
Computation orchestration: A basis for wide-area computing
– Misra
- 2004
|
|
24
|
An Introduction to Timed CSP
– Davies, Schneider
- 1989
|
|
22
|
The Component Object Model Specification
– Corporation
- 1995
|
|
17
|
A behavioral module system for the pi-calculus
– Rajamani, Rehof
|
|
12
|
Notations for the Specification and Verification of Composite Web Services
– Woodman, Palmer, et al.
- 2004
|
|
10
|
Refinement of Complex Systems: a Case Study
– Lowe, Zedan
- 1995
|
|
7
|
Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents
– len, Dederichs, et al.
- 1993
|
|
6
|
A programming model for the orchestration of web services
– Misra
- 2004
|
|
5
|
Single-link and time communicating finite state machines
– Peng
- 1994
|
|
5
|
H.: Orchestrating computations on the world-wide web
– Choi, Garg, et al.
- 2002
|
|
5
|
Richer Types for Z
– Spivey
- 1996
|
|
3
|
An Introduction to Z. Chartwell-Bratt
– Imperato
- 1991
|
|
2
|
A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Service
– Solanki
- 2005
|
|
1
|
Towards a wide spectrum language to support program specification and program development
– Bauer, Broy, et al.
- 1978
|
|
1
|
ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/STRL/ITL
– Cau
|
|
1
|
Web services language (wsdl) version 2.0 part 1: Core language w3c working draft 3
– Chinnic, Haas, et al.
- 2005
|
|
1
|
A Refinement Calculus for Real Time Systems
– Scholefield
- 1992
|
