Skip to Main content Skip to Navigation
Conference papers

Playing with Our CAT and Communication-Centric Applications

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.
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01432928
Contributor : Hal Ifip <>
Submitted on : Thursday, January 12, 2017 - 11:34:54 AM
Last modification on : Tuesday, February 26, 2019 - 10:54:02 AM
Long-term archiving on: : Friday, April 14, 2017 - 5:02:05 PM

File

426757_1_En_5_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto. Playing with Our CAT and Communication-Centric Applications. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.62-73, ⟨10.1007/978-3-319-39570-8_5⟩. ⟨hal-01432928⟩

Share

Metrics

Record views

105

Files downloads

211