ASDL: a wide spectrum language for designing web services

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.

REFERENCES

• 1: J. C. M. Baeten , C. Verhoef, Concrete process algebra, Handbook of logic in computer science (vol. 4): semantic modelling, Oxford University Press, Oxford, 1995
• 2: F. L. Bauer , M. Broy , R. Gnatz , W. Hesse , B. Krieg-Brückner , H. Partsch , P. Pepper , H. Wössner, Towards a wide spectrum language to support program specification and program development, ACM SIGPLAN Notices, v.13 n.12, p.15-24, December 1978 [doi>10.1145/954587.954588]
• 3: Daniel Brand , Pitro Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM (JACM), v.30 n.2, p.323-342, April 1983 [doi>10.1145/322374.322380]
• 4: Luca Cardelli , Rowan Davies, Service Combinators for Web Computing, IEEE Transactions on Software Engineering, v.25 n.3, p.309-316, May 1999 [doi>10.1109/32.798321 ]
• 5: A. Cau. ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/STRL/ITL/.
• 6: K. Mani Chandy, Parallel program design: a foundation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1988
• 7: R. Chinnic, H. Haas, A. Lewis, J. J. Moreau, D. Orchard, and S. Weerawarana. Web services description language (wsdl) version 2.0 part 1: Core language w3c working draft 3 August 2005, 2005. http://www.w3.org/TR/2005/WD-wsdl20-20050803/.
• 8: M. Corporation. The Component Object Model Specification, October 1995. Draft Version 0.9.
• 9: J. Davies and S. Schneider. An Introduction to Timed CSP. Technical report, Oxford University, August 1989.
• 10: Luca de Alfaro , Thomas A. Henzinger, Interface automata, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, September 10-14, 2001, Vienna, Austria
• 11: O. M. Group(OMG). The common object request broker: Architecture and specification(corba)rev 3.0.2. omg technical document, 2004.
• 12: C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
• 13: C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
• 14: John E. Hopcroft , Jeffrey D. Ullman, Introduction To Automata Theory, Languages, And Computation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
• 15: Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California [doi>10.1145/773153.773154]
• 16: M. Imperato. An Introduction to Z. Chartwell-Bratt, 1991.
• 17: G. Kahn. The Semantics of a Simple Language for Parallel Programming. Proc Information Processing, North Holland, 1974.
• 18: Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
• 19: Lowe and H. Zedan. Refinement of complex systems: a case study. The Computer Journal, 38(10), 1995.
• 20: Nancy A. Lynch , Mark R. Tuttle, Hierarchical correctness proofs for distributed algorithms, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.137-151, August 10-12, 1987, Vancouver, British Columbia, Canada [doi>10.1145/41840.41852]
• 21: R. Milner, Communication and Concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
• 22: Robin Milner, Communicating and mobile systems: the &pgr;-calculus, Cambridge University Press, New York, NY, 1999
• 23: J. Misra. Computation orchestration: A basis for wide-area computing. Lecture Notes for NATO summer school, 2004.
• 24: Jayadev Misra, A Programming Model for the Orchestration of Web Services, Proceedings of the Software Engineering and Formal Methods, Second International Conference on (SEFM'04), p.2-11, September 28-30, 2004 [doi>10.1109/SEFM.2004.2]
• 25: Ben Moszkowski, Executing temporal logic programs, Cambridge University Press, New York, NY, 1986
• 26: Ben C. Moszkowski, Some Very Compositional Temporal Properties, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi, p.307-326, June 06-10, 1994
• 27: Nickolas Kavantzas, David Burdett, Gregory Ritzinger, Tony Fletcher, Yves Lafon. Web Services Choreography Description Language Version 1.0: W3C Working Draft 17 December 2004, 2004.
• 28: C. Peltz. Web services orchestration and choreography. IEEE: Computer, 36(10):4652, October 2003.
• 29: W. Peng. Single-link and time communicating finite state machines. In Proc. of 1994 International Conference on Network Protocol, pages 126--133, Boston, October 1994.
• 30: Sriram K. Rajamani , Jakob Rehof, A Behavioral Module System for the Pi-Calculus, Proceedings of the 8th International Symposium on Static Analysis, p.375-394, July 16-18, 2001
• 31: Young-ri Choi , Amit Garg , Siddhartha Rai , Jayadev Misra , Harrick M. Vin, Orchestrating Computations on the World-Wide Web, Proceedings of the 8th International Euro-Par Conference on Parallel Processing, p.1-20, August 27-30, 2002
• 32: S. J. Woodman , D. J. Palmer , S. K. Shrivastava , S. M. Wheater, Notations for the Specification and Verification of Composite Web Services, Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04), p.35-46, September 20-24, 2004 [doi>10.1109/EDOC.2004.15]
• 33: Davide Sangiorgi , David Walker, PI-Calculus: A Theory of Mobile Processes, Cambridge University Press, New York, NY, 2001
• 34: D. Scholefield. A Refinement Calculus for Real Time Systems. PhD thesis, University of York, 1992.
• 35: M. Solanki. A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Service. PhD thesis, De Montfort University, Leicester, UK, October 2005.
• 36: J. M. Spivey. Richer types for z. Formal Asp. Comput., 8(5):565--584, 1996.
• 37: K. Stølen, F. Dederichs, and R. Weber. Assumption/commitment rules for networks of asynchronously communicating agents. Technical Report TUM-I9303, Technische Univerität München, 1993.
• 38: The OWL-S Coalition. OWL-S 1.1 Release., 2004. http://www.daml.org/services/owl-s/1.0/.
• 39: Tony Andrews et al. Business Process Execution Language for Web Services, Version 1.1, 2003. http://www-106.ibm.com/developerworks/library/wsbpel/.
• 40: X. Fu T. Bultan and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In Proceedings of the 8th International Conference on Implementation and Application of Automata (CIAA), pages 188--200, Santa Barbara, CA, USA, 2003.

INDEX TERMS

Primary Classification:
  F. Theory of Computation
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.3 Formal Languages

Additional Classification:
  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.1 Models of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages

General Terms:
Design, Languages, Theory

Keywords:
ASDL, computational model, web services, wide spectrum