Developing correct, distributed, adaptive software - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2015

Developing correct, distributed, adaptive software

Résumé

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
Fichier principal
Vignette du fichier
scp_2013_full.pdf (86.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01227610 , version 1 (11-11-2015)

Identifiants

Citer

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⟩
92 Consultations
173 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More