Skip to main content
Springer Nature Link
Log in

Goal-Oriented Composition of Services

  • Conference paper
Software Composition (SC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4954))

Included in the following conference series:

Abstract

One fundamental issue in service-oriented computing concerns the question whether services can be composed in a manner that allows them to achieve their individual goals. In this paper we use a variant of interface automata as an abstraction of the input/output behaviour of services, which are themselves represented as terms in the π-calculus extended with an action for expressing service collaboration. In this setting, the question whether two or more services can meaningfully compose is then reduced to checking a simple property of the product automaton of the involved interfaces.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services: Concepts, Architecture and Applications. Springer, Heidelberg (2004)

    Google Scholar 

  2. Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A.: Adding roles to CORBA objects. IEEE Transactions on Software Engineering 29(3), 242–260 (2003)

    Article  Google Scholar 

  3. Canal, C., Pimentel, E., Troya, J.M.: Compatibility and inheritance in software architectures. Science of Computer Programming 41(2), 105–138 (2001)

    Article  MathSciNet  Google Scholar 

  4. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) (March 2001), http://www.w3.org/TR/wsdl

  5. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Matsui, M. (ed.) FSE 2001. LNCS, vol. 2355, pp. 109–120. Springer, Heidelberg (2002)

    Google Scholar 

  6. Gay, S.J., Hole, M.: Types and subtypes for client-server interactions. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol. 1576, pp. 74–90. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Gay, S.J., Hole, M.: Subtyping for session types in the pi-calculus. Acta Informatica 42(2-3), 191–225 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  8. Honda, K.: Types for dynamic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509–523. Springer, Heidelberg (1993)

    Google Scholar 

  9. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122–138. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  10. Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C.: Web services choreography description language (WS-CDL) (November 2005), http://www.w3.org/TR/ws-cdl-10/

  11. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: 5th IEEE Intl. Symposium on Requirements Engineering (RE 2001), pp. 249–262. IEEE Computer Society Press, Los Alamitos (2001)

    Google Scholar 

  12. Larsen, K.G., Nyman, U., Wasowski, A.: Modal I/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64–79. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  13. Lynch, N., Tuttle, M.: Hierarchical correctness proofs for distributed algorithms. In: 6th Annual Symposium on Principles of Distributed Computing (PODC 1987), pp. 137–151 (1987)

    Google Scholar 

  14. Lynch, N., Tuttle, M.: An introduction to input/output automata. CWI-Quarterly 2(3), 219–246 (1989)

    MATH  MathSciNet  Google Scholar 

  15. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, Parts I and II. Information and Computation 100(1), 1–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  16. Nierstrasz, O.: Regular types for active objects. In: 8th Annual Conference Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1993), pp. 1–15. ACM Press, New York (1993)

    Chapter  Google Scholar 

  17. Singh, M.P., Huhns, M.N.: Service-oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005)

    Google Scholar 

  18. Vallecillo, A., Vasconcelos, V.T., Ravara, A.: Typing the behavior of software components using session types. Fundamenta Informaticae 73(4), 583–598 (2006)

    MATH  MathSciNet  Google Scholar 

  19. Wehrheim, H.: Behavioral subtyping relations for active objects. Formal Methods in System Design 23(2), 143–170 (2003)

    Article  MATH  Google Scholar 

  20. Yellin, D.M., Strom, R.E.: Protocol specifications and component adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatics and Mathematical Modelling, Technical University of Denmark,  

    Sebastian Nanz & Terkel K. Tolstrup

Authors
  1. Sebastian Nanz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Terkel K. Tolstrup
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Cesare Pautasso Éric Tanter

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Nanz, S., Tolstrup, T.K. (2008). Goal-Oriented Composition of Services. In: Pautasso, C., Tanter, É. (eds) Software Composition. SC 2008. Lecture Notes in Computer Science, vol 4954. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78789-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78789-1_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78788-4

  • Online ISBN: 978-3-540-78789-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics