“…In the main parallel task, editor, the editing of the text stored in the shared state is realized by the iTask editor updateSharedInformation (line 2). A value of type Note is used as view on the shared text string and any update made by the end-user is directly be mapped back in this shared state (lines[8][9][10][11]. It provides four options to the end user, labeled ActionSave, ActionReplace, ActionStatistics, and ActionQuit (lines 3-7).…”