next up previous contents
Next: Princip koordinačních modelů a Up: Grafické specifikační jazyky Previous: Další jazyky

Jazyky vycházející z koordinačních modelů

Jazyky uváděné v předchozí sekci se explicitně nezabývají přehledným grafickým vyjádřením komunikačních vztahů mezi komponentami specifikovaného systému. Komunikace v syntaxi Statecharts je ukryta sdílením globálních proměnných. Synchronizace procesů GCSR je určena párováním vstupních a výstupních akcí, propojení procesů není vyjádřeno graficky.

Pro modulární specifikaci a popis souběžných systémů se nabízí myšlenka grafického znázornění komunikace mezi jednotlivými moduly. K tomuto účelu jsou vhodné diagramy toku dat. Vhodnou modifikací těchto diagramů lze získat grafický nástroj pro popis koordinačních modelů [] formalizujících koordinační vztahy mezi komponentami souběžných systémů.





David Safranek
Fri Apr 6 23:53:25 MET DST 2001