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 -