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

coordination model; Peer Model; Event-B; readability of designs

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Created from the Publication Database of the Vienna University of Technology.