2018 | OriginalPaper | Buchkapitel
An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation
Autoren: Eva Kühn, Sophie Therese Radschek
Erschienen in:
Software Engineering and Formal Methods
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 level of 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.
