3110398953

Modelowanie obiektów reaktywnych

Modelowanie zachowania obiektów reaktywnych obejmuje modelowanie jego historii życia - od utworzenia do zniszczenia - w szczególności jego stanów stabilnych

Modelując zachowanie obiektu reaktywnego, określić należy trzy podstawowe elementy: stany stabilne, zdarzenia uruchamiające przejścia i akcje wykonywane przy każdej zmianie stanu

' nazwa stanu ^

en try/akcja 1 /akcja!/... do/aktywnośćl/aktywność2/... exit/akcja l/akcja2/...

akcja - operacja, której nie można przerwać (atomowa) lista akcji - akcjal/akcja2/...- traktowana, jak pojedyncza operacja, aktywność - operacja, którą można przerwać, lista aktywności - podobnie, jak lista akcji, entry - słowo kluczowe specyfikujące operacje, zawsze wykonywane na wejściu do stanu (rodzaj setup’u),

Czynności

wewnętrzne

exit - operacje zawsze wykonywane na wyjściu (rodzaj porządkowania po”), do - operacje wykonywane w trakcie.

® Stan stabilny - warunki w jakich znajduje się obiekt przez pewien (zauważalny) czas

Dla modelowanego zachowania obiektu reaktywnego, można określić jego akcje przez skojarzenie ich z przejściami lub stanami

® Maszyna (automat) Mealy’ego - wszystkie akcje związane z przejściami ® Maszyna (automat) Moore’a    - wszystkie akcje związane ze stanami

W praktyce opracowywane diagramy stanowe są kombinacją maszyn Moore’a i Mealy’ego

tC    o