Označení spínače na stavovém diagramu

Stavový diagram je typ diagramu používaný v informatice a příbuzných oborech k popisu chování systémů. Stavové diagramy vyžadují, aby popisovaný systém sestával z konečného počtu stavů; někdy je to skutečně pravda a jindy je to rozumná abstrakce. Existuje mnoho forem stavových diagramů, které se mírně liší a mají různou sémantiku.

Stavové diagramy se používají k abstraktnímu popisu chování systému. Toto chování je analyzováno a reprezentováno jako série událostí, které mohou nastat v jednom nebo více možných stavech. Tedy “každý diagram typicky reprezentuje objekty stejné třídy a sleduje různé stavy svých objektů v systému.”

Stavové diagramy lze použít ke grafickému znázornění konečných automatů (také nazývaných stavové automaty). Zavedli ji Claude Shannon a Warren Weaver ve své knize z roku 1949 A Mathematical Theory of Communication. Dalším zdrojem je Taylor Booth ve své knize Sequential Machines and Automata Theory z roku 1967. Další možnou reprezentací je tabulka přechodů stavů.

Klasická forma stavového diagramu pro konečný automat (FA) je orientovaný graf s následujícími prvky (Q, Σ, Z, δ, q 0, F):

• Q vrcholy: konečná množina stavů, obvykle reprezentovaná kruhy a označená jedinečnými symboly nebo slovy napsanými uvnitř
• Vstupní symboly Σ: konečná množina vstupních symbolů nebo ukazatelů
• Výstupní symboly Z: konečná množina výstupních symbolů nebo ukazatelů

Výstupní funkce ω představuje zobrazení z uspořádaných dvojic vstupních symbolů a stavů na výstupní symboly, matematicky označené jako ω: Σ× Q→ Z.

• Hrany δ: představují přechody z jednoho stavu do druhého způsobené vstupem (identifikované jejich symboly nakreslenými podél hran). Hrana je obvykle zobrazena jako šipka ukazující z aktuálního stavu do dalšího stavu. Toto mapování popisuje přechod stavu, který by měl nastat při zadání určitého znaku. Matematicky je to zapsáno jako δ: Q× Σ→ Q, takže δ (přechodová funkce) v definici FA je dána jak dvojicí vrcholů spojených hranou, tak symbolem na hraně v diagramu představujícím, že FA. Klauzule δ (q, a) = p v definici FA znamená, že ze stavu označeného q pod vstupním znakem a dochází k přechodu do stavu p, který se nachází v tomto aparátu. V diagramu představujícím tento FA je reprezentován hranou označenou a, směřující z vrcholu označeného q k vrcholu označenému p.
• Počáteční stav q 0: (není zobrazen v příkladech níže). Počáteční stav q 0 ∈ Q je obvykle reprezentován šipkou bez počátku směřující do stavu. Ve starších textech se počáteční stav nezobrazuje a musí být z textu odvozen.
• Stav(y) akceptace F: Pokud se použije například pro akceptaci automatů, F ∈ Q je stav přijetí. Obvykle se kreslí ve formě dvojitého kruhu. Někdy stav příjmu funguje jako “F inal” stav.

Pro deterministický konečný stroj (DFA), nedeterministický konečný stroj (NFA), zobecněný nedeterministický konečný stroj (GNFA) nebo Mooreův stroj jsou vstupní data označena na každé hraně. U stroje Mealy jsou vstup a výstup označeny na každé hraně, oddělené lomítkem “/”: “1/0” označuje změnu stavu při setkání se symbolem “1”, což způsobí zobrazení symbolu “0”. pro stažení. Pro Mooreův stroj je výstup stavu obvykle zapsán uvnitř stavového kruhu, který je také oddělen od označení stavu lomítkem “/”. Existují také možnosti, které kombinují tato dvě označení.

Pokud má například stav více výstupů (např. “a = motor CCW = 1, b = výstražné světlo neaktivní = 0”), diagram by to měl odrážet: například “q5 / 1,0” označuje stav q5 s výstupy a = 1 , b = 0. Tento zápis bude zapsán uvnitř stavového kruhu.

Příklad: stroj DFA, NFA, GNFA nebo Moore

S1 a S2 jsou stavy a S1 je stav příjmu nebo konečný stav. Každá hrana je označena vstupem. Tento příklad ukazuje akceptor pro binární čísla obsahující sudý počet nul.

Příklad: zařízení Mili

S0, S1 a S2 jsou stavy. Každá hrana je označena “j/k”, kde j je vstup a k je výstup.

Harelův stavový diagram

Diagram ukazující, jak Harelovy stavové diagramy přispěly k objektově orientovaným metodám a zápisu

Harelovy stavové diagramy, které vynalezl počítačový vědec David Harel, se staly široce používanými poté, co se staly variantou UML (Unified Modeling Language). Typ diagramu umožňuje modelovat superstavy, ortogonální oblasti a akce jako součást stavu.

Klasické stavové diagramy vyžadují vytvoření samostatných uzlů pro každou platnou kombinaci parametrů, které definují stav. To může vést k velmi velkému počtu uzlů a přechodů mezi uzly pro všechny kromě nejjednodušších systémů (exploze stavu a přechodu). Tato složitost snižuje čitelnost stavového diagramu. Pomocí Harelových stavových diagramů můžete modelovat více křížových stavových diagramů ve stavovém diagramu. Každý z těchto univerzálních stavových automatů může provést vnitřní přechod bez ovlivnění ostatních stavových automatů ve stavovém diagramu. Aktuální stav každého univerzálního stavového automatu ve stavovém diagramu určuje stav systému. Harelův stavový diagram je ekvivalentní stavovému diagramu, ale zlepšuje čitelnost výsledného diagramu.

Pro reprezentaci stavových diagramů jsou k dispozici další sady sémantiky. Existují například nástroje pro modelování a navrhování logiky pro vestavěné řadiče. Tyto diagramy, stejně jako Harelovy původní stavové stroje, podporují hierarchicky vnořené stavy, ortogonální oblasti, stavové akce a přechodové akce.

Stavové diagramy a vývojové diagramy

Nováčci ve formalismu konečných automatů si často pletou stavové diagramy s vývojovými diagramy. Obrázek níže ukazuje srovnání mezi stavovým diagramem a blokovým diagramem. Stavový stroj (panel(a)) provádí akce v reakci na explicitní události. Naproti tomu vývojový diagram (panel (b)) nevyžaduje explicitní události, ale spíše se po dokončení akcí automaticky přesouvá od uzlu k uzlu v jeho grafu.

Uzly vývojového diagramu jsou hrany v grafu indukovaného stavu. Důvodem je, že každý uzel v blokovém diagramu představuje příkaz programu. Příkaz programu je akce, která má být provedena. Není to tedy stav, ale když je aplikován na programový stav, způsobí přechod do jiného stavu.

Podrobněji výpis zdrojového kódu představuje graf programu. Provedením programového grafu (analýza a interpretace) vznikne stavový graf. Každý graf programu tedy vyvolává stavový graf. Transformace programového grafu na příslušný stavový graf se nazývá „rozbalení“ programového grafu.

Plán programu je posloupnost příkazů. Pokud neexistují žádné proměnné, pak se stav skládá pouze z programového čítače, který během provádění sleduje, kde se v programu nacházíme (jaký další příkaz bude aplikován).

V tomto případě je před provedením příkazu čítač programu na určité pozici (stav před provedením příkazu). Provedení příkazu posune počítadlo programu na další příkaz. Vzhledem k tomu, že programový čítač je celostavový, znamená to, že provedením instrukce došlo ke změně stavu. Samotný příkaz tedy odpovídá přechodu mezi dvěma stavy.

Nyní zvažte úplný případ, kdy proměnné existují a jsou ovlivněny prováděnými příkazy programu. Mezi různými buňkami programového čítače se pak mění nejen programový čítač, ale proměnné mohou také měnit hodnoty v důsledku provedených příkazů. I když tedy opakovaně přistupujeme k libovolnému příkazu v programu (například ve smyčce), neznamená to, že je program ve stejném stavu.

V předchozím případě by byl program ve stejném stavu, protože celý stav je jen programový čítač, takže pokud program ukazuje na stejnou pozici (další instrukce), stačí naznačit, že jsme ve stejném stavu . Pokud však stav obsahuje proměnné, pak pokud změní hodnotu, můžeme být na stejném místě v programu s různými hodnotami proměnných, tedy v jiném stavu ve stavovém prostoru programu. Termín “rozvinutí” pochází z tohoto násobení umístění při vytváření grafu stavu z grafu programu.

Typickým příkladem je smyčka do, která inkrementuje nějaký čítač, dokud nepřeteče a stane se znovu 0 Přestože smyčka do iterativně vykonává stejnou inkrementaci, takže programový graf provede smyčku, její stavový prostor není smyčka, ale řádek. Je to proto, že stav je umístění programu (zde smyčka) v kombinaci s hodnotou čítače, která je přísně inkrementována (do přetečení), takže různé stavy jsou navštěvovány postupně, dokud nedojde k přetečení. Po přetečení se čítač stane znovu 0, takže se ve stavovém prostoru znovu vrátí počáteční stav, čímž se smyčka ve stavovém prostoru uzavře (za předpokladu, že čítač byl inicializován na 0).

Výše uvedený obrázek se pokouší ukázat toto obrácení rolí kombinací oblouků stavového diagramu s kroky zpracování vývojového diagramu.

Vývojový diagram můžete porovnat s montážní linkou v továrně, protože vývojový diagram popisuje průběh nějakého úkolu od začátku do konce (například převod vstupu zdrojového kódu na výstup objektového kódu kompilátorem). Státní automat obvykle o takovém pokroku nemá ponětí. Automat stavu dveří zobrazený v horní části tohoto článku například není v pokročilejším stádiu, když je ve stavu „zavřeno“ ve srovnání se stavem „otevřeno“; jen jinak reaguje na události otevření/zavření. Stav ve stavovém stroji je účinný způsob definování specifického chování spíše než krok zpracování.

Zajímavým rozšířením je umožnit obloukům přejít z libovolného počtu stavů do libovolného počtu stavů. To dává smysl pouze tehdy, když je systému dovoleno být ve více stavech současně, což znamená, že jeden stav pouze popisuje stav nebo jiný dílčí aspekt celkového globálního stavu. Výsledný formalismus je známý jako Petriho síť.

. Další rozšíření umožňuje integraci blokových diagramů do Harelových stavových diagramů. Toto rozšíření podporuje vývoj softwaru řízeného událostmi a pracovními postupy.

• David Harel
• DRACON
• SCXML je jazyk XML, který poskytuje obecné spouštěcí prostředí založené na stavovém stroji založené na stavových diagramech Harel.
• Státní stroj UML
• YAKINDU Statechart Tools je software pro modelování stavových diagramů (Harel statechart, Mealy machine, Moore machine), simulaci a generování zdrojového kódu.

Wikimedia Commons má média související se státními tabulkami.

• Úvod do UML 2 State Machine Diagrams od Scotta W. Amblera
• Pokyny pro schémata státních strojů UML 2 Scott W. Ambler
• Intelliwizard – UML StateWizard je UML dynamický modelovací/vývojový rámec a nástroj podobný ClassWizard a nástroj, který běží v populárních IDE pod open source licencí.
• YAKINDU Statechart nástroje – otevřený-zdroj – nástroj pro specifikování a vyvíjení reaktivních, událostmi řízených systémů používat stroje konečného stavu.
• Porozumění a používání stavových strojů MATLAB Tech Talks on State Machines
• FSM: Open Source Finite State Machine Generation v Javě, Alexander Sacharov FSM
• scxmlcc Efektivní stavový stroj scxml pro kompilátor C++.
• SMC: Kompilátor stavového stroje s otevřeným zdrojovým kódem, který generuje FSM pro mnoho jazyků, jako je C, Python, Lua, Scala, PHP, Java, VB atd. SMC

1. Výukový kurz UML v analýze a návrhu softwarových systémů a podnikových procesů Přednáška 5 Schéma stavového stroje

2. Schéma stavového stroje

– je graf, který představuje nějakou konečnost
automatický
Státní automat je jistota
formalismus pro modelování chování jednotlivých prvků
modely nebo systémy jako celek
Chování je specifikace toho, jak instance
klasifikátor mění hodnoty jednotlivých charakteristik v
běhu svého života
Stav – prvek zamýšleného modelu chování
představovat situaci, během které je podpora udržována
nějaký neměnný stav
Přechod je směrový vztah mezi
dva stavy, z nichž jeden je nejvyšší
zdroj (zdrojový vertex) a druhý – cílový vertex (cíl
vrchol)

3. Základní notace pro konečný automat

4. Příklady zápisu pro konečný automat

5. Jednoduchý stav

– nazývá se stav, který nemá vnitřní
regiony a substáty
Na schématu konečného stroje je dovoleno zobrazovat
státy beze jména, které se nazývají anonymní
státy
Všechny anonymní stavy jsou považovány za odlišné
Není vhodné ukazovat totéž na jednom diagramu
pojmenovaný stát dvakrát, než je to možné
vést k nedorozumění
Otevření účtu
Čekání
v ódě
heslo
Nastavit heslo
vstup / nastavení znaků neviditelné
ukončit / nastavit symboly jako viditelné
symbol / symbol procesu
nápověda / otevřít okno nápovědy

6. Jednoduchý stav s vnitřními akcemi

7. Sekce vnitřního provozu

záznam – tento štítek určuje chování, které je také
tzv. vstupní chování. Toto chování se provádí
při každém vstupu do tohoto stavu
bez ohledu na přechod, který toho umožnil
stav (vstupní akce)
exit – tento štítek určuje chování, které také
tzv. chování při odchodu. Toto chování
provede se vždy, když dojde k danému opuštění
stavu bez ohledu na přechod, který z něj vede
stavy (výstupní akce)
do – tento štítek určuje chování, které
se provádí až do simulovaného prvku
je v tomto stavu, nebo dokud
dokončení uvedené činnosti
s odpovídajícím výrazem (du activity)

8. Specifikace vnitřních stavových akcí

9. Vnitřní přechody a odložené události

Vnitřní přechod se provádí bez ukončení
stavu a bez opětovného vstupu do stavu, ve kterém se nachází
odhodlaný
Událost, která nespouští žádné přechody v
aktuální stav nelze zpracovat. Pokud však
jeho typ odpovídá jednomu z typů v množině odložených
události tohoto stavu, zůstane v fondu událostí.
Odložené události se ukládají, dokud žádné další nebudou
bylo dosaženo jiného stavu, ve kterém tyto události mohou
zahájit nějaký přechod
Odložená událost je znázorněna jako samostatný řádek
text v souladu s dříve diskutovaným form
syntaxe pro spouštěč, za nímž následuje
oddělovač „/“ (zpětné lomítko) a klíčové slovo odložit

10. Specifikace přechodu

Událost je specifikací některých
podmínky, které ovlivňují chování
modelovaná entita
Spouštěč vytvoří vztah události s
chování, které může ovlivnit instanci
klasifikátor

11. Specifikace přechodu

Přechod lze označit řádkem textu, jehož syntaxe je
je definováno následujícím výrazem (BNF):
:: = [‘,’]* [‘[”]’] [‘/’]
Zde představuje název spouštěcí události,
nebo spíše jeho typ. Lze použít jako název spouštěče
názvy operací s parametry nebo bez nich.
Termín, který v předchozích verzích
Jazyk UML 1.x se nazývá ochranná podmínka,
je logický výraz napsaný v pojmech
parametry spouštěcí události, atributy objektů a vztahy
kontext.
Termín, kterému se někdy říká
chování výraz, je proveden tehdy a pouze tehdy, když přechod
funguje

12. Složený přechod

– je odvozený sémantický pojem, který
představuje „sémanticky úplnou“ cestu
jeden nebo více přechodů.
Přenos signálu je akce, která má
speciální grafická notace popsaná dříve v
prohlížení diagramů aktivit
Příjem signálu, nazývaný také příjem spouště,
je akce, která má zvláštní
grafická notace popsaná dříve při zvažování
diagramy aktivit
Syntaxe pro příjem signálu:
:: = [‘,’ ]*
[‘[”]’]

13. Příklad složeného přechodu

14. Konfliktní přechody

Jsou volány dva nebo více povolených přechodů
konfliktní, pokud všechny vyjdou
stejného státu, přesněji řečeno křižovatky
sada jejich zdrojových stavů není prázdná
Příklad přechodového konfliktu a řešení
konflikt
příspěvek vyřazený požadavek
Čekání [požadavek na zprávu] Formace
žádost
ze zprávy
příspěvek vyřazený požadavek
příspěvek vyřazený požadavek
[běžná žádost]
[jiný]
Zpracování
žádost
Čekání
žádost
Zpracování
žádost
[žádost o zprávu]
Formace
ze zprávy

15. Pseudostav

– abstraktní prvek modelu, který zahrnuje
různé typy pomocných vrcholů v konečném grafu
automat
Počáteční pseudo stav
představuje vrchol grafu konečného automatu, který podle
výchozí je zdrojový stav pro iniciál
přechod modelovaného chování
Ukončovací uzel je
pseudostav, zadání, které znamená dokončení
provádění chování stavového automatu v kontextu jeho
objekt
Konečný stav – speciální typ
stav určený k simulaci dokončení
stavový stroj nebo oblast, ve které se nachází

16. Počáteční pseudostavy, ukončovací uzel a příklad jejich použití

s tm Objednávka
Přijato
vyplnit
zrušit
vymazat
zrušit Zrušeno
Naplněno
platit
Zaplaceno
vymazat
Od načteno
z přepravy
Zavřeno
ZAVŘENO

17. Výběr a připojení

Volba pseudo stavu
navrženy tak, aby simulovaly více
alternativní větve při implementaci chování fin
automat
[Id [Id>=10]
Id
[[Id [else]
[Id>10]
[=10]
Pseudostav křižovatky je
vrchol s volnou sémantikou, který se používá
pro spojení více křižovatek dohromady
stát 1
stát 2
e2 [b>0]
e1 [b>0]
[a [jinak]
[a=5]
stát 3
stát 4
stát 5

18. Rozdělení a fúze

Vrchol vidlice je pseudostav,
navržený tak, aby rozdělil příchozí přechod na dva
nebo více přechodů, které mají za cíl
vrcholy v ortogonálních oblastech složeného stavu.
Vrchol spojení je pseudostav,
navržený pro spojení několika přechodů,
které mají jako zdroje vrcholy z
různé ortogonální oblasti složeného stavu.
s tm proces
Zpracování
A1
A2
Instalace
Čištění
B1
B2

19. Vstupní a výstupní body

Vstupní bod – zamýšlený pseudostav
simulovat vstup do nějakého konečného automatu popř
složený stav
Výstupní bod – zamýšlený pseudostav
simulovat výstup nějakého konečného automatu
nebo složený stav
s tm Zadejte částku z bankomatu
ode mě
Vyberte částku
vybrat jinou
částky
opakovat v jednom
vybraná částka
částka v ed
Zadejte další
částky
ode mě
zrušeno

20. Složené stavy a regiony

Složený stav – stav,
obsahující jednu nebo několik oblastí
ortogonální oblasti.
Region je speciálním prvkem modelu, který
obsahuje stavy a přechody a je součástí
složený stav nebo konečný automat.
Ortogonální složený stav –
složený stát obsahující více než jednu oblast,
které se v tomto případě nazývají ortogonální
oblasti (ortogonální oblasti)

21. Označení jednoduchého složeného stavu

Jakýkoli stav obsažený ve složené oblasti
stav se nazývá podstav tohoto
složený stav
Říká se tomu přímý substát.
pokud není obsažen v žádném jiném stavu; PROTI
jinak se nazývá nepřímý podstav
(nepřímý podstav).

22. Příklad složeného stavu s oblastí a zápisem ortogonálních oblastí

Vytočil předplatitele
Jméno
začátek
vstupní / počáteční tón při hovoru
ukončit / zastavit hovor
vytočit číslice (n)
zrušeno
Vytáčení čísla
záznam /číslo.add(n)
vytočit číslice (n)
[číslo plné]
[číslo plné]
Ort ogonální
region 1
Ort ogonální
region 2

23. Zadání jednoduchého složeného stavu

Výchozí přihlášení. To je znázorněno graficky
nějaký příchozí přechod, který končí
hranice symbolu daného složeného stavu

24. Zadání jednoduchého složeného stavu

Explicitní zadání. Pokud přechod vstoupí do nějakého podstavu
jednoduchý složený stav, pak takový podstav
se stane aktivním a provede se jeho vstupní akce
po provedení akce složeného vstupu
státy.

25. Zadání jednoduchého složeného stavu

Vstup do vstupního bodu. Pokud je přechod nečinný
složený stav přes vstupní bod, pak se provede
vstupní chování složeného stavu před akcí,
spojené s vnitřním přechodem, že
vystupuje z tohoto vstupního bodu.
s tm Zadejte částku z bankomatu
ode mě
Vyberte částku
vybrat jinou
částky
opakovat v jednom
vybraná částka
částka v ed
Zadejte další
částky
ode mě
zrušeno

26. Výstup z jednoduchého složeného stavu

Výchozí výstup. To je znázorněno graficky
nějaký odchozí přechod, který má původ v
hranice symbolu jednoduchého složeného stavu a ne
obsahuje název spouštěcí události.

27. Výstup z jednoduchého složeného stavu

Jasná cesta ven. To je také znázorněno graficky
výstupní přechod, který začíná na hranici
jednoduchý složený státní symbol a obsahuje název
nějakou spouštěcí událost. Tento přechod je také
nazývaný externí přechod.
V tomto případě se provedou výstupní akce kompozitu
stavy po provedení výstupních akcí
zdrojové podstáty. Toto pravidlo platí
rekurzivně, pokud přechod končí tranzitivně
vnořený složený stav.

28. Výstup z jednoduchého složeného stavu

Vyjděte průchodem horní úrovně. Pokud přechod
opouští nějaký substav a překračuje hranici
jednoduchý složený stav, pak spouštění takového
přechod vede k výstupu z tohoto kompozitu
stavu a učiní cílový stav tohoto stavu aktivním
přechod. Tento typ přechodu se nazývá nejvyšší úroveň
přechod

29. Výstup z jednoduchého složeného stavu

Výjezd z výstupního bodu. Pokud v jednoduchém kompozitu
stav, kdy je výstup přes výstupní bod, pak
Provedou se výstupní akce složeného stavu
před akcemi spojenými s přechodem,
opuštění tohoto výstupního bodu.
Úprava textu
vstup/ přepne a editor do aktivního režimu
exit/transport a editor do pasivního režimu
Psaní textu
H
opravy
sada dokončena
neseno v
Úvod
Zkouška
opravy
popisová práva
test dokončen
[jsou tam chyby]
[žádné chyby]
přerušení
přerušit ano

30. Příklad schématu stavového stroje

31. Mělký pseudo stav

– určené k reprezentaci nejnovějších
aktivní dílčí stav složeného stavu po
cesta z toho ven
Úprava textu
vstup/ přepne a editor do aktivního režimu
exit/transport a editor do pasivního režimu
Psaní textu
H
opravy
sada dokončena
neseno v
Úvod
Zkouška
opravy
popisová práva
test dokončen
[jsou tam chyby]
[žádné chyby]
přerušení
přerušit ano

32. Zadání jednoduchého složeného stavu

Vstup do mělké historie. Pokud přechod skončí s
pseudostav mělké historie, pak aktivní
poslední aktivní se stává podstát
podstav před tímto vstupem, kromě případů, kdy
poslední aktivní substát je
konečný stav nebo pokud se jedná o první vstup do
tento složený stav.
Vstup do hluboké historie. Pravidlo je zde stejné jako pro
mělká historie, až na to, že je to pravidlem
platí v tomto rekurzivně na všech úrovních
konfigurace aktivních stavů, počínaje úrovní
uvažovaný pseudostav hlubokých dějin a
níže.

33. Hluboký pseudo stav

– určené k reprezentaci posledního aktivního
konfigurace složeného stavu po jeho opuštění
Úprava textu
vstup/ přepnout editor do aktivního režimu
ukončit/ přepnout editor do pasivního režimu
Psaní textu
H*
formátování
hotovo
Formátování
v od hotovo
Vv od
symbol cínu
opravy
neseno v
Úvod
Zkouška
opravy
popisová práva
test dokončen
[jsou tam chyby]
[žádné chyby]
přerušení
přerušit ano

34. Ortogonální složený stav

– složený stát obsahující více než jednu oblast,
které se v tomto případě nazývají ortogonální
oblasti (ortogonální oblasti)

35. Změna ortogonálních podstavů

36. Vstup a výstup v ortogonálním složeném stavu

Vstup a výstup z ortogonálního složeného stavu
provedené v souladu s výše uvedeným
vstupní a výstupní pravidla jednoduchého složeného stavu, s
s přihlédnutím k přítomnosti několika ortogonálních oblastí v něm.
s tm Dokončení kurzu
výcvik
Laboratorní laboratoř dokončena Laboratorní laboratoř
pracuje na 1
pracuje na 1
Projekt kurzu
Zkouška
neprošel
dokončeno
doručeno
nevyhovující
dokončeno
Úspěšný

37. Výjimečný výstup z ortogonálního substavu

38. Vysílání a příjem signálu

Přenos signálu je akce, která má
speciální grafický zápis podobný
používá se v diagramech aktivit
Příjem signálu, nazývaný také příjem spouště,
je akce, která má zvláštní
grafický zápis, používaný také v diagramech
aktivita
Syntaxe pro příjem signálu:
:: = [‘,’ ]*
[‘[”]’]

39. Příklad schématu konečného stroje se symboly příjmu a přenosu signálu

Čekání
žádost
žádost (id)
[běžná žádost]
[naléhavá žádost]
Dotaz
běžné
Dotaz
naléhavé
normalRequest:= id;
urgentPožadavek:= id;
Provedení
žádost

40. Složené stavy s ikonou skrytého rozkladu

Složený stav může mít explicitně sekci
rozklad
Tato část obsahuje vnořený graf, který
ukazuje strukturu vnitřního chování v pojmech
regiony, státy a přechod
A můj skrytý kompozit
Úprava textu
vstup/ přepnout editor do aktivního režimu
ukončit/ přepnout editor do pasivního režimu

41. Samostatný úkol č. 6

Provádějte průběžné testování: otázky 24-29
Vytvořte schéma stavového automatu pro ATM
Zobrazí následující stavy: Čekání na kartu,
Čekání na zadání PIN kódu, vrácení karty,
Blokace karty, ověření PIN kódem, čekání
výběr typu transakce, Zpracování transakce.
Kreslit přechody mezi stavy.
Detail kompozitního stavu: Zpracování
transakce