Metódy a prostriedky špecifikácie, ak. rok 2011/12

Projekt

V rámci predmetu Metódy a prostriedky špecifikácie vypracujete projekt – model softvérového systému. Cieľom projektu je prehĺbiť poznatky o prípadoch použitia a technikách modelovania v jazyku UML. Prevažná časť projektu sa realizuje v nástroji IBM Rational Software Architect (ďalej len RSA).

Projekt pozostáva z troch časti:

  1. Upresnenie rámcového zadania
  2. Model prípadov použitia
  3. Model štruktúry a správania systému

Vypracovanie a odovzdanie všetkých zložiek projektu v akceptovateľnom stave a v stanovených termínoch je podmienkou získania zápočtu. Všeobecné podmienky akceptovania projektu sú nasledujúce:

  1. Projekt musí byť vlastnou prácou študenta, ktorý ho odovzdáva. Plagiáty nebudú tolerované.
  2. Časti projektu realizované v RSA musia byť dodané vo verzii dostupnej v laboratóriu, v ktorom sa realizujú cvičenia.
  3. Časti projektu 2 a 3 musia byť odovzdané a prezentované aspoň raz v pokročilom štádiu rozpracovania pred záverečným odovzdaním.
  4. Časti projektu 2 a 3 musia byť prezentované a obhájené ústne na adekvátnej úrovni.

Tieto všeobecné podmienky akceptovania platia pre celý projekt. Okrem toho, pre každú časť projektu platia špecifické podmienky akceptovania uvedené ďalej.

Všetky zložky projektu sa odovzdávajú do systému AIS, pre čo budú vytvorené zodpovedajúce miesta odovzdania. Miesta odovzdania budú vytvorené aj pre odovzdanie pracovných verzií projektu, prostredníctvom ktorých sa preukazuje aktívny prístup k realizácii projektu počas semestra. Aktívny prístup tvorí približne polovicu hodnotenia prezentácie projektu.

1. Upresnenie rámcového zadania

Vypracujte upresnenie rámcového zadania v zmysle určenia oblasti a jej pojmov, ktorým zodpovedajú abstrakcie rámcového zadania. Zadaniu dajte vlastný názov. Očakávaný rozsah upresnenia je jedna strana v tvare PDF, DOC alebo RTF. Nezabudnite v dokumente uviesť svoje meno. Zadanie podlieha schváleniu zo strany učiteľa najneskôr na 3. cvičení. Na 2. cvičení je záväzné prekonzultovanie predbežného znenia zadania.

Termín: odovzdanie predbežnej verzie na 2. cvičení; odovzdanie finálnej verzie do začiatku 3. cvičenia

^

2. Model prípadov použitia a iniciálny model správania

Pre upresnené zadanie vytvorte model prípadov použitia pozostávajúci z opisu prípadov použitia a diagramov organizovaných podľa predmetu (subject). Opis dodajte v samostatnom súbore (PDF, RTF alebo DOC). Diagramy prípadov použitia vypracujte a dodajte ako model v RSA. Opis prípadov použitia má byť konzistentný vo zvolenej notácii: Jacobsonovej, Cockburnovej alebo aj inej, prípadne aj s vlastnými prispôsobeniami (podľa dohody s učiteľom). Notáciu a prispôsobenia identifikujte v úvode.

Aby bola akceptovaná, táto časť projektu musí zodpovedať zadaniu a spĺňať nasledujúce podmienky:

  1. Diagramy prípadov použitia musia byť súčasťou modelu v RSA.
  2. Minimálny rozsah je 8 opísaných prípadov použitia (s netriviálnymi tokmi). Ak sú prípady použitia typu CRUD pre danú entitu rozpísané do samostatných prípadov použitia, všetky tieto prípady použitia sa počítajú ako jeden. V prípadoch použitia sa musí vyskytovať aspoň jeden alternatívny tok.
  3. Medzi prípadmi použitia musí byť aspoň jeden vzťah include, jeden vzťah extend a jeden vzťah generalizácie, pričom prípady použitia, ktoré v týchto vzťahoch vystupujú musia byť opísané (ich toky).
  4. Pre štyri prípady použitia (ich toky) musia byť vypracované diagramy sekvencií a pre tie isté štyri prípady použitia aj diagramy aktivít (aby ste mohli konfrontovať tieto techniky).
  5. Diagramy prípadov použitia musia byť opísané a to priamo v RSA.
  6. Z opisov prípadov použitia a diagramov sekvencií a aktivít identifikujte triedy (entity, control a boundary v zmysle prístupu Unified Process) a reprezentujte ich vo forme kolaborácií ako prípravu pre ďalšie modely.

Použitie pokročilé prvky diagramov sekvencií a aktivít (podmienka vyššieho hodnotenia).

Termín: odovzdanie do začiatku 6. cvičenia; prezentácia na 6. a 7. cvičení

Odovzdáva sa:

Hodnotenie:

^

3. Štruktúra a správanie systému

Triedy identifikované prostredníctvom iniciálneho modelu správania znázornite v diagrame tried ako základnom modeli štruktúry systému. Triedy organizujte do balíkov. Použite diagramy sekvencií na špecifikáciu vybraných metód. Uplatnite stavové diagramy na vyjadrenie stavového priestoru objektov vybraných tried.

Použite diagram komponentov ako iný spôsob vyjadrenia štruktúry. Interakciu komponentov vyjadrite tiež diagramami sekvencií. Vnútornú štruktúru a prepojenie vybraných komponentov znázornite diagramom kompozitnej štruktúru.

Uplatnite jazyk Z na špecifikáciu vybraných metód. Viac informácií o tejto časti projektu je na samostatnej stránke.

Aby bola akceptovaná, táto časť projektu musí zodpovedať zadaniu a spĺňať nasledujúce podmienky:

  1. Minimálny počet tried a rozhraní spolu je 12. Všetky triedy a rozhrania musia byť opísané priamo v RSA.
  2. Triedy a rozhrania musia byť označené stereotypmi podľa prístupu Unified Process alebo inak musí byť oddelená údajová časť, riadiaca časť a rozhranie v zmysle Unified Process. V triedach a rozhraniach musia byť vyznačené operácie a atribúty.
  3. Model musí obsahovať aspoň jedno ohraničenie vyjadrené v jazyku OCL.
  4. Triedy musia byť zaradené do balíkov. Balíky a vzťahy medzi nimi musia byť znázornené v diagramoch balíkov. Každý balík musí byť opísaný priamo v RSA.
  5. Pre dve triedy musí byť uvedený model stavového priestoru ich objektov stavovými diagramami.
  6. Pre dve metódy musia byť uvedené diagramy sekvencií.
  7. Model musí obsahovať diagram komponentov. Diagram musí byť opísaný.
  8. Interakcia komponentov musí byť vyjadrená aspoň jedným diagramom sekvencií.
  9. Model musí obsahovať diagram kompozitnej štruktúry vybraných komponentov vrátane prepojenia medzi nimi.
  10. K modelu v UML musí byť definovaný stav systému v jazyku Z vrátane jeho inicálizácie a musia byť uvedené špecifikácie aspoň troch vybraných operácií. Každú schému musí sprevádzať krátky komentár. Špecifikácia musí prejsť základnou verifikáciou nástrojom Z/EVES (okrem odôvodnených prípadov spôsobených obmedzeniami v podpore jazyka Z nástrojom Z/EVES).

Medzi balíkmi identifikujte závislosti. Závislosti medzi balíkmi majú reflektovať závislosti medzi ich prvkami.

Termín: odovzdanie do začiatku 11. cvičenia; prezentácia na 11. a 12. cvičení

Odovzdáva sa:

Hodnotenie:

^

fiit.stuba.sk/~vranic/mps