id: 05976353
dt: a
an: 05976353
au: Bartoletti, Massimo; Degano, Pierpaolo; Ferrari, Gian Luigi; Zunino,
    Roberto
ti: Call-by-contract for service discovery, orchestration and recovery.
so: Wirsing, Martin (ed.) et al., Rigorous software engineering for
    service-oriented systems. Results of the SENSORIA project on software
    engineering for service-oriented computing. Berlin: Springer (ISBN
    978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 232-261
    (2011).
py: 2011
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-20401-2_11
ab: Summary: 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.
rv: