Developing correct, distributed, adaptive software

Mila Dalla Preda; Maurizio Gabbrielli; Saverio Giallorenzo; Ivan Lanese; Jacopo Mauro

doi:10.1016/j.scico.2013.11.019

Developing correct, distributed, adaptive software

Mila Dalla Preda, Maurizio Gabbrielli^*, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro

^*Corresponding author for this work

University of Bologna

Research output: Contribution to journal › Journal article › Research › peer-review

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.

Original language	English
Journal	Science of Computer Programming
Volume	97
Pages (from-to)	41-46
Number of pages	6
ISSN	0167-6423
DOIs	https://doi.org/10.1016/j.scico.2013.11.019
Publication status	Published - 1. Jan 2015
Externally published	Yes

Keywords

Abstract interpretation
Adaptation
Choreography languages

Documents & Links

10.1016/j.scico.2013.11.019

Cite this

@article{0c6f7a8860c749a2857af2aa98d1a751,

title = "Developing correct, distributed, adaptive software",

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.",

keywords = "Abstract interpretation, Adaptation, Choreography languages",

author = "Preda, {Mila Dalla} and Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Jacopo Mauro",

year = "2015",

month = jan,

day = "1",

doi = "10.1016/j.scico.2013.11.019",

language = "English",

volume = "97",

pages = "41--46",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - Developing correct, distributed, adaptive software

AU - Preda, Mila Dalla

AU - Gabbrielli, Maurizio

AU - Giallorenzo, Saverio

AU - Lanese, Ivan

AU - Mauro, Jacopo

PY - 2015/1/1

Y1 - 2015/1/1

N2 - 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.

AB - 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.

KW - Abstract interpretation

KW - Adaptation

KW - Choreography languages

U2 - 10.1016/j.scico.2013.11.019

DO - 10.1016/j.scico.2013.11.019

M3 - Journal article

SN - 0167-6423

VL - 97

SP - 41

EP - 46

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -

Developing correct, distributed, adaptive software

Abstract

Keywords

Documents & Links

Fingerprint

Cite this