Developing correct, distributed, adaptive software

Mila Dalla Preda 1, 2 Maurizio Gabbrielli 1, 2 Saverio Giallorenzo 2, 1 Ivan Lanese 1, 2 Jacopo Mauro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We illustrate our approach to develop and verify distributed, adaptive software systems. The cornerstone of our framework is the use of choreography languages, which allow us to obtain correctness by construction. Workflow Patterns are also used as abstract tools to design real systems, while techniques based on abstract interpretation and on dynamic verification are integrated in our framework to reduce the complexity of verification
Document type :
Journal articles
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-01227610
Contributor : Saverio Giallorenzo <>
Submitted on : Wednesday, November 11, 2015 - 5:25:48 PM
Last modification on : Wednesday, October 10, 2018 - 10:10:22 AM
Long-term archiving on : Friday, February 12, 2016 - 8:28:13 PM

Files

scp_2013_full.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro. Developing correct, distributed, adaptive software. Science of Computer Programming, Elsevier, 2015, ⟨10.1016/j.scico.2013.11.019⟩. ⟨hal-01227610⟩

Share

Metrics

Record views

199

Files downloads

249