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.

Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J. (2015). Developing correct, distributed, adaptive software. SCIENCE OF COMPUTER PROGRAMMING, 97(P1), 41-46 [10.1016/j.scico.2013.11.019].

Developing correct, distributed, adaptive software

DALLA PREDA, MILA;GABBRIELLI, MAURIZIO;GIALLORENZO, SAVERIO;LANESE, IVAN;MAURO, JACOPO
2015

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.
2015
Dalla Preda, M., Gabbrielli, M., Giallorenzo, S., Lanese, I., Mauro, J. (2015). Developing correct, distributed, adaptive software. SCIENCE OF COMPUTER PROGRAMMING, 97(P1), 41-46 [10.1016/j.scico.2013.11.019].
Dalla Preda, Mila; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/521396
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 4
social impact