Università di Pisa
Sistema bibliotecario di ateneo

Choreography Rehearsal

Ferrari, Gianluigi (2009) Choreography Rehearsal. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Other (GZip)
Available under License Creative Commons Attribution No Derivatives.

Download (266Kb)


    We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography.We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which events can be delivered to match the choreography constraints and how the multicast groups can be optimised to handle event notification within the service choreography.

    Item Type: Book
    Uncontrolled Keywords: Service Oriented Computing Static Analysis Formal Verification
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 04 Dec 2014 14:28
    Last Modified: 04 Dec 2014 14:28
    URI: http://eprints.adm.unipi.it/id/eprint/2231

    Repository staff only actions

    View Item