Call-by-Contract for Service Discovery, Orchestration and Recovery

  • Massimo Bartoletti
  • Pierpaolo Degano
  • Gian Luigi Ferrari
  • Roberto Zunino

Abstract

We present a framework for designing and composing services in a “call-by-contract” fashion, i.e. according to their behavior. We discuss how to correctly plan service compositions in some relevant classes of services and behavioral properties. To this aim, we propose both a core functional calculus for services, and a graphical design language. The core calculus features primitives for selecting and invoking services that respect given behavioral requirements, typically safety properties on the service execution history. A type and effect system over-approximates the actual run-time behavior of services. A further static analysis step finds the viable plans that drive the selection of those services matching the behavioral requirements on demand.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Massimo Bartoletti
    • 1
  • Pierpaolo Degano
    • 2
  • Gian Luigi Ferrari
    • 2
  • Roberto Zunino
    • 3
  1. 1.Dipartimento di Matematica e InformaticaUniversità degli Studi di CagliariItaly
  2. 2.Dipartimento di InformaticaUniversità di PisaItaly
  3. 3.Dipartimento di Ingegneria e Scienza dell’InformazioneUniversità di TrentoItaly

Personalised recommendations