Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
E. Kühn, S. Radschek:
"An initial user study comparing the readability of a graphical coordination model with Event-B notation";
Vortrag: 15th International Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems (FOCLASA 2017),
Trento, Italien;
04.09.2017
- 05.09.2017; in: "Software Engineering and Formal Methods",
Springer,
(2018),
ISBN: 978-3-319-74781-1;
S. 574
- 590.
Kurzfassung englisch:
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.
Schlagworte:
coordination model; Peer Model; Event-B; readability of designs
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-74781-1_38
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.