Talks and Poster Presentations (with Proceedings-Entry):
E. Kühn, S. Radschek:
"An initial user study comparing the readability of a graphical coordination model with Event-B notation";
Talk: 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017),
Trento, Italien;
2017-09-04
- 2017-09-05; in: "Software Engineering and Formal Methods",
Springer,
(2018),
ISBN: 978-3-319-74781-1;
574
- 590.
English abstract:
Given the advance of IoT applications, coordination of concurrent and distributed systems will become ever more important. However, the concepts are sometimes hard to grasp and comprehensive modelling tools with a high abstraction from cumbersome messaging code must be found. Readability and compact representation is often a selling point for graphical notations. But how does one substantiate that claim? How can textual and graphical notations be compared? We have conducted a small readability study comparing the basic Event-B to the graphical notation of the Peer Model - a compact and powerful coordination model. We discuss the results and lessons learned from this initial
study.
Keywords:
coordination model; Peer Model; Event-B; readability of designs
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-74781-1_38
Created from the Publication Database of the Vienna University of Technology.