Monika Solanki
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.
- J. C. M. Baeten and C. Verhoef. Concrete Process Algebra, pages 149--268. Oxford University Press, Oxford, UK, 1995.]] Google Scholar
Digital Library
- F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Bruckner, H. Partsch, P. Pepper, and H. Wossner. Towards a wide spectrum language to support program specification and program development. SIGPLAN Not., 13(12):15--24, 1978.]] Google ScholarDigital Library
- D. Brand and P. Zafiropulo. On communicating finite-state machines. J. ACM, 30(2):323--342, 1983.]] Google ScholarDigital Library
- L. Cardelli and R. Davies. Service combinators for web computing. IEEE Trans. Softw. Eng., 25(3):309--316, 1999.]] Google ScholarDigital Library
- A. Cau. ITL and (Ana)Tempura Home page on the web. http://www.cse.dmu.ac.uk/STRL/ITL/.]]Google Scholar
- K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1988.]] Google ScholarDigital Library
- 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/.]]Google Scholar
- M. Corporation. The Component Object Model Specification, October 1995. Draft Version 0.9.]]Google Scholar
- J. Davies and S. Schneider. An Introduction to Timed CSP. Technical report, Oxford University, August 1989.]]Google Scholar
- L. de Alfaro and T. A. Henzinger. Interface automata. In ESEC/FSE-9: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pages 109--120, New York, NY, USA, 2001. ACM Press.]] Google ScholarDigital Library
- O. M. Group(OMG). The common object request broker: Architecture and specification(corba)rev 3.0.2. omg technical document, 2004.]]Google Scholar
- C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21(8):666--677, 1978.]] Google ScholarDigital Library
- C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1985.]] Google ScholarDigital Library
- J. E. Hopcroft and J. D. Ullman. Introduction To Automata Theory, Languages, And Computation. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1990.]] Google ScholarDigital Library
- R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proceedings of the Twenty-Second ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pages 1--14. ACM Press, 2003.]] Google ScholarDigital Library
- M. Imperato. An Introduction to Z. Chartwell-Bratt, 1991.]]Google Scholar
- G. Kahn. The Semantics of a Simple Language for Parallel Programming. Proc Information Processing, North Holland, 1974.]]Google Scholar
- L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, 21(7):558--565, 1978.]] Google ScholarDigital Library
- Lowe and H. Zedan. Refinement of complex systems: a case study. The Computer Journal, 38(10), 1995.]]Google Scholar
- N. Lynch and M. Tuttle. Hierarchical correctness proofs for distributed algorithms. In Proc. 6th ACM Symp. on Principles of Distributed Computing, pages 137--151, 1987.]] Google ScholarDigital Library
- R. Milner. Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1989.]] Google ScholarDigital Library
- R. Milner. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, New York, NY, USA, 1999.]] Google ScholarDigital Library
- J. Misra. Computation orchestration: A basis for wide-area computing. Lecture Notes for NATO summer school, 2004.]]Google Scholar
- J. Misra. A programming model for the orchestration of web services. In SEFM, pages 2--11, 2004.]] Google ScholarDigital Library
- B. Moszkowski. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, England, 1986.]] Google ScholarDigital Library
- B. Moszkowski. Programming Concepts, Methods and Calculi, IFIP Transactions, A-56., chapter Some Very Compositional Temporal Properties, pages 307--326. Elsevier Science B. V., North-Holland, 1994.]] Google ScholarDigital Library
- 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.]]Google Scholar
- C. Peltz. Web services orchestration and choreography. IEEE: Computer, 36(10):4652, October 2003.]]Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- S. K. Rajamani and J. Rehof. A behavioral module system for the pi-calculus. In SAS '01: Proceedings of the 8th International Symposium on Static Analysis, pages 375--394, London, UK, 2001. Springer-Verlag.]] Google ScholarDigital Library
- Y. ri Choi, A. Garg, S. Rai, J. Misra, and H. M. Vin. Orchestrating computations on the world-wide web. In Euro-Par '02: Proceedings of the 8th International Euro-Par Conference on Parallel Processing, pages 1--20, London, UK, 2002. Springer-Verlag.]] Google ScholarDigital Library
- S. J. Woodman, D. J. Palmerand S. K. Shrivastava, and S. M. Wheater. Notations for the specification and verification of composite web services. In Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04), September 20 - 24, 2004.]] Google ScholarDigital Library
- D. Sangiorgi and D. Walker. PI-Calculus: A Theory of Mobile Processes. Cambridge University Press, New York, NY, USA, 2001.]] Google ScholarDigital Library
- D. Scholefield. A Refinement Calculus for Real Time Systems. PhD thesis, University of York, 1992.]]Google Scholar
- 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.]]Google Scholar
- J. M. Spivey. Richer types for z. Formal Asp. Comput., 8(5):565--584, 1996.]]Google ScholarCross Ref
- 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.]]Google Scholar
- The OWL-S Coalition. OWL-S 1.1 Release., 2004. http://www.daml.org/services/owl-s/1.0/.]]Google Scholar
- Tony Andrews et al. Business Process Execution Language for Web Services, Version 1.1, 2003. http://www-106.ibm.com/developerworks/library/wsbpel/.]]Google Scholar
- 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.]]Google Scholar
Index Terms
- ASDL: a wide spectrum language for designing web services
Recommendations
Daios: Efficient Dynamic Web Service Invocation
Systems based on the service-oriented architecture (SOA) paradigm must be able to bind to arbitrary Web services at runtime. However, current service frameworks are predominantly used through precompiled service-access components, which are invariably ...
Composing Web Services: A QoS View
An Internet application can invoke several services--a stock-trading Web service, for example, could invoke a payment service, which could then invoke an authentication service. Such a scenario is called a composite Web service, and it can be specified ...
Flexible matching and ranking of web service advertisements
MW4SOC '07: Proceedings of the 2nd workshop on Middleware for service oriented computing: held at the ACM/IFIP/USENIX International Middleware ConferenceWith the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on non-functional properties, such as QoS and reputation parameters. Current matchmakers ...
Comments