Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
433299 | Science of Computer Programming | 2015 | 6 Pages |
Abstract
•We develop a methodology for verifying distributed, adaptive software systems.•The cornerstone of our framework is the use of choreography languages.•We integrate also different techniques based on abstract interpretation and on dynamic verification.
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
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro,