WYKŁAD VIII

Model fizyczny:

• moduły

• hierarchiczny

• wielopoziomowy

• dwukierunkowy

Procesy z DFD przechodzą w struktury zwane modułami

Analiza: tranzakcyjna i transformacyjna

KONIEC PODSUMOWANIA MODELU FIZYCZNEGO

MODUŁY - RODZAJE

1) Moduł doprowadzający ( jest podłączony do jakiegoś modułu nadrzędnego )

pośredniczy w przepływie doprowadzania danych do systemu ( moduł dostaje z modułów podrzędnych dane i je przekazuje do modułu

Moduł nadrzędnego, przepływ danych jest

Doprowadzający jednokierunkowy, od modułu podrzędnych do

Nadrzędnych modułów

2) Moduł odprowadzający

Uczestniczy w odprowadzaniu danych.
Moduł Otrzymuje dane od modułu nadrzędnego
odprowadzający



i przekazuje je do podrzędnych modułów.

Przepływ jest jednokierunkowy

3) Moduł transferowy

moduł ten przetwarza dane tak, że po otrzymaniu

danych z modułu nadrzędnego i przetworzeniu ich odsyła je do modułu nadrzędnego.

Moduł

Transferowy

4) Moduł koordynujący ( sterujący, kontrolny )

Ten moduł ma tylko moduły podrzędne.

Otrzymuje on dane od modułu podrzędnego

Moduł i rozprowadza te dane do modułów podrzędnych

Koordynujący

Model Logiczny ( podstawowy ) procesy

A B C D E

x y z p q r

jest to abstrakcyjny diagram przepływu danych. A tak wygląda diagram STC

Moduł Koordynujący

z Moduł p

główny

y q

Pobierz z Wypisz p

p z

r

x Pobierz y z y q p Wypisz q

C

Pobierz x y x B D r q Wypisz r

r

A E

Zasada przechodzenia z modelu logicznego na fizyczny

Wszystkie procesy przedstawione na modelu logicznym są przekształcone w moduły transformujące w diagramie STC. Te moduły transformujące są liśćmi w drzewie

PODEJŚCIE OBIEKTOWE

System Informatyczny w podejściu obiektowym - zbiór obiektów oraz klas pomiędzy którymi zostały zdefiniowane relacje rozmaitych rodzajów

Obiekt - instancja - wystąpienie buty zwanego obiektem, element dziedziny przedmiotowej, element należący do tej dziedziny, który jest rozpoznawany w tej dziedzinie przez 3 cechy:

• tożsamość

• stan wewnętrzny

• zachowanie

Stan wewnętrzny obiektu - opisywany jest zbiorem cech opisujących strukturę obiektu ( atrybuty opisujące obiekt ). Te atrybuty są opisywane w danym, konkretnym momencie czasu

Obiekt jest bytem unikatowym, możemy go rozróżnić spośród pozostałych ( nawet gdy jego cechy i zachowania są takie same jak innych obiektów )

Sposób zachowania - jest to charakterystyka określająca jakie operacje mogą być dokonywane na obiekcie poprzez inne obiekty, jakie operacje może on wykonywać na innych obiektach, oraz jakie są konsekwencje dokonywania tych operacji w sensie zmian stanów danego obiektu oraz obiektów które były z nim w interakcji.

Rodzaje operacji: kategorie

1. Operacja konstruktora - tworzy obiekt wraz z ewentualnym zainicjowaniem zmiennych, jego stanu początkowego

2. Modyfikator - zmienia wartości atrybutów

3. Selektor - udostępnia informacje o stanie innego obiektu, nie powoduje jego zmiany stanu

4. Iterator - umożliwia dostęp do całej struktury obiektu poprzez sekwencyjne udostępnianie jej poszczególnych elementów w ściśle określony sposób.

5. Destruktor - potrafi usunąć obiekt

Operacja jest przyporządkowana do obiektu i każda operacja ma swoją nazwę. Wywołanie tej nazwy jest jednoznaczne z uruchomieniem tej operacji. - uruchomieniem aktywności obiektu. Natomiast metoda jest wewnętrzną specyfikacją tej operacji, to jest zapisanie kodu w jaki sposób operacja będzie realizowana. Operacja to to co widzą sąsiednie obiekty a metoda to sposób implementacji.

Formalna specyfikacja operacji.

• warunki wstępne operacji ( niezmienniki umożliwiające wykonanie operacji, niezmienniki to wyrażenia logiczne odpowiadające warunkom które muszą być spełnione jeśli operacja ma być wykonana. Jeżeli niezmienniki nie są spełnione tzn. że coś jest nie tak i operacja nie zostanie wykonana )

• sama semantyka operacji ( opis przebiegu działania algorytmu operacji )

• warunki końcowe operacji ( niezmienniki jakie muszą być spełnione po wykonaniu operacji - jeśli niezmienniki nie zachodzą to znaczy że coś jest nie tak )

• sytuacje szczególne ( wyjątki )
  - warunki niespełnione - oznacza że wykonanie operacji zostało zaniechane a
  informacja o niemożliwości wykonania i jej przyczyna jest przesłana do obiektu
  żądającego wykonania operacji

Aby wykonać jakąś operacje obiektu muszą się wzajemnie informować o tym. Zamiar wysyłania informacji między obiektami odbywa się za pomocą mechanizmu przesyłania komunikatów między obiektami. Wysłanie komunikatu to zamiar wykonania operacji. Zazwyczaj komunikat ma w sobie ( inaczej: ma nazwę ) nazwę operacji.

Ze względu na interakcję między obiektami definiuje się 3 podstawowe typu obiektów :

1. Obiekty Aktorzy - obiekty które dokonują operacji na innych obiektach ale same nie podlegają operacjom ze strony innych obiektów

2. Obiekty Serwery - obiekty które podlegają operacjom ze strony innych obiektów a nie operują na innych obiektach

3. Obiekty Agenci - operują na innych obiektach a na inne obiekty mogą na nich też operować

---