+ All Categories
Home > Documents > Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek...

Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek...

Date post: 19-Aug-2018
Category:
Upload: lebao
View: 231 times
Download: 1 times
Share this document with a friend
76
SWI041 SWI041 : : Ú Ú vodn vodn í í studie studie Hledáme, odpov na otázku ZDA a PRO Sbr požadavk na SW produkt (feasibility study)
Transcript
Page 1: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041SWI041: :

ÚÚvodnvodníí studiestudieHledáme, odpov�� na otázku

ZDA a PRO�Sb�r požadavk� na SW produkt

(feasibility study)

Page 2: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

Nejprve trochu kontrolyNejprve trochu kontroly

Stav projekt�

Page 3: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 3

SWI041: SWI041: ÚÚvodnvodníí studie studie M�la by odpov�d�t na otázku PRO�?� Musí proto vymezit hranici projektu� Musí odpov�d�t na otázku: “je projekt

uskute�nitelný?” (feasibility study)� Musí odpov�d�t na otázku: “kdo a co bude

k �ešení zapot�ebí?”� Musí odpov�d�t na otázku: “vyplatí se projekt �ešit?”

Page 4: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 4

Vstupy Vstupy úúvodnvodníí studiestudie�Požadavky na systém

�zadání projektu, deklarace zám�ru, vize projektu, odborný �lánek, tj. všechny dokumenty, které mají k �ešenému problému n�jaký vztah

Page 5: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 5

Výstupy Výstupy úúvodnvodníí studiestudie� Definice systému

� katalog požadavk�, definice hranice systému (diagram kontextu, model jednání), datový (pojmový) slovník, ...

� Projektová dokumentace��esitelský tým (funkce, zodpov�dnosti).� Návrh �ešení: HW, SW, komponenty.� Seznam úloh a harmonogram �ešení.� Rozpo�et: - cena HW, cena licencí na SW, cena

vývoje SW a HW (COCOMO).

Page 6: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 6

Deklarace zDeklarace záámm��ruru�Krátký výstižný text se stru�nými

informacemi o projektu - jaké služby poskytuje, pro koho je ur�en a jakáp�edpokládá omezení.

�M�la by posloužit pro odpov�� na otázku “co ano, a co ne?”.

�Je obvykle základem budoucího prospektu pro vytvo�ený produkt.

Page 7: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 7

Systém “Výtah” slouží pro logické �ízení obsluhy výtahu s jednou �i více šachtami. Systém “Výtah”reaguje na požadavky uživatel� a dále registruje signalizaci ze spína�� v patrech a indikace ze senzor� p�etížení. Systém “Výtah” ovládá klece výtah� pomocí povel� pro motory výtah�. Systém “Výtah” se nezabývá havarijním tla�ítkem STOP, rovn�ž otevírání a zavírání dve�í jde mimo systém (kv�li bezpe�nosti).

Deklarace zDeklarace záámm��ru pro ru pro ““VýtahVýtah””(slouží pro odpov�� na otázku “co ano, a co ne?”)

Page 8: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 8

Chyby v deklaraci zChyby v deklaraci záámm��ruru�Je p�íliš dlouhá a nep�ehledná.�Je p�íliš krátká a nepr�hledná.�Není z ní z�ejmé, �ím se systém

zabývat má a �ím nikoliv.

Page 9: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 9

Deklarace zám�ru

Page 10: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 10

Odborný Odborný ��llááneknek� Všechny informace, které lze o projektu

sehnat (�lánky, interview, p�edpisy, …).� Ozna�ení „odborný �lánek“ má vystihovat

p�edstavu, že se jedná o texty v p�irozeném jazyce, které sepsal odborník na �ešenou problematiku. Informatik ji bude analyzovat a vytvo�í popis p�esn�jší.

� N�kdy se odborný �lánek nazývá „katalog požadavk�“, ale my budeme takto ozna�ovat strukturovanou verzi odborného �lánku, kterou již tvo�í informatik ve spolupráci se zadavatelem

Page 11: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 11

Systém “Výtah” slouží pro logické �ízení obsluhy výtahu s jednou �i více šachtami (p�edpokládají se 4 šachty a 40 úrovní). Systém zajiš�uje efektivníplánování sb�ru a odvozu pasažér� mezi obsluhovanými patry podle požadavk� (požadavek na p�ivolání výtahu pro jízdu sm�rem nahoru nebo dol�, požadavek na dopravení do ur�itého patra). Sm�r jízdy se nem�ní, dokud výtah nesplní objednávky v daném sm�ru (výtah neví o pasažérech –neexistuje indikace prázdnosti klece). P�epln�ný výtah nereaguje na výzvy (existuje indikace p�etížení). Pro každou šachtu existuje samostatný motor ovládaný signály (povely UP, DOWN a STOP). Povel STOP zp�sobí zastavenívýtahu v nejbližším pat�e v daném sm�ru a otev�ení dve�í výtahu (dve�e se dajíotev�ít až v pat�e). Uvnit� klece je panel s tla�ítky pater, indikace aktuálnípolohy a tla�ítko STOP. Tla�ítko STOP zabrání zav�ení dve�í (jde mimo systém). Rovn�ž otevírání a zavírání dve�í jde mimo systém (kv�li bezpe�nosti). P�íkazy pro systém jsou akceptovány až po zav�ení dve�í. Operátor výtahu má k dispozici tla�ítko ON/OFF, kterým zadává požadavek na zastavení pohybu výtah�.

Odborný Odborný ��lláánek pro nek pro „„VýtahVýtah““(textový popis požadavk�)

Page 12: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 12

Chyby v odbornChyby v odbornéém m ��lláánkunku� Je p�íliš krátký a nepostihuje n�které

charakteristiky systému.� Je p�íliš dlouhý a zabývá se problémy, které

s popisem systému nesouvisí.� Není z n�j z�ejmé, jaká data bude systém

zpracovávat, jaké služby bude poskytovat, jak se budou vlastnosti systému m�nit v �ase �i jako d�sledek n�jakých (popsaných) okolností.

� Neobsahuje n�který požadavek.

Page 13: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 13

Odborný �lánek

Page 14: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 14

Vize projektuVize projektu�Upravená, mírn� strukturovaná verze

odborného �lánku.�P�íklad: Hotelový rezerva�ní systém

(BayView B&B) Vize

Page 15: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 15

Formalizace informacFormalizace informacíí� Formální vyjád�ení je nutné pro jednozna�nou

interpretaci.� �asto se doporu�uje z odborného �lánku vyrobit

katalog požadavk� a z n�j extrahovat hned na za�átku:� aktéry (uživatelské role a spolupracující systémy),� události (p�ípady použití),� pot�ebná a požadovaná data.

� N�které metodiky navrhují vybrat z text� podstatnájména (kandidáti na data) a slovesné fráze (kandidáti na služby - p�ípady použití).

� Vybrané termíny uložit do významového (datového) slovníku.

Page 16: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 16

Katalog poKatalog požžadavkadavk��� Zadávací dokumentace obsahuje deklaraci

zám�ru a odborný �lánek.� Odborný �lánek je nejprve p�edzpracován

tak, aby tvo�il katalog požadavk�.� Katalog požadavk� je strukturovaná verze

odborného �lánku ve form� stromu požadavk�.

� Požadavky jsou o�íslovány a p�es �ísla se na n� lze odvolávat v další dokumentaci.

Page 17: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 17

1. Systém “Výtah” slouží pro logické �ízení obsluhy výtahu.1.1 Výtah m�že mít jednu �i více šachet (p�edpokládají se 4 šachty).1.2 Výtah m�že mít dv� a více úrovní - pater (p�edpokládá se 40 úrovní).

2. Systém zajiš�uje efektivní plánování sb�ru a odvozu pasažér� mezi obsluhovanými patry podle požadavk�.2.1 Požadavek na p�ivolání výtahu pro jízdu sm�rem nahoru nebo dol�

(vzniká v pat�e).2.2 Požadavek na dopravení do ur�itého patra (vzniká v kleci výtahu).

3. Sm�r jízdy se nem�ní, dokud výtah nesplní objednávky v daném sm�ru (výtah neví o pasažérech – neexistuje indikace prázdnosti klece).

4. P�epln�ný výtah nereaguje na výzvy (existuje indikace p�etížení).……

n. Pravd�podobnost chyby by m�la být menší než 1 chyba za 10 let (p�íklad nefunk�ního požadavku, který ale musíme též evidovat).

Katalog poKatalog požžadavkadavk�� pro pro „„VýtahVýtah““(strukturovaný textový popis požadavk�)

Page 18: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 18

Katalog poKatalog požžadavkadavk�� pro HRSpro HRS�BayViewSRS.pdf

Page 19: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 19

Seznam aktSeznam aktéérr��� Aktér je cokoliv, co se nachází mimo

navrhovaný systém, co ale m�že vyvolatudálost, na kterou systém musí reagovat (vstupní událost - akce), nebo je to cokoliv, co m�že informaci od systému p�ijmout (výstupní událost – reakce).

� Akté�i tedy p�edstavují uživatelské role a spolupracující systémy.

Page 20: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 20

Systém “Výtah” slouží pro logické �ízení obsluhy výtahu s jednou �i více šachtami (p�edpokládají se 4 šachty a 40 úrovní). Systém zajiš�uje efektivníplánování sb�ru a odvozu pasažér� mezi obsluhovanými patry podle požadavk� (požadavek na p�ivolání výtahu pro jízdu sm�rem nahoru nebo dol�, požadavek na dopravení do ur�itého patra). Sm�r jízdy se nem�ní, dokud výtah nesplní objednávky v daném sm�ru (výtah neví o pasažérech –neexistuje indikace prázdnosti klece). P�epln�ný výtah nereaguje na výzvy (existuje indikace p�etížení). Pro každou šachtu existuje samostatný motorovládaný signály (povely UP, DOWN a STOP). Povel STOP zp�sobí zastavenívýtahu v nejbližším pat�e v daném sm�ru a otev�ení dve�í výtahu (dve�e se dajíotev�ít až v pat�e). Uvnit� klece je panel s tla�ítky pater, indikace aktuálnípolohy a tla�ítko STOP. Tla�ítko STOP zabrání zav�ení dve�í (jde mimo systém). Rovn�ž otevírání a zavírání dve�í jde mimo systém (kv�li bezpe�nosti). P�íkazy pro systém jsou akceptovány až po zav�ení dve�í. Operátor výtahu má k dispozici tla�ítko ON/OFF, kterým zadává požadavek na zastavení pohybu výtah�.

KandidKandidááti na ti na aktaktééryry -- „„VýtahVýtah““

Page 21: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 21

PASAŽÉR (primární aktér) – ten, který se výtahem dopravuje(p�esn�ji, ten který generuje požadavky)

OPERÁTOR – ten, který systém spouští a zastavujeSENZOR P�ETÍŽENÍ – to, co hlásí p�etížení kleceSPÍNA� PATRA – to, co hlásí p�íjezd klece do patra�ÍZENÍ MOTORU – to, co �ídí motory podle povel�

Seznam aktSeznam aktéérr�� pro pro „„VýtahVýtah““(uživatelské role a spolupracující systémy)

Page 22: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 22

KandidKandidááti na ti na aktaktééryry -- „„BenzinkaBenzinka““

…Zákazníci (zam�stnanci firmy) mají magnetické karty. Kdyžzákazník p�ijede ke stojanu, projede kartou �te�ku a zadá PIN. Pokud prob�hne autorizace v po�ádku, zobrazí se mu informace o jeho kreditu a on podle sejmuté pistole m�že �erpat do výše kreditu danou pohonnou hmotu, nebo si m�že požadované množstvíp�edvolit (bu� ve finan�ních jednotkách nebo v objemových jednotkách. Po na�erpání se vytiskne stvrzenka. O �erpání se vytvo�í transakce, která se zaznamená. …

Page 23: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 23

Seznam aktér� pro „Benzinku“

Page 24: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 24

Chyby v seznamu aktChyby v seznamu aktéérr���Neúplný seznam aktér�.�Za aktéra je považováno „cosi“, co

nemá se systémem žádnou možnost komunikace.

�Zapomn�lo se na „sekundární aktéry“(systém pro n� není primárn� ur�en, ale jsou nezbytní k jeho provozu).

Page 25: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 25

Seznam udSeznam udáálostlostíí� Událost je cosi, co vzniklo mimo systém, ale

systém na to musí reagovat.� S událostí souvisí data, která procházejí p�es

hranici systému.� Událost m�že vyvolat bezprost�ední reakci

systému (posílají se data n�jakému aktérovi) a/nebo zm�nu stavu systému.

� Události je t�eba nahlížet zvenku (ze strany aktér�).

Page 26: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 26

Systém “Výtah” slouží pro logické �ízení obsluhy výtahu s jednou �i více šachtami (p�edpokládají se 4 šachty a 40 úrovní). Systém zajiš�uje efektivníplánování sb�ru a odvozu pasažér� mezi obsluhovanými patry podle požadavk� (požadavek na p�ivolání výtahu pro jízdu sm�rem nahoru nebo dol�, požadavek na dopravení do ur�itého patra). Sm�r jízdy se nem�ní, dokud výtah nesplní objednávky v daném sm�ru (výtah neví o pasažérech –neexistuje indikace prázdnosti klece). P�epln�ný výtah nereaguje na výzvy (existuje indikace p�etížení). Pro každou šachtu existuje samostatný motor ovládaný signály (povely UP, DOWN a STOP). Povel STOP zp�sobí zastavenívýtahu v nejbližším pat�e v daném sm�ru a otev�ení dve�í výtahu (dve�e se dajíotev�ít až v pat�e). Uvnit� klece je panel s tla�ítky pater, indikace aktuálnípolohy a tla�ítko STOP. Tla�ítko STOP zabrání zav�ení dve�í (jde mimo systém). Rovn�ž otevírání a zavírání dve�í jde mimo systém (kv�li bezpe�nosti). P�íkazy pro systém jsou akceptovány až po zav�ení dve�í. Operátor výtahu má k dispozici tla�ítko ON/OFF, kterým zadává požadavek na zastavení pohybu výtah�.

KandidKandidááti na sluti na služžby by -- „„VýtahVýtah““

Page 27: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 27

PASAŽÉR stiskl p�ivolávací tla�ítko pro jízdu nahoru (UP)PASAŽÉR stiskl p�ivolávací tla�ítko pro jízdu dol� (DOWN)PASAŽÉR stiskl tla�ítko patra v kleci výtahuOPERÁTOR stiskl tla�ítko ON/OFFVýtah dosáhl patra (SPÍNA� PATRA)Výtah opustil patro (SPÍNA� PATRA)Došlo k p�etížení (SENZOR P�ETÍŽENÍ)P�etížení opadlo (SENZOR P�ETÍŽENÍ)

Seznam udSeznam udáálostlostíí pro pro „„VýtahVýtah““

(stimuly z okolí, na které musí systém reagovat -seznam požadavk� na služby systému)

Page 28: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 28

Seznam událostí pro „Benzinku“

Page 29: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 29

PP��ííklad: ECOklad: ECO--skladsklad

ECO sklad je za�ízení pro ekologické ukládání barel� s chemikáliemi klasifikované jako typ 1, 2 a 3 (dle EPA -Environmental Protection Agency). Barely se ukládají do skladových budov se stanovenou kapacitou (ve skladu ale existují i jiné budovy). Chemikálie typu 1 a 2 nesmí být uloženy do stejné budovy, chemikálie typu 3 mohou být uloženy libovoln�. Do skladu jsou p�ejímány barely p�es nakládacíplošinu, odtud se též odvážejí p�i vyskladn�ní. P�ejímka i dodávka je vybavena dodacím listem. P�i p�ejímce operátor p�evezme dodací list, vyložené barely ozna�í jednozna�ným identifikátorem a po vyložení všech barel� zkontroluje skute�ný stav. Barely rozváží z plošiny skladník na základ� vystaveného p�íkazu. P�i dodávce operátor p�evezme požadovaný dodací list, vystaví skute�nou dodávku a p�edá skladníkovi p�íkaz k vyskladn�ní.

Page 30: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 30

P�ípad použití

Požadavek

Page 31: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 31

Page 32: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 32

Chyby v seznamu udChyby v seznamu udáálostlostíí� Neúplný seznam událostí.� Za událost je považováno „cosi“, na co

systém nemusí reagovat.� Událost je nevhodn� popsána (není

nahlížena z pohledu vn� systému).� Za událost je považováno „cosi“, co

p�edstavuje reakci systému (výstupní stimul generovaný systémem).

� Není ur�en aktér, který m�že událost zp�sobit.

Page 33: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 33

Kontextový diagramKontextový diagram

(ur�ení hranice systému)

datový tok(reakce)

datový tok(akce, událost)

hranicesystému

aktérterminátor

uživatelská role

Systém

Page 34: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 34

Kontextový diagram pro Kontextový diagram pro ““VýtahVýtah””

Systempro rizeni

vytahu

PASAZER

OPERATOR

SPINACPATRA

SENZORPRETIZENI

RIZENIMOTORU

stisk tlacitka

tlacitko ON/OFF

indikace

signalizacespinace patra

signalizacepretizeni

ridici povel

(ur�ení hranice systému)

Page 35: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 35

Význam termVýznam termíínn��� Všechny termíny v dokumentaci by m�ly být

zaneseny ve významovém slovníku(technický termín je datový slovník – Data Dictionary).

� Je to proto, aby se termíny používanév dokumentaci interpretovaly stejn� – nap�. „formulá� 501“ m�že být termín b�žný pro zadavatele, ale rozum�t mu musí i �ešitel -objednávka je obecn� srozumitelný pojem, co ale má skute�n� obsahovat?

Page 36: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 36

PP��.: Rozhovor na t.: Rozhovor na tééma ma „„jmjméénono““� �lov�k: My lidé se nazýváme jmény.� Mar�an: A co je to jméno?� �lov�k: Jméno je posloupnost znak�.� Mar�an: Takže „a1234“ je správné jméno?� �lov�k: Ve jménech používáme pouze písmena.� Mar�an: Takže „X“ je správné jméno?� �lov�k: Teoreticky ano, ale obvykle používáme

jména, která obsahují nejmén� dv� písmena. Navíc mají lidé v�tšinou více jmen – jméno je rozd�leno na �ásti, kterým se �íká „první jméno“, „p�íjmení“, apod.

� Mar�an: …?

Page 37: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 37

Datový slovnDatový slovníík (dle k (dle YourdonaYourdona))

Metaznak Význam P�íklad Jak se to �te

= skládá se z X =Y X se skládá z Y

+ a Z = X + Y Z se skládá z X a Y

( ) m�že chyb�t Z = X + ( Y ) Z se skládá z X a p�íp. Z Y

{ } opakování Z = { X } Z se skládá z n�kolika X

[ ] jeden z možných Z = [ X | Y ] Z se skládá bu� z X nebo z Y (implicitnípoložku lze podtrhnout)

** komentá� *toto je komentá�*

@ klí�ová položka Z = @X+Y Z se skládá z X a Y, kdeX je klí�ová položka

@<�íslo> �ást složenéhoklí�e

Z = @1X+@2Y X a Y tvo�í klí� (v tomtopo�adí)

Page 38: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 38

celé jméno = { tituly p�ed } + první jméno + { prost�ední jméno } +p�íjmení + { �árka + tituly za }

tituly p�ed = [ pan | paní | sle�na | ing. | RNDr. | doc. | prof. | … ]první jméno = jménop�íjmení = jménoprost�ední jméno = jménojméno = velké písmeno + 1{ malé písmeno }písmeno = [ malé písmeno | velké písmeno ]malé písmeno = [ a | á | b | c | … ] *písmena lokální abecedy*velké písmeno = [ A | Á | B | C | … ] *písmena lokální abecedy*�árka = ,tituly za = [ CSc. | PhD. | DrSc. | prom.mat. | … ]

Datový slovnDatový slovníík pro k pro ““JmJméénono””

Page 39: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 39

šachta = celé �íslo *rozsah 1..4*patro = celé �íslo *rozsah 1..40*tla�ítko p�ivolání = patro + sm�r sm�r = [ UP | DOWN ]tla�ítko patra = šachta + patro stisk tla�ítka = [ tla�ítko patra | tla�ítko p�ivolání ]signalizace spína�e patra = šachta + patro signalizace p�etížení = šachta �ídicí povel pro motor = šachta + povel povel = [ UP | DOWN | STOP ]indikace patra = šachta + patro indikace p�ivolání = patro + sm�r indikace = [ indikace patra | indikace p�ivolání ]

Datový slovnDatový slovníík pro k pro ““VýtahVýtah””

Page 40: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 40

Datový slovnDatový slovníík pro HRSk pro HRS�BayViewGlossary.pdf

Page 41: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 41

USED AT: AUTHOR: Karel Richta DATE:REV:PROJECT: Vytah

8.3.20038.3.2003

NOTES: 1 2 3 4 5 6 7 8 9 10

WORKING

DRAFT

RECOMMENDED

PUBLICATION

READER DATE CONTEXT:

TOP

NODE: TITLE: NUMBER:Systém pro øízení výtahuA-0

stisktlaèítka

ON/OFF

øídicípovel signalizace spínaèe patra

signalizace pøetížení

indikace

00 Kè

Systém pro øízení výtahu

1PASAŽÉR

2OPERÁTOR

3MOTOR

4SPÍNAÈPATRA

5SIGNALIZACE

PØETÍŽENÍ

Kontext pomocKontext pomocíí AllFusionAllFusion BPWinBPWin

Page 42: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 42

Chyby v definici kontextuChyby v definici kontextu� Akté�i spolu komunikují mimo systém� Není zd�razn�n dvojí výskyt aktéra � Chybí datový tok pro n�kterou událost� Chybí datový tok pro n�kterou reakci systému� Datový tok není popsán v datovém slovníku� Datový tok je popsán nevhodn� (p�íliš

obecn�)� Dva r�zní akté�i mají stejnou sadu událostí

(pak to z�ejm� nejsou r�zní akté�i)� Za událost se považuje p�ihlášení do systému

(za�azení do role jde mimo kontext)

Page 43: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 43

Page 44: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 44

Model jednModel jednáánníí (Use (Use CaseCase Model)Model)Prvky:� aktér (actor) - uživatelská role nebo

spolupracující systém� hranice systému (systém boundary) -

vymezení hranice systému� p�ípad použití (use case) - dokumentace

události, na kterou musí systém reagovat� komunikace - vazba mezi aktérem a

p�ípadem použití (aktér komunikuje se systémem na daném p�ípadu)

Page 45: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 45

Notace modelu jednNotace modelu jednáánníí

aktér

p�ípad použití

hranice systémukomunikace

Page 46: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 46

PP��ííklad: klad: „„ee--obchodobchod““�E-obchod poskytuje zákazník�m

možnost nákupu produkt�.

Page 47: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 47

DoplDopl��ky k modelu jednky k modelu jednáánníí

�orientovaná komunikace - p�ípad, kdy chceme vyzna�it sm�r komunikace

Page 48: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 48

OrientovanOrientovanáá komunikacekomunikace

Page 49: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 49

PP��ííklad modelu jednklad modelu jednáánníí

Page 50: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 50

PP��ííklad: ECOklad: ECO--skladsklad

ECO sklad je za�ízení pro ekologické ukládání barel�s chemikáliemi klasifikované jako typ 1, 2 a 3 (dle EPA -Environmental Protection Agency). Barely se ukládají do skladových budov se stanovenou kapacitou (ve skladu ale existují i jiné budovy). Chemikálie typu 1 a 2 nesmí být uloženy do stejné budovy, chemikálie typu 3 mohou být uloženy libovoln�. Do skladu jsou p�ejímány barely p�es nakládacíplošinu, odtud se též odvážejí p�i vyskladn�ní. P�ejímka i dodávka je vybavena dodacím listem. P�i p�ejímce operátor p�evezme dodací list, vyložené barely ozna�í jednozna�ným identifikátorem a po vyložení všech barel� zkontroluje skute�ný stav. Barely rozváží z plošiny skladník na základ� vystaveného p�íkazu. P�i dodávce operátor p�evezme požadovaný dodací list, vystaví skute�nou dodávku a p�edá skladníkovi p�íkaz k vyskladn�ní.

Page 51: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 51

PP��ííklad modelu jednklad modelu jednáánníí

Page 52: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 52

Chyby v modelu jednChyby v modelu jednáánníí� Akté�i spolu komunikují mimo systém� Není zd�razn�n dvojí výskyt aktéra � Chybí p�ípad použití (služba) pro n�kterou

událost� Chybí n�která reakce systému� P�ípad použití není popsán v datovém slovníku� P�ípad použití je popsán nevhodn� (p�íliš obecn�)� Dva r�zní akté�i mají stejnou sadu událostí (pak

to z�ejm� nejsou r�zní akté�i)� Za událost se považuje p�ihlášení do systému

(za�azení do role jde mimo kontext)

Page 53: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 53

DoplDopl��ky k modelu jednky k modelu jednáánníí

�sekundární aktér - uživatelská role nebo spolupracující systém nutná pro �innost systému

Page 54: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 54

SekundSekundáárnrníí aktaktéé��ii

Page 55: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 55

SekundSekundáárnrníí aktaktéé��ii

Page 56: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 56

DoplDopl��ky k modelu jednky k modelu jednáánníí

�vztahy mezi p�ípady použití - pokud chceme explicitn� vyjád�it fakt, že takový vztah existuje�<<include>> - pokud jeden p�ípad zahrnuje

p�ípad jiný (nap�. autentizace)�<<extend>> - pokud n�jaký p�ípad rozši�uje

chování (je zde možnost volby)�generalizace/specializace

Page 57: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 57

Vztahy mezi sluVztahy mezi služžbamibami

Page 58: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 58

Vztahy mezi sluVztahy mezi služžbami bami

Stereotyp vyjad�ující, že daný p�ípad

použití rozši�uje možnosti

Stereotyp vyjad�ující, že daný p�ípad použití n�co

zahrnuje

Page 59: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 59

Vztahy mezi sluVztahy mezi služžbamibami

Page 60: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 60

Kombinace rKombinace r��zných prvkzných prvk��

Page 61: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 61

Generalizace sluGeneralizace služžebeb

Page 62: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 62

DoplDopl��ky k modelu jednky k modelu jednáánníí

�vztahy mezi aktéry - pokud chceme explicitn� vyjád�it fakt, že takový vztah existuje�generalizace/specializace

Page 63: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 63

Generalizace aktGeneralizace aktéérr��

Page 64: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 64

AutentizaceAutentizace do roledo role

Page 65: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 65

Model jednModel jednáánníí pro Výtahpro Výtah

Page 66: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 66

Model jednModel jednáánníí a kontexta kontext� Model jednání (use case model) slouží pro

evidenci aktér� a služeb systému.� Kontextový diagram slouží pro evidenci

aktér� a datových tok�.� Oba modely se tedy doplují, ale p�edstavují

pouze prvý krok popisu, který musí být dopln�n podrobn�jším popisem služeb (diagramy aktivit, scéná�e) a dat (diagramy t�íd).

Page 67: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 67

Diagramy aktivitDiagramy aktivit�V úvodní studii se používají pro

dokumentaci p�ípad� použití(modelování proces�, modelování„workflow“, atd.)

�Nahrazují do ur�ité míry v UML neexistující diagramy datových tok�

�Slouží jako prost�edek pro domluvu mezi zadavatelem a �ešitelem

Page 68: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 68

Diagramy aktivit (Diagramy aktivit (ActivityActivity diagramsdiagrams))

Prvky:� Aktivity – �innosti, které modelujeme� P�echody – po ukon�ení �innosti se p�ejde

k �innosti jiné� Objekty – s �inností m�že souviset vytvá�ení

nebo konzumace objekt�� Za�átek, Konec� Synchroniza�ní zna�ky (rozv�tvení

a synchronizace)� Plavecké dráhy – okruhy zodpov�dností

Page 69: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 69

Diagram aktivity pro Diagram aktivity pro „„pp��ivolivoláánníí výtahuvýtahu““

Page 70: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 70

Diagram aktivity pro Diagram aktivity pro „„doddodáávkuvku““

Page 71: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 71

ScScéénnáá��e ude udáálostlostíí ((SequenceSequence diagramsdiagrams))(zachycení sledu událostí)Prvky:� objekty - znázorn�né 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 vyzna�ení sledu událostí

Page 72: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 72

ScScéénnáá�� pro pro ““pp��ejejíímkumku””

Page 73: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 73

ScScéénnáá�� pro pro ““doddodáávkuvku””

Page 74: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 74

Datový model (konceptuDatový model (konceptuáálnlníí))(zachycení analýzy dat)Prvky:� typy objekt� (entity) - entita = rozlišitelný

identifikovatelný objekt� vztahy (relationships) - množiny instancí

reprezentujících vztahy mezi (2 a více) objekty� indikace p�idružených objekt� - pro vztahy o nichž

si pot�ebujeme n�co pamatovat� indikace vztah� nadtyp-podtyp - vztah spole�ný -

speciální (gen-spec, d�di�nost), celek-�ást (whole-part)

Page 75: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

SWI041 - Úvodní studie 75

Datový model ECO (1.verze)Datový model ECO (1.verze)

Page 76: Nejprve trochu kontroly - Department of Software ...richta/NSWI041/SWI041-2.pdf · 2.2 Požadavek na dopravení do uritého patra ... BayViewSRS.pdf. SWI041 - Úvodní studie 19 ...

TheThe EndEnd


Recommended