Contents

 
• 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
          • Poznámka:
        • 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í
• Praktická část
  • Korespondence GCCS a CCS
    • Jazyk CCS
      • Definice .
    • Návrh algoritmu transformace systémů GCCS do CCS
      • Transformace procesu
        • Označení:
        • Algoritmus .
        • Diskuse:
        • Příklad .
        • Poznámka:
      • Transformace sítě
        • Algoritmus .
        • Poznámka:
        • Diskuse:
        • Příklad .
        • Věta .
        • Důkaz:
      • Transformace výrazů CCS do GCCS
• Implementační část
  • Návrh a implementace grafického editoru GCCS
    • Návrh
      • Specifikace problému
      • Navrhované řešení
        • Grafická část
        • Hierarchická struktura a zajištění konzistence
        • Podpora metodologií návrhu
        • Uživatelské rozhraní
    • Implementace
      • Vlastnosti použité knihovny
      • Hlavní koncepce implementace jednotlivých částí aplikace
        • Grafická část
        • Uživatelské rozhraní
          • Hlavní okno
          • Menu
          • Pracovní lišta
          • Stavová lišta
          • Dialogová okna
        • Funkční část
          • Editační operace
          • Metody pro manipulaci s hierarchií editorů sítí
          • Zajištění konzistence
          • Transformace do CCS
          • Poznámka:
    • Dovětek k implementaci
    • Porovnání s existujícími nástroji
  • Příklad použití editoru
  • Závěr
    • Motivace k další práci
  • References
  • Obsah přiloženého CD
• About this document ...