E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 1 Projektowanie systemów informacyjnych Ewa Stemposz Instytut Podstaw Informatyki.

Slides:



Advertisements
Podobne prezentacje
Tomasz Andrejczuk Łukasz Razmuk gr. 620
Advertisements

Projektowanie systemów informacyjnych
Maciej I Stanisław Jedlińscy
E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 1 Projektowanie systemów informacyjnych Ewa Stemposz, Kazimierz Subieta.
Diagramy stanu.
Temat 2: Podstawy programowania Algorytmy – 1 z 2 _________________________________________________________________________________________________________________.
E. Stemposz. Analiza dynamiczna w UML, Wykład 2, Slajd 1 Studia Podyplomowe IT w Biznesie Analiza dynamiczna w UML Wykład 2 Diagramy stanów Wykładowca:
Wykład 8 Model dynamiczny (2)
Proces doboru próby. Badana populacja – (zbiorowość generalna, populacja generalna) ogół rzeczywistych jednostek, o których chcemy uzyskać informacje.
© IEn Gdańsk 2011 Technika fazorów synchronicznych Łukasz Kajda Instytut Energetyki Oddział Gdańsk Zakład OGA Gdańsk r.
Zarządzanie Zmianą Sesja 3 Radzenie sobie z ludzkimi aspektami zmiany: opór.
Tworzenie odwołania zewnętrznego (łącza) do zakresu komórek w innym skoroszycie Możliwości efektywnego stosowania odwołań zewnętrznych Odwołania zewnętrzne.
OBYWATELSTWO POLSKIE I UNIJNE 1.Obywatel a państwo – zasady obywatelstwa polskiego 2.Nabycie i utrata obywatelstwa 3.Obywatelstwo Unii Europejskiej. 4.Brak.
ELEMENTY ZESTAWU KOMPUTEROWEGO
Excel 2007 dla średniozaawansowanych zajęcia z dnia
Odpowiedzialność porządkowa pracowników Za nieprzestrzeganie przez pracownika: ustalonego porządku, regulaminu pracy, przepisów bezpieczeństwa i higieny.
 Czasem pracy jest czas, w którym pracownik pozostaje w dyspozycji pracodawcy w zakładzie pracy lub w innym miejscu wyznaczonym do wykonywania pracy.
Podstawowe pojęcia termodynamiki chemicznej -Układ i otoczenie, składniki otoczenia -Podział układów, fazy układu, parametry stanu układu, funkcja stanu,
URLOP WYPOCZYNKOWY mgr Małgorzata Grześków. URLOP WYPOCZYNKOWY Art §1. Pracownikowi przysługuje prawo do corocznego, nieprzerwanego, płatnego urlopu.
OBSŁUGA KARTY DILO. Karta diagnostyki i leczenia onkologicznego zawiera: - oznaczenie pacjenta, pozwalające na ustalenie jego tożsamości, - oznaczenie.
ENERGIA to podstawowa wielkość fizyczna, opisująca zdolność danego ciała do wykonania jakiejś pracy, ruchu.fizyczna Energię w równaniach fizycznych zapisuje.
Opodatkowanie spółek Podziały Spółek. Podziały spółek Rodzaje podziałów wg KSH Przewidziane są cztery sposoby podziału: 1) podział przez przejęcie, który.
KOSZTY W UJĘCIU ZARZĄDCZYM. POJĘCIE KOSZTU Koszt stanowi wyrażone w pieniądzu celowe zużycie majątku trwałego i obrotowego, usług obcych, nakładów pracy.
Model Przejść Międzyoperatorskich (na podstawie uwag i rekomendacji izb oraz operatorów) Warszawa, 16 czerwca 2008 r.
Czym jest gramofon DJ-ski?. Gramofon DJ-ski posiada suwak Pitch służący do płynnego przyspieszania bądź zwalniania obrotów talerza, na którym umieszcza.
Optymalna wielkość produkcji przedsiębiorstwa działającego w doskonałej konkurencji (analiza krótkookresowa) Przypomnijmy założenia modelu doskonałej.
Metody sztucznej inteligencji - Technologie rozmyte i neuronowe 2015/2016 Perceptrony proste nieliniowe i wielowarstwowe © Kazimierz Duzinkiewicz, dr hab.
 Co to jest bank? Co to jest bank?  Lokata Lokata  Super konto GRAFITTI Super konto GRAFITTI  Karta kredytowa Karta kredytowa  Karta bankomatowa.
1 Definiowanie i planowanie zadań budżetowych typu B.
O PARADOKSIE BRAESSA Zbigniew Świtalski Paweł Skałecki Wydział Matematyki, Informatyki i Ekonometrii Uniwersytet Zielonogórski Zakopane 2016.
Konstruowanie robotów z wykorzystaniem Vex IQ
Logika dla prawników Podział logiczny.
Wykład 4. Dr Krzysztof Jonas
Schematy blokowe.
DEFINICJA I ZASTOSOWANIE W JĘZYKU HASKELL
MECHANIKA 2 Dynamika układu punktów materialnych Wykład Nr 9
On-the-Fly Garbage Collection
ORGANIZACJA.
Oczekiwana przez inwestora stopa dochodu
Rekursje Tak jak w innych językach funkcje mogą odwoływać się same do siebie Możemy regulować głębokość przed stwierdzeniem błędu (MaxRecursion, $RecursionLimit,
ALGORYTMY I STRUKTURY DANYCH
Akademia C# lab. 9 Zdarzenia i delegaty.
Podstawy automatyki I Wykład /2016
Optymalizacja programów Open-Source
KOREKTOR RÓWNOLEGŁY DLA UKŁADÓW Z NIEMINIMALNOFAZOWYMI OBIEKTAMI Ryszard Gessing Instytut Automatyki, Politechnika Śląska Plan referatu Wprowadzenie.
Materiały pochodzą z Platformy Edukacyjnej Portalu
Wykorzystanie aplikacji użytkowych do przeprowadzenia cyberataku
Inżynieria Oprogramowania Laboratorium
Bezpieczeństwo dostępu do danych w systemie Windows
Języki programowania.
PRZYKŁADY Metody obrazowania obiektów
Laboratorium 1 – obsługa wejść i wyjść
Zgłoszenie do konkursu
Wykład 4 – część pierwsza
Podstawy informatyki Zygfryd Głowacz.
Modelowanie układów dynamicznych
ALGORYTMY I STRUKTURY DANYCH
Strukturalne wzorce projektowe
MATEMATYKAAKYTAMETAM
Proste obliczenia w arkuszu kalkulacyjnym
Implementacja rekurencji w języku Haskell
Lekcja 5 Temat: Zasady pierwszeństwa przejazdu na skrzyżowaniach
Prawa ruchu ośrodków ciągłych c. d.
Modelowanie obiektowe - system zarządzania projektami
Forum Komisji Dialogu Społecznego
WYBRANE ZAGADNIENIA PROBABILISTYKI
Autor: Magdalena Linowiecka
INSTRUKCJA LOGOWANIA do E-DZIENNIKA SP BOJSZOWY
Zapis prezentacji:

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 1 Projektowanie systemów informacyjnych Ewa Stemposz Instytut Podstaw Informatyki PAN, Warszawa Polsko-Japońska Wyższa Szkoła Technik Komputerowych, Warszawa Wykład 10 Model dynamiczny (2)  Diagramy stanów Zmodyfikowane przez Grzegorz Wierzowiecki na potrzeby zajęć do przedmiotu PRI na PJWSTK

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 2 Maszyna stanowa Obiekt, w świetle swoich własności (unikalna tożsamość, stan i zachowanie) może być traktowany jako automat o skończonej liczbie stanów, czyli jako maszyna, która może znajdować się w danym momencie w jednym z wyróżnionych stanów, a także może oddziaływać na otoczenie i vice-versa. Maszyna stanowa jest grafem skierowanym, reprezentowanym za pomocą notacji diagramów stanów. Wierzchołki grafu stanowią stany obiektu, a łuki opisują przejścia między stanami. Przejście między stanami jest odpowiedzią na zdarzenie. Często, maszyna stanów jest przypisana do jednej klasy i specyfikuje reakcje obiektów tej klasy na zdarzenia, które do nich przychodzą (najczęściej są to komunikaty), stanowiąc w ten sposób model historii życia obiektów klasy (opis wszystkich możliwych stanów i przejść). Ten rodzaj maszyny stanów, nazywa się protokołową maszyną stanową. Z kolei, maszyna stanowa zachowania – dotyczy zmian stanów nie jednego lecz wielu obiektów w aspekcie pewnego fragmentu zachowania systemu. Stan 1 Stan 2 Stan 3 Stan n

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 3 Diagramy stanów sm Nazwa diagramu sm – state machine sm Nazwa diagramu {protocol} protokołowa maszyna stanowa Nazwa stanu Stan obiektu (2) maszyna stanowa zachowania Sekcja nazwy Sekcja operacji wewnętrznych Sekcja zdarzeń wewnętrznych Sekcja dekompozycji pokazuje strukturę wewnętrzną stanu złożonego (stany, regiony, przejścia, itd.) Nazwa stanu entry/akcja1/akcja2/… do/aktywność1/aktywność2/… exit/akcja1/akcja2/...

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 4 Sekcje stanu (2); stan złożony wrzucono monetę (wartość) /dodaj do bilansu Zliczanie pieniędzy Stan z dwiema sekcjami: nazwy i zdarzeń wewnętrznych: Stan złożony z ukrytą strukturą wewnętrzną: Nazwa stanu złożonego

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 5 Rodzaje zdarzeń Rodzaj zdarzenia wołanie (ang. call event) OpisSkładni a zmiana (ang. change event) sygnał (ang. signal) czas (ang. time event) otrzymanie przez obiekt synchronicznego żądania wykonania operacji − najbardziej podstawowy rodzaj zdarzenia spełnienie warunku typu Boolean, np. when (x =10); zdarzenie typu zmiana jest użyteczne np. do modelowania sytuacji, gdy obiekt zmienia stan po otrzymaniu odpowiedzi na wysłany przez siebie komunikat otrzymania przez obiekt asynchronicznego żądania wykonania operacji; użyteczne do modelowania zdarzeń przychodzących z zewnętrza systemu upłynięcie czasu określonego w sposób bezwzględny lub względny, np. after (5 sec.) lub after (1 miesiąc od dnia ) op (a : T) when (wyrażenie) nazwa_syg (a : T) after (czas)

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 6 Konkretny sygnał, z ustalonymi wartościami atrybutów jest wystąpieniem odpowiedniego klasyfikatora sygnał. Generalizacja sygnałów Zdarzenia związane z akcjami użytkownika: «sygnał» użycie_urz_wejściowego urządzenie «sygnał» naciśnięcie_klawisza_myszy «sygnał» puszczenie_klawisza_myszy «sygnał» sterujący «sygnał» znakowy «sygnał» spacja «sygnał» alfanumeryczny «sygnał» interpunkcyjny sygnał abstrakcyjny sygnały konkretne zdarzenie «sygnał» klik_klawisza_myszy lokalizacja «sygnał» naciśnięcie_klawisza_klawiatury kod_znaku «sygnał» czas

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 7 Przejście (1) Przejście: opisywane przez zdarzenie, które je wywołało, warunek oraz akcję (akcje), która jest wykonywana przed ewentualną zmianą stanu. przejście zewnętrzne (ang. external transition) przejście wewnętrzne (ang. internal transition) samo-przejście (ang. selftransition) bez zmiany stanu zdarzenie [warunek] /akcja Stan zdarzenie [warunek] /akcja Stan 1 Stan 2 przejście przejście automatyczne (completion transition) [warunek] /akcja Stan 1 Stan 2

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 8 Przykłady przejść otrzymanie zamówienia (suma) [suma > 100 zł.] przejścia zewnętrzne: otrzymanie zamówienia (suma) [suma < =100 zł.] Oczekiwanie Przetwarzanie zamówienia Zatwierdzenie kredytu Anulowanie zamówienia kredyt zatwierdzony/ licz debet () kredyt odrzucony entry/ ustaw echo na gwiazdkę/ haslo_zeruj() exit/ ustaw normalne echo znak/ obsłuż znak czyść/ haslo_zeruj() pomoc/ wyświetl pomoc Wprowadzanie hasła przejścia wewnętrzne:

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 9 Przykładowe rodzaje akcji powrót (ang. return) przypisanie (ang. assignment) wołanie (ang. call) nowy (ang. create) usuń (ang. destroy) wyślij (ang. send) zakończ (ang. terminate) Rodzaj akcji OpisSkładni a zmienna := wyrażenie nazwa_op (arg, …) create nazwa_klasy (arg, …) destroy () nazwa_sygnału (arg, …) terminate przypisanie wartości do zmiennej wywołanie operacji na obiekcie; czeka się na zakończenie operacji; może być zwracana wartość utworzenie nowego obiektu usunięcie obiektu utworzenie wystąpienia sygnału i wysłanie do obiektu (ów) samodestrukcja obiektu specyfikuje instrukcję powrotu return wartość_zwracana

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 10 Rodzaje wierzchołków w maszynie stanów (1) Rodzaj wierzchołka Opis Notacja stan prosty (ang. simple state) stan nie posiadający substruktury stan złożony sekwencyjny (ang. sequential composite state) stan złożony z jednego lub więcej podstanów, z których tylko jeden jest aktywny, gdy aktywny jest stan złożony stan początkowy (ang. initial state) pseudostan służący do oznaczenia punktu startowego maszyny stanowej stan końcowy (ang. final state) pseudostan służący do oznaczenia punktu finalnego maszyny stanowej stan złożony współbieżny (ang. concurrent composite state) stan podzielony na co najmniej dwa ortogonalne regiony, które są jednocześnie aktywne, gdy aktywny jest stan złożony (jako całość)

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 11 Rodzaj wierzchołka Opis Notacja decyzja (ang. decision node) rozdziela jedno przejście na kilka alternatywnych opatrzonych warunkami złączenie (ang. merge node) rozwidlenie (ang. fork node) węzeł (ang. junction) złącza kilka przejść we i rozdziela je na kilka przejść wy; szczególnymi rodzajami węzła są wierzchołki powyżej scalenie (ang. join node) Rodzaje wierzchołków w maszynie stanów (2) złącza kilka przejść alternatywnych w jedno przejście złącza kilka przejść współbieżnych w jedno przejście rozdziela jedno przejście na kilka przejść współbieżnych

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 12 Rodzaje wierzchołków w maszynie stanów (3) Rodzaj wierzchołka Opis punkt wejścia (ang. entry point) wykorzystywany do oznaczenia przejścia ze stanu do jego podstanu i umieszczany na granicy stanu; może być nazwany i/lub zaznaczony w obszarze podstanu punkt wyjścia (ang. exit point) Notacja wykorzystywany do oznaczenia przejścia ze stanu do jego nadstanu i umieszczany na granicy stanu; może być nazwany i/lub zaznaczony w obszarze podstanu (via nazwa punktu we) alternatywna notacja dla punktu wejścia (via nazwa punktu wy) alternatywna notacja dla punktu wyjścia

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 13 Rodzaje wierzchołków w maszynie stanów (4) Rodzaj wierzchołka OpisNotacja zniszczenie (ang. termination) wierzchołek maszyny stanów, w którym następuje zniszczenie obiektu płytkie wznowienie (ang. shallow history) wskazuje na ostatni podstan, w ramach stanu złożonego, który był aktywny przed ponowną aktywacją stanu złożonego (bez przechowywania informacji o podstanach danego podstanu); stan złożony może mieć tylko jeden wierzchołek tego typu; co najwyżej jedno przejście może łączyć wierzchołek typu płytkie wznowienie z wierzchołkiem domyślnym – jest to wykorzystywane w sytuacji, gdy stan złożony nie był ani razu uaktywniany przed wznowieniem H

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 14 Rodzaje wierzchołków w maszynie stanów (5) Rodzaj wierzchołka OpisNotacja głębokie wznowienie (ang. deep history) podobnie, jak dla płytkiego wznowienia ale łącznie z przechowaniem informacji o podstanach aktywnego ostatnio podstanu H * akcja (ang. action) wykorzystywany dla reprezentowania akcji; o ile na diagramie występuje wierzchołek związany z odbiorem sygnału, wierzchołek akcja musi następować po nim Rejestruj datę odbiór sygnału (ang. signal receipt) wierzchołek związany z odbiorem sygnału; sygnał może posiadać parametry sygnał nadawanie sygnału (ang. signal sending) wierzchołek związany z nadawaniem sygnału; jak poprzednio, sygnał może posiadać parametry

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 15 Przykłady diagramów Urządzenie niesprzedan e Urządzeni e sprzedane kupno urządzenia przez klienta (klient) zwrot urządzenia przez klienta (klient) after (data gwarancji) Kolejk a białych Kolejka czarnyc h ruch białychruch czarnych when (szach mat) when (pat) when (szach mat) Diagram typu: protokołowa maszyna stanowa Diagram typu: maszyna stanowa zachowania czarne wygrywają remis białe wygrywają

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 16 Stan złożony sekwencyjny Stan prosty nie posiada substruktury, jest specyfikowany przez zbiór operacji (akcji, aktywności) oraz przejść. Stan złożony może być zdekomponowany na stany bardziej proste; dekompozycja może być traktowana jako rodzaj specjalizacji. Każdy z podstanów dziedziczy przejścia nadstanu. Tylko jeden z podstanów może być aktywny w danym momencie. Generalizacja stanów jest formą zagnieżdżania stanów. wcześniejsze prace Rumbaugha S S1S2S3 zd2 zd3 zd5 zd4 zd1 UML 2.0 S1 S2 S3 S zd4 zd5 zd3 zd2 we-3 zd1

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 17 Stan złożony współbieżny Innym rodzajem stanów złożonych są stany składające się ze współbieżnych podstanów. synchronizacja wewnętrzna synchronizacja zewnętrzna Sytuacja typowa: wyjście ze stanu następuje wtedy, gdy we wszystkich współbieżnych podstanach zostanie osiągnięty stan końcowy. Oba diagramy są równoważne. Takie wyjście ze stanu też jest możliwe (sytuacja nietypowa).

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 18 Współbieżność − obiekty zagregowane Współbieżność ma źródło w trzech sytuacjach: (1) obiekty mogą być zagregowane, (2) pewne operacje w ramach jednego obiektu można wykonywać współbieżnie, a także (3) obiekty mogą działać asynchronicznie. Każdy obiekt wchodzący w skład agregatu posiada tu własny diagram stanów. Można je łączyć, tworząc diagram dla agregatu samochód (wspólny diagram będzie uwzględniał współbieżność operacji). Samochód ZapłonBiegHamulecGaz hamulec puszczony Hamulec Włącz. Wył. hamulec naciśnięty Zapłon Wył. Włącz. Zapal a kluczyk max w prawo [Biegi w pozycji 0] kluczyk do poz. Wył.

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 19 Współbieżność w ramach jednego obiektu Gotowy do działania Protokołowa maszyna stanowa dla automatu do wypłacania pieniędzy Wypłata do/wydaj gotówkę do/oddaj kartę Podział na współbieżne procesy Synchronizacja: wszystkie współbieżne procesy muszą się zakończyć, aby automat był ponownie gotowy do działania Obiekt może wykonywać współbieżnie dowolną liczbę akcji.

E. Stemposz, Analiza i Projektowanie Systemów Informatycznych, Wykład 10, Slajd 20 Przykładowy graf z sygnałami Rejestruj zgłoszenie Zgłoszenie na kurs Potwierdzenie zgłoszenia