Odborný článek

  1. Základní stavový diagram


  2. Počáteční stav
  3. V tomto stavu systém vyčkává na příkazy od jednotlivých aktérů. Systém informuje jednotlivé aktéry o svém stavu následujícím způsobem (neuvedení aktéři nezískávají žádnou informaci o aktuálním stavu):

    • WWW strávník - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o kontu (počet Kč a počet bodů), jídelní lístek a seznam objednávek (na cca. 7 dní)
      • Generované události (WWW strávníka):
        • Objednávka (Storno objednávky)
        • Odkaz na zobrazení/nastavení údajů strávníka
        • Odkaz na nastavení autoobjednávky
        • Odkaz na informace o menze
    • WAP strávník - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o kontu (počet Kč a počet bodů), seznam objednávek
      • Generované události (WAP strávníka):
        • Objednávka (Storno objednávky)
        • Odkaz na jídelní lístek
        • Odkaz na zobrazení/nastavení údajů strávníka
        • Odkaz na nastavení autoobjednávky
        • Odkaz na informace o menze
    • SMS strávník
    • WWW tazatel - systém zobrazí formulář
      • Datové položky: informace o menze
      • Generované události:
        • Odkaz na jídelní lístek
    • WAP tazatel - systém zobrazí formulář
      • Datové položky: informace o menze
      • Generované události:
        • Odkaz na jídelní lístek
    • SMS tazatel
    • Operátor - systém zobrazí formulář
      • Datové položky: počty objednávek na jednotlivé dny, jídelní lístek, informace o menze
      • Generované události (administrátora):
        • Odkaz na informace o strávnících
    • Administrátor - systém zobrazí 2 formuláře
      1. Formulář:
        • Datové položky: statistika
        • Generované události (administrátora):
          • Zapnutí/vypnutí jednotlivých komponent
      2. Formulář:
        • Datové položky: počty objednávek na jednotlivé dny, jídelní lístek, informace o menze
        • Generované události (administrátora):
          • Odkaz na informace o strávnících
          • Odkaz na informace o operátorech

  4. Redukovaný počáteční stav
  5. V tomto stavu se nachází systém, po vypnutí některé z komponent. Na rozdíl od "normálního" počátečního stavu systém neinformuje o svém stavu aktéry přistupující přes danou komponentu a ani nereaguje na jejich příkazy. Je možné říci, že počáteční stav je speciální typ redukovaného počátečního stavu, ve které jsou všechny komponenty zapnuty. Pro zjednodušení předpokládáme, že přechází-li systém do počátečního stavu, myslí se tím, že přejde do příslušného redukovaného počátečního stavu.

  6. Popis systému (úvod)
  7. Systém bude popisován jako několik "nezávislých" deterministických automatů. Je to z důvodů paraelního přístupu několika aktérů. Deterministický automat popisující celý systém získáme, pokud jednotlivé automaty složíme "dohromady" - viz. Skripta Jazyky a Překlady.

  8. Stavový diagram (WWW strávník)



    • Počáteční stav - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o kontu (počet Kč a počet bodů), jídelní lístek a seznam objednávek (na cca. 7 dní)
      • Generované události (WWW strávníka):
        • Objednávka (Storno objednávky)
        • Odkaz na zobrazení/nastavení údajů strávníka
        • Odkaz na nastavení autoobjednávky
        • Odkaz na informace o menze
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WWW strávníka o svém stavu ani nereaguje na jeho příkazy)
    • Stav nastavení autoobjednávky - systém zobrazí formulář
      • Datové položky: jméno strávníka, aktuální nastavení autoobjednávky
      • Generované události:
        • Nastavení autoobjednávky
        • Odkaz na počáteční stav
    • Stav nastavení údajů strávníka - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o strávníku a jeho kontu
      • Generované události:
        • Nastavení údajů strávníka
        • Odkaz na počáteční stav
        • Zrušení registrace strávníka

  9. Stavový diagram (WAP strávník)



    • Počáteční stav - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o kontu (počet Kč a počet bodů), seznam objednávek
      • Generované události (WAP strávníka):
        • Objednávka (Storno objednávky)
        • Odkaz na jídelní lístek
        • Odkaz na zobrazení/nastavení údajů strávníka
        • Odkaz na nastavení autoobjednávky
        • Odkaz na informace o menze
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WAP strávníka o svém stavu ani nereaguje na jeho příkazy)
    • Stav nastavení autoobjednávky - systém zobrazí formulář
      • Datové položky: jméno strávníka, aktuální nastavení autoobjednávky
      • Generované události:
        • Nastavení autoobjednávky
        • Odkaz na počáteční stav
    • Stav nastavení údajů strávníka - systém zobrazí formulář
      • Datové položky: jméno strávníka, údaje o strávníku a jeho kontu
      • Generované události:
        • Nastavení údajů strávníka
        • Odkaz na počáteční stav
        • Zrušení registrace strávníka

  10. Stavový diagram (SMS strávník)



    • Počáteční stav
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje SMS strávníka o svém stavu ani nereaguje na jeho příkazy)

  11. Stavový diagram (SMS tazatel)



    • Počáteční stav
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje SMS tazatele o svém stavu ani nereaguje na jeho příkazy)

  12. Stavový diagram (WWW tazatel)



    • Počáteční stav - systém zobrazí formulář
      • Datové položky: informace o menze
      • Generované události:
        • Odkaz na jídelní lístek
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WWW tazatele o svém stavu ani nereaguje na jeho příkazy)

  13. Stavový diagram (WWW tazatel)



    • Počáteční stav - systém zobrazí formulář
      • Datové položky: informace o menze
      • Generované události:
        • Odkaz na jídelní lístek
    • Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WWW tazatele o svém stavu ani nereaguje na jeho příkazy)

  14. Stavový diagram (WWW tazatel)




    • Počáteční stav - systém zobrazí formulář
      • Datové položky: počty objednávek na jednotlivé dny, jídelní lístek, informace o menze
      • Generované události (administrátora):
        • Odkaz na informace o strávnících
    • Stav informace o strávnících - systém zobrazí formulář
      • Datové položky: seznam strávníků (a jejich údaje)
      • Generované události
        • Nastavení/Zobrazení údajů strávníka
        • Registrace/Zrušení strávníka
        • Odkaz na počáteční stav

  15. Stavový diagram (WWW tazatel)




    • Počáteční stav - systém zobrazí 2 formuláře
      1. Formulář:
        • Datové položky: statistika
        • Generované události (administrátora):
          • Zapnutí/vypnutí jednotlivých komponent
      2. Formulář:
        • Datové položky: počty objednávek na jednotlivé dny, jídelní lístek, informace o menze
        • Generované události (administrátora):
          • Odkaz na informace o strávnících
          • Odkaz na informace o operátorech
    • Stav informace o strávnících - systém zobrazí formulář
      • Datové položky: seznam strávníků (a jejich údaje)
      • Generované události
        • Nastavení/Zobrazení údajů strávníka
        • Registrace/Zrušení strávníka
        • Odkaz na počáteční stav
    • Stav informace o operátorech - systém zobrazí formulář
      • Datové položky: seznam operátorů (a jejich údaje)
      • Generované události
        • Nastavení/Zobrazení údajů operátorů
        • Registrace/Zrušení operátorů
        • Odkaz na počáteční stav