- 1
- In einer früheren Version des Pflichtenheftes (siehe
Version 3) wurde dem Editor nur einzelne Prozesse übergeben. Um die
Schnittstellen nicht zu verkomplizieren, wurde die Entscheidung
zurückgenommen
- 2
- Nicht-Interleaving wäre, wenn
mehrere gleichzeitig Wertzuweisungen und t-Aktionen machen
könnten.
- 3
- Falls es ``grundsätzlich'' keinen
Kommunikationspartner gibt, wird anngenommen, daß Kommunikation mit der
Umgebung gemeint ist. Das ist für den Simulator von Bedeutung,
bei dem der Benutzer die Rolle der Umgebung spielen kann. Siehe die
Diskussion dort.