Contract-Based Discovery and Composition of Web Services

  • Mario Bravetti
  • Gianluigi Zavattaro
Chapter
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5569)

Abstract

In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behavioural interfaces that can be used, for instance, to check whether a group of services can be safely combined avoiding, e.g., undesired deadlocks. In this paper we consider the problem of discovering available services that can be used to implement a given service system. The idea is to first design a service system by describing the overall behaviour of each of its participant, and then instantiate such participants retrieving services exposing a behavioural contract which is conformant with the corresponding given behaviour.

Keywords

Operational Semantic Parallel Composition Process Algebra Reduction Behaviour Initial Contract 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Allen, R., Garlan, D.: Formalizing Architectural Connection. In: Proc. ICSE 1994, pp. 71–80. IEEE Computer Society Press, Los Alamitos (1994)Google Scholar
  2. 2.
    Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: a tool for automatically assembling correct and distributed component-based systems. In: Proc. ICSE 2007, pp. 784–787. IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  3. 3.
    Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 207–222. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Bravetti, M., Zavattaro, G.: A Theory for Strong Service Compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 96–112. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  5. 5.
    Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: Lumpe, M., Vanderperren, W. (eds.) SC 2007. LNCS, vol. 4829, pp. 34–50. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. In: Proc. WS-FM 2008. LNCS. Springer, Heidelberg (2008) (to appear)Google Scholar
  7. 7.
    Bravetti, M., Zavattaro, G.: A Foundational Theory of Contracts for Multi-party Service Composition. Fundamenta Informaticae 89(4), 451–478 (2008)MathSciNetMATHGoogle Scholar
  8. 8.
    Bravetti, M., Zavattaro, G.: A Theory of Contracts for Strong Service Compliance. In: Mathematical Structure in Computer Science. Cambridge University Press, Cambridge (2009) (in publication)Google Scholar
  9. 9.
    Brogi, A., Canal, C., Pimentel, E.: Component adaptation through flexible subservicing. Science of Computer Programming 63, 39–56 (2006)MathSciNetCrossRefMATHGoogle Scholar
  10. 10.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  11. 11.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  12. 12.
    Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A Theoretical Basis of Communication-Centred Concurrent Programming, WCD-Working Note (2006), http://www.dcs.qmul.ac.uk/~carbonem/cdlpaper/workingnote.pdf
  14. 14.
    Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A Formal Account of Contracts for Web Services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148–162. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol. 3924, pp. 197–213. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  16. 16.
    Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. In: Proc. POPL 2008, pp. 261–272. ACM Press, New York (2008)Google Scholar
  17. 17.
    De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24(2), 211–237 (1987)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    De Nicola, R., Hennessy, M.: Testing Equivalences for Processes. Theoretical Computer Science 34, 83–133 (1984)MathSciNetCrossRefMATHGoogle Scholar
  19. 19.
    Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 242–254. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  20. 20.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)MATHGoogle Scholar
  21. 21.
    Kobayashi, N.: Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol. 1872, pp. 365–389. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  22. 22.
    Laneve, C., Padovani, L.: The must preorder revisited - An algebraic theory for web services contracts. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 212–225. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  23. 23.
    Mateescu, R., Poizat, P., Salaün, G.: Behavioral adaptation of component compositions based on process algebra encodings. In: Proc. ASE 2007, pp. 385–388. ACM Press, New York (2007)Google Scholar
  24. 24.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  25. 25.
    OASIS: WS-BPEL: Web Services Business Process Execution Language Version 2.0, Technical Report, OASIS (2003)Google Scholar
  26. 26.
    Rensink, A., Vogler, W.: Fair testing. Information and Computation 205, 125–198 (2007)MathSciNetCrossRefMATHGoogle Scholar
  27. 27.
    W3C: WS-CDL: Web Services Choreography Description Language, Technical Report, W3C (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Mario Bravetti
    • 1
  • Gianluigi Zavattaro
    • 1
  1. 1.Department of Computer ScienceUniversity of BolognaItaly

Personalised recommendations