Teoretická část

 
• Úvod
  • Cíl a členění diplomové práce
• Grafické specifikační jazyky
  • Vlastnosti grafických specifikační jazyků
    • Syntax
    • Sémantika
    • Abstrakce a hierarchie
    • Modularita
    • Dostupnost nástrojů
  • Jazyky vycházející ze stavových diagramů
    • Statecharts
    • GCSR
    • Další jazyky
  • Jazyky vycházející z koordinačních modelů
    • Princip koordinačních modelů a jazyků
    • Vlastnosti grafických koordinačních jazyků
    • Grafické koordinační jazyky a dostupné nástroje
  • Další možné přístupy
  • Shrnutí
• Jazyk GCCS
  • Přehled základních vlastností
    • Příklad specifikace systému
  • Syntax a sémantika GCCS
    • Přehled syntaxe a sémantiky
      • Proces
      • Síť
    • Jazyk termů GCCS
      • Definice .
      • Poznámka:
      • Definice .
      • Poznámka:
      • Lemma .
      • Důkaz:
      • Příklad .
      • Definice .
      • Poznámka:
      • Označení:
      • Definice .
      • Definice .
      • Poznámka:
    • Operační sémantika GCCS
      • Označení:
    • Shrnutí