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
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2015, 〈10.1016/j.scico.2013.11.019〉
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01227610
Contributeur : Saverio Giallorenzo <>
Soumis le : mercredi 11 novembre 2015 - 17:25:48
Dernière modification le : jeudi 11 janvier 2018 - 17:04:52
Document(s) archivé(s) le : vendredi 12 février 2016 - 20:28:13

Fichiers

scp_2013_full.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

76