Abstract | ||
---|---|---|
We describe CAT, a toolkit supporting the analysis of communication-centric applications, i.e., applications consisting of ensembles of interacting services. Services are modelled in CAT as contract automata and communication safety is defined in terms of agreement properties. With the help of a simple albeit non trivial example, we demonstrate how CAT can i verify agreement properties, ii synthesise an orchestrator enforcing communication safety, iii detect misbehaving services, and iv check when the services form a choreography. The use of mixed-integer linear programming is a distinguished characteristic of CAT that allows us to verify context-sensitive properties of agreement. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-39570-8_5 | FORTE |
DocType | Volume | ISSN |
Conference | 9688 | 0302-9743 |
Citations | PageRank | References |
4 | 0.48 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davide Basile | 1 | 48 | 10.14 |
Pierpaolo Degano | 2 | 2000 | 170.34 |
Gian Luigi Ferrari | 3 | 731 | 59.95 |
Emilio Tuosto | 4 | 499 | 42.62 |