Ferrari, Gianluigi (2009) Choreography Rehearsal. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
![[img]](http://eprints.adm.unipi.it/style/images/fileicons/other.png) | Other (GZip) Available under License Creative Commons Attribution No Derivatives. Download (266Kb) |
Official URL: http://compass2.di.unipi.it/TR/Files/TR-09-11.pdf....
Abstract
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 |
