Abstract | ||
---|---|---|
We present a tool chain for model-driven development of asynchronous message-passing applications. The key features of the tool allow designers to identify misbehaviour leading to unsound communications, to provide counterexamples, and to suggest possible corrections as well as to project global specifications to local models in order to generate executable implementations. (C) 2020 Published by Elsevier B.V. |
Year | DOI | Venue |
---|---|---|
2021 | 10.1016/j.scico.2020.102535 | SCIENCE OF COMPUTER PROGRAMMING |
Keywords | DocType | Volume |
Choreography, Model-driven development, Message-passing applications, Pomset | Journal | 202 |
ISSN | Citations | PageRank |
0167-6423 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Guanciale | 1 | 54 | 5.05 |
Emilio Tuosto | 2 | 499 | 42.62 |