SWI041: Analýza. Hledáme odpov na otázku: Co se má udlat?

Transkript

1 SWI041: Analýza Hledáme odpov na otázku: Co se má udlat?

2 Nejprve trochu kontroly Stav projekt

3 Pro vytváet úvodní studii A. Protože to Richta chce. B. Protože se to v komunit informatik sluší. C. Protože to mže ušetit výdaje. C je správn!! SWI041 - Analýza 3

4 Jak to je ideáln lní SWI041 - Analýza 4

5 Ale nemusí to vždy v dopadnout SWI041 - Analýza 5

6 Úvodní studie mžm že e nco n ušetit SWI041 - Analýza 6

7 Co obsahuje úvodní studie? Struný náznak o jaký produkt se jedná - definice hranice systému Katalog požadavk Odhad náklad a výnos. Pokus o pesvdení investora, že se vyplatí do projektu vložit peníze. asto je vhodné vymezit rzné varianty ešení. SWI041 - Analýza 7

8 Struná definice hranice systému Struná informace, bez zbytených podrobností (ty se pozdji doplní v analýze). Deklarace zámru Odborný lánek Model jednání (Use Case Model UML, píp. kontext) Slovník použitých termín (pojm) Základní datový model SWI041 - Analýza 8

9 Jedná se o rzné aktéry? SWI041 - Analýza 9

10 SWI041 - Analýza 10

11 SWI041 - Analýza 11

12 Model jednání pro Výtah SWI041 - Analýza 12

13 Model jednání ECO-skladu SWI041 - Analýza 13

14 SWI041 - Analýza 14

15 Scénáe e událost lostí (Sequence diagrams) (zachycení sledu událostí) Prvky: objekty - znázornné obvykle jako sloupce interakce mezi objekty (stimuly) - orientované šipky mezi objekty události - události, které vyvolaly interakci reakce - odezvy na události (výstupy) asová osa - pro vyznaení sledu událostí SWI041 - Analýza 15

16 Scéná pro pivolp ivolání SWI041 - Analýza 16

17 Scéná pro pejímku SWI041 - Analýza 17

18 Scéná pro dodávku SWI041 - Analýza 18

19 Datový model (konceptuáln lní) (zachycení analýzy dat) Komponenty: typy objekt (entity) - entita = rozlišitelný identifikovatelný objekt vztahy (relationships) - množiny instancí reprezentujících vztahy mezi (2 a více) objekty indikace pidružených objekt - pro vztahy o nichž si potebujeme nco pamatovat indikace vztah nadtyp-podtyp, celek-ást (genspec, whole-part) - vyjádení vztahu spolený - speciální (ddinost) SWI041 - Analýza 19

20 SWI041 - Analýza 20

21 Datový model ECO (1.verze) SWI041 - Analýza 21

22 Alternativní notace Integrated Definition IDEF (U.S. Air Force - SWI041 - Analýza 22

23 Alternativní notace Architecture of Integrated Information Systems ARIS (prof. Scheer, SAP) SWI041 - Analýza 23

24 Datové modelování

25 Fáze datového modelování Sbr požadavk Analýza dat a vytvoení konceptuálního datového modelu (ER-model, model tíd, PIM) Návrh reprezentace dat logický datový model (nap. relaní model, objektový model, PSM) Implementace datového modelu skutené vyjádení datových charakteristik pro konkrétní prostedí (fyzický model) SWI041 - Analýza 25

26 Píklad: MS Project Požadavky: aplikace bude pracovat s úlohami, zdroji a vztahy. Odtud kandidáti na entity (typy objekt, tídy): Úloha Zdroj Piazení První model: SWI041 - Analýza 26

27 Podrobnjší model SWI041 - Analýza 27

28 Ješt podrobnjší model SWI041 - Analýza 28

29 Použijeme ijeme-li relaní databázi (ást) SWI041 - Analýza 29

30 Skutená implementace CREATE TABLE MSP_TASKS ( PROJ_ID NUMBER(18,0), TASK_UID NUMBER(18,0),, PRIMARY KEY (PROJ_ID,TASK_UID) ); CREATE TABLE MSP_RESOURCES ( PROJ_ID NUMBER(18,0), RES_UID NUMBER(18,0), RES_NAME VARCHAR2(255),, PRIMARY KEY (PROJ_ID,RES_UID) ); CREATE TABLE MSP_LINKS ( PROJ_ID NUMBER(18,0), LINK_UID NUMBER(18,0), LINK_PRED_UID NUMBER(18,0), LINK_SUCC_UID NUMBER(18,0),, FOREIGN KEY (PROJ_ID, LINK_PRED_UID) REFERENCES MSP_TASKS (PROJ_ID, TASK_UID) ); SWI041 - Analýza 30

31 Pozor na role ve vztazích Predmet+ma instanci nazev : string 0..* +je typutyp Predmetu jmeno : string 1 Pedmt je práv jednoho typu Typ pedmtu má 0..* instancí SWI041 - Analýza 31

32 Generovaný kódk #ifndef Predmet_h #define Predmet_h #include "Typ Predmetu.h" class Predmet { public: Predmet(); ~Predmet(); const Typ_Predmetu * get_je_typu () const; void set_je_typu (Typ_Predmetu * value); private: const string get_nazev () const; void set_nazev (string value); string nazev; Typ_Predmetu *je_typu; }; SWI041 - Analýza 32

33 SWI041 - Analýza 33

34 SWI041 - Analýza 34

35 CASE nástrojen SWI041 - Analýza 35

36 Definice architektury systému

37 Architektura SWI041 - Analýza 37

38 První pedstava o rozmíst stní v UML SWI041 - Analýza 38

39 Druhá pedstava o rozmíst stní v UML SWI041 - Analýza 39

40 Funkní model

41 Základní princip scénáe SWI041 - Analýza 41

42 Zvolíme me-li konkrétn tní metodu SWI041 - Analýza 42

43 Konstrukce a destrukce SWI041 - Analýza 43

44 Reakce a návratovn vratové hodnoty SWI041 - Analýza 44

45 Hrubý scéná pro erpání SWI041 - Analýza 45

46 Zákazník k se autentizuje SWI041 - Analýza 46

47 Scéná pro pivolání SWI041 - Analýza 47

48 Scéná pro pejímku SWI041 - Analýza 48

49 Scéná pro dodávku SWI041 - Analýza 49

50 Popis akce (operace, funkce) Operation: název Description: textový popis Reads: jaká data jente Changes: jaká data mní nebo vytváí Sends: jaké reakce vyvolává (jaké zprávy posílá) Assumes: co pedpokládá Results: co zajišuje (zaruuje) SWI041 - Analýza 50

51 Popis pro prázdná plošina ina Operation: prázdná plošina Description: informuje systém, že nakládací plošina je prázdná Reads: Changes: plošina Sends: Assumes: Results: vyprázdní v modelu nakládací plošinu uvolní identifikátory barel, které jsou na plošin SWI041 - Analýza 51

52 Popis pro zadej dodací list Operation: dodací list Description: zahájí pejímku a uloží informace z dodacího listu Reads: supplied dodací_list Changes: zadaný_dodací_list Sends: Assumes: Results: vnitní objekt zadaný_dodací_list je inicializován hodnotami z fyzického dodacího_listu SWI041 - Analýza 52

53 Popis pro barel k zaazen azení Operation: barel k zaazení Description: každý vyložený barel je jednoznan identifikován Reads: supplied typ_chemikálie Changes: plošina, new b: Barel Sends: operátor:{id barelu} Assumes: Results: nakládací plošina obsahuje barel b operátor dostane identifikaci ID barelu atribut b.typ je nastaven na typ_chemikálie atribut b.id je nastaven na identifikaci ID barelu SWI041 - Analýza 53

54 Popis pro konec pejímky Operation: konec pejímky Description: operátor informuje systém, že již byly vyloženy všechny barely Reads: zadaný_dodací_list Changes: plošina, budovy ve skladu Sends: operátor:{rozdíly v pejímce, nelze uložit}, skladník:{píkaz pro skladníka} Assumes: sklad je bezpený SWI041 - Analýza 54

55 Popis pro konec pejímky (pokra.) Results: pro všechny barely, které lze do skladu umístit, pesune v modelu jejich umístní do vhodné budovy a vytvoí príkaz pro skladníka(kam: alokaní seznam) pokud existují rozdíly mezi zadaným_dodacím_listem a skutenou dodávkou, vytvoí se rozdíly v pejímce(navíc, chybí: seznam barel) pro všechny barely, které nelze do skladu umístit vytvoí nelze uložit(co: seznam barel) sklad je bezpený SWI041 - Analýza 55

56 Další postup Z datového modelu se snažíme odvodit funkce: Vytvoíme matici CRUD (Create, Read, Update, Delete) Zkoumáme, zda pro každý typ dat existuje odpovídající funkce Z datového modelu se snažíme odvodit dynamiku: Pro každý typ dat zkoumáme, zda objekty nevykazují zmny stavu SWI041 - Analýza 56

57 Matice CRUD ádky odpovídají typm objekt. Sloupce odpovídají funkcím. V prseíku je zapsáno zda funkce C,R,U a/nebo D odpovídající data. V každém ádku by mlo nkde být vše (nkterá funkce musí objekt vytváet, jiná využívat, i rušit). SWI041 - Analýza 57

58 Matice CRUD pro ECO sklad Prázdná plošina Zadej dodací list Zaa barel Konec pejímky Dodávka Zahájení práce systému ECO sklad Ukonení práce systému ECO sklad Plošina U U U C D Sklad U U C,Get D,Save Monitor U,Print U,Print C D Barel C Dodací list C R,D Píkaz C,Print C,Print SWI041 - Analýza 58

59 Co jsme zjistili? Potebujeme ješt v rámci njaké funkce reprezentaci barelu zrušit. Mohla by to udlat funkce dodávka, nebo po vyskladnní barelu jeho životní cyklus koní. Doplníme tedy do popisu funkce dodávka požadavek pokud v rámci dodávky využijeme nkterý barel, vymažeme jeho reprezentaci z obsahu skladu a zrušíme ji. Do matice CRUD pidáme odpovídající D. SWI041 - Analýza 59

60 Dynamický model

61 Stavové diagramy Slouží k popisu dynamiky systému Stavový diagram definuje možné stavy, možné pechody mezi stavy, události, které pechody iniciují, podmínky pechod a akce, které s pechody souvisí Stavový diagram lze použít pro popis dynamiky objektu (pokud má rozpoznatelné stavy), pro popis metody (pokud známe algoritmus), i pro popis protokolu (vetn protokolu o styku uživatele se systémem) SWI041 - Analýza 61

62 Životní cyklus skuteného barelu idi vykládá barel na plošinu / zarad_barel Je na plošin neoznaen Zaa barel / ID Je na plošin oznaen Píkaz / Skladník odváží barel do skladu Je ve skladu Je na plošin oznaen Píkaz / Skladník odváží barel na plošinu idi nakládá barel z plošiny / smazat ID SWI041 - Analýza 62

63 Životní cyklus entity barel zarad_barel / ID Je v kontejneru Plošina oznaen konec_prejimky / prikaz pro uskladneni Je v kontejneru Sklad dodavka / píkaz pro vyskladneni SWI041 - Analýza 63

64 Popis ídicích ch proces pomocí stavových diagram Vstupy ídicího procesu lze modelovat pomocí událostí stavového diagramu. Výstupy ídicího procesu lze modelovat pomocí akcí stavového diagramu. Pak lze ídicí procesy modelovat stavovými diagramy. SWI041 - Analýza 64

65 P1 P2 a x b y ídicí proces /a stídav spouštíme P1 a P2 y/a Pracuje P1 Pracuje P2 x/b SWI041 - Analýza 65

66 Životní cyklus systému Vyjádení souhrné dynamiky systému, která je zachycena ve scénáích Definuje povolené návaznosti akcí a reakcí Pedstavuje hrubou uživatelskou píruku pro systém Definice systému jako koneného automatu SWI041 - Analýza 66

67 Životní cyklus jako regulárn rní výraz <Životní cyklus> = Lifecycle <jméno objektu> : <regulární výraz> <regulární výraz> = <akce> #<reakce> <regulární výraz>. <regulární výraz> sekvence [ <regulární výraz> ] voliteln <regulární výraz>* iterace (<regulární výraz> <regulární výraz>) selekce (<regulární výraz> <regulární výraz>) paraleln <akce> = jméno události <reakce> = jméno reakce SWI041 - Analýza 67

68 Životní cyklus ECO-skladu Lifecycle ECO-sklad: (dodávka pejímka)* (dotaz na stav je bezpený?)* pejímka = prázdná plošina. dodací list. (barel k zaazení. #ID barelu)*. konec pejímky. [#rozdíly v pejímce]. #píkaz pro skladníka. [#nelze uložit] dodávka = prázdná plošina.požadovaná dodávka. #skutená dodávka. #píkaz pro skladníka dotaz na stav = je bezpený? =... SWI041 - Analýza 68

69 Životní cyklus entity barel Lifecycle BAREL: zarad_barel. #ID barelu. #píkaz pro uskladnní. dodávka. #píkaz pro vyskladnní SWI041 - Analýza 69

70 Kontroly analytických model

71 Výstup analýzy Konceptuální model: datový model popisuje entity, atributy, vztahy, integritní omezení, funkní model popisuje služby, které systém poskytuje pro záznam, údržbu a využití dat, dynamický model popisuje možné stavy dat a jejich zmny. Kontrola výstup analýzy: kontrola jednotlivých model (pohled) kontrola vzájemné konzistence model SWI041 - Analýza 71

72 Kontrola datového modelu je datový model úplný? existuje entita pro každý typ objektu? nejsou zde nadbytené entity (entity tvoené pouze identifikací, entity s jedinou instancí, apod.)? jsou zde zaneseny všechny vztahy (vetn generalizací a agregací)? nejsou zde odvoditelné vztahy? je model v normální form? jsou zanesena všechna integritní omezení? SWI041 - Analýza 72

73 Nadbytené entity entity tvoené pouze identifikací entity s jedinou instancí entity s vazbou typy 1:1 apod. Dobrou technikou je pedstavit si píklady entit a objekt? SWI041 - Analýza 73

74 Jsou zaneseny všechny v vztahy? Nelze doplnit generalizace? Nelze doplnit agregace? Nelze model vylepšit? Píklad: Pro entitu dodací list lze vymyslet pružnjší model, který usnadní pípadné úpravy v budoucnosti SWI041 - Analýza 74

75 Datový model pro ECO-sklad SWI041 - Analýza 75

76 Nejsou zde odvoditelné vztahy? Zákazník si objednává zboží Zákazníkovi je vystavena faktura. Odebrané zboží je pedmtem fakturace.? Nejsou zde odvoditelné vztahy? Pozn.: Odvoditelné vztahy mohou v modelu být, ale musí být jako odvoditelné pedznaeny znakem / a doplnny zpsobem odvození (formulí, popisem v OCL). SWI041 - Analýza 76

77 Jsou zanesena všechna v integritní omezení? adu vlastností dat nelze do diagramu zanést: Šéf musí mít vtší plat než jeho podízení. V jednom skladu nelze umístit chemikálie typu 1 a 2. context s:sklad inv : forall(barel x,y s.obsahuje(x) and s.obsahuje(y) implies x.typ!= 1 or y.typ!= 2) SWI041 - Analýza 77

78 Vyvážen ení datového modelu datový model versus datový slovník každá entita, atribut a vztah v DD datový model versus funkní dekompozice každá pam a datový tok obsahuje entitu, atribut nebo vztah (nebo jejich kombinaci) datový model versus minispecifikace nco musí entity a vztahy vytváet/rušit, íst/modifikovat (matice CRUD) SWI041 - Analýza 78

79 Kontrola funkního modelu je funkní model úplný? existuje funkce/metoda pro každou událost? každá funkce/metoda musí být popsána dekompozicí, nebo mít minispecifikaci (vstupy a výstupy musí odpovídat) nejsou zde nadbytené funkce/metody? SWI041 - Analýza 79

80 Vyvážen ení funkního modelu funkní model versus datový slovník každá pam a datový tok v DD každý prvek DD se nkde vyskytuje (jinak je zbytený) funkní model versus datový model každá data zmínná ve funkce/metod musí být popsána v datovém modelu funkní model versus dynamický model každý ídicí proces má dynamický model (vstupy = podmínky, výstupy = akce) SWI041 - Analýza 80

81 Kontrola dynamického modelu je dynamický model úplný? existuje model pro každou entitu, která mže mít rzné stavy? existuje model pro každý ídicí proces? existuje popis životního cyklu systému? SWI041 - Analýza 81

82 The End