Skip to Main content Skip to Navigation
New interface
Journal articles

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 metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Saverio Giallorenzo Connect in order to contact the contributor
Submitted on : Wednesday, November 11, 2015 - 5:25:48 PM
Last modification on : Thursday, January 20, 2022 - 5:27:00 PM
Long-term archiving on: : Friday, February 12, 2016 - 8:28:13 PM


Files produced by the author(s)




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



Record views


Files downloads