- Základní stavový diagram
- Počáteční stav
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:
- WAP tazatel - systém zobrazí formulář
- Datové položky: informace o menze
- Generované události:
- 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
- Formulář:
- Datové položky: statistika
- Generované události (administrátora):
- Zapnutí/vypnutí jednotlivých komponent
- 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
- Redukovaný počáteční stav
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.
- Popis systému (úvod)
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.
- 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
- 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
- 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)
- 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)
- Stavový diagram (WWW tazatel)
- Počáteční stav - systém zobrazí formulář
- Datové položky: informace o menze
- Generované události:
- Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WWW tazatele o svém stavu ani nereaguje na jeho příkazy)
- Stavový diagram (WWW tazatel)
- Počáteční stav - systém zobrazí formulář
- Datové položky: informace o menze
- Generované události:
- Zakázaný stav - systém nekomunikuje se strávníkem (tj. neinformuje WWW tazatele o svém stavu ani nereaguje na jeho příkazy)
- 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
- Stavový diagram (WWW tazatel)
- Počáteční stav - systém zobrazí 2 formuláře
- Formulář:
- Datové položky: statistika
- Generované události (administrátora):
- Zapnutí/vypnutí jednotlivých komponent
- 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
|