6317101509

Przepływ sterowania można uważać za kanał, przenoszący sygnały binarne (tzn. włączony lub wyłączony). W odróżnieniu od innych omawianych przepływów, przepływ sterujący nie dostarcza wartości danych. Jest on wywoływany od jednego procesu do drugiego (lub od terminatora do procesu) jako informacja o konieczności aktywowania danego procesu. Wynika z tego. że proces przed nadejściem przepływu po/ostawal w stanic uśpienia lub bezczynności._

3. Diagramy zmian stanu

Zachowanie wewnętrzne procesu sterującego jest inne niż zwykłego procesu, gdyż odbywa się w nim szczegółowe modelowanie czasowej charaktery sty ki zachowania systemu. Klasyczne metody opisu procesu są tu niewy starczające.

Zgodnie z metody ką SADT. wnętrze procesu sterującego modeluje się diagramem zmian stanu (STD - stale transition diagram), pokazującym, w jakich stanach może znajdować się system jako całość i w jakich okolicznościach następują zmiany stanu. Diagram zmian stanu ukazuje sekwencję stanów, w jakich może znaleźć się system w odpowiedzi na pewne zdarzenia oraz wynikające z tego działania, jakie system podejmuje. Dozwolone zmiany stanów przedstaw iamy na STD łącząc odpowiednie pary stanów' (prostokąty ) strzałkami. Na diagramie wyróżnia się też zwykle stan początkowy i stany końcowe.

Tape cud STOP pressed Stop rewind

Rys. 2 Przykładowy diagram STD (magnetofon)

Oprócz w/w elementów do STD należy jeszcze dodać dwa składniki: warunki powodujące zmianę stanu oraz akcje, które wykonuje system zmieniając stan. Zaznacza się je zwykle obok strzałki łączącej dwa stany (nad kreską warunki, pod kreską - akcje). Warunek to zdarzenie w otaczający m środowisku, które system może wykryć; zwykle będzie to sygnał, przerwanie lub nadejście pakietu danych. Powoduje ono przejście systemu ze stanu oczekiwania X do nowego stanu oczekiwania Y lub z wykonywania akcji X do wykonywania akcji Y. Podczas zmiany stanu sy stem wykonuje jedną lub więcej akcji: produkuje wyniki, wyświetla komunikat na terminalu użytkownika, wykonuje obliczenie itd. Akcje pokazane na STD są więc odpowiedziami, wysyłanymi z powrotem do środowiska, lub obliczeniami, których wyniki są zapamiętywane przez system (zwykle w magazynie danych pokazanym na diagramie DFD). aby w razie potrzeby zareagować na jakieś przyszłe zdarzenie.

4. Przedstawienie problemu

Celem ćwiczenia jest zarnodelowanie za pomocą pakietu EasyCASE działania automatu do sprzedaży artykułów spożywczych. Klient ma możliwość wyboru towaru, który chce kupić, zapłacenia za ten towar oraz zwrotu