Dr. Mileff Péter

Hasonló dokumentumok
Szekvencia diagram. Szekvencia diagram Dr. Mileff Péter

Rendszer szekvencia diagram

Kölcsönhatás diagramok

Dinamikus modell: állapotdiagram, szekvencia diagram

Programozási technológia

Bánsághi Anna 1 of 67

Integrált keretrendszer

Előzmények

Szoftver technológia ProgMat -

ELŐADÁS ÁTTEKINTÉSE. Tevékenységek tervezése Gantt diagramm

A dokumentáció felépítése

Szoftverprototípus készítése. Szoftverprototípus készítése. Szoftverprototípus készítése

UML (Unified Modelling Language)

Bánsághi Anna 2014 Bánsághi Anna 1 of 72

A SZOFTVERTECHNOLÓGIA ALAPJAI

Bánsághi Anna 2014 Bánsághi Anna 1 of 31

2.1.A SZOFTVERFEJLESZTÉS STRUKTÚRÁJA

Az UPPAAL egyes modellezési lehetőségeinek összefoglalása. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék

Számítógépes Hálózatok. 5. gyakorlat

Szoftvertechnológia ellenőrző kérdések 2005

10-es Kurzus. OMT modellek és diagramok OMT metodológia. OMT (Object Modelling Technique)

A rendszer célja. Funkciók

Szoftver-technológia II. Architektúrák dokumentálása UML-lel. Irodalom. Szoftver-technológia II.

Alapszintű formalizmusok

A Vonallánc készlet parancsai lehetővé teszik vonalláncok és sokszögek rajzolását.

Bevezetés az informatikába

Időzített átmeneti rendszerek

Operációs rendszerek. Az NT folyamatok kezelése

5. Hét Sorrendi hálózatok

Norway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft.

Magas szintű adatmodellek Egyed/kapcsolat modell I.

VISUAL UML A RENDSZERTERVEZÉS OKTATÁSÁBAN

Programozás alapjai (ANSI C)

2) Tervezzen Stibitz kód szerint működő, aszinkron decimális előre számlálót! A megvalósításához

Áttekintés. Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: Ficsor Lajos. Unified Modeling Language UML / 1

Áttekintés. rténete 1. Az UML törtt. Miskolci Egyetem Általános Informatikai Tanszák. Ficsor Lajos UML / 1

Az informatika kulcsfogalmai

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Adat és folyamat modellek

Modell alapú tesztelés mobil környezetben

3. gyakorlat Folyamatmodellek, kooperáló viselkedésmodellek Megoldások

C programozási nyelv

Baran Ágnes. Gyakorlat Függvények, Matlab alapok

TERC V.I.P. hardverkulcs regisztráció

UML. Unified Modeling Language. (Egységesített Modellező Nyelv)

Automatikus infrastruktúra menedzsment és alkalmazástelepítés

Modellinformációk szabványos cseréje. Papp Ágnes, Debreceni Egyetem EFK

Debreceni Egyetem Matematikai és Informatikai Intézet. 13. Védelem

Tartalom Kontextus modellek Viselkedési modellek Adat-modellek Objektum-modellek CASE munkapadok (workbench)

Csoportos üzenetszórás optimalizálása klaszter rendszerekben

Programfejlesztési Modellek

Soros felépítésű folytonos PID szabályozó

Komplex záróvizsga témakörök Gazdaságinformatikus szak Pénzintézeti informatikus szakirány 2018

Adatszerkezetek Adatszerkezet fogalma. Az értékhalmaz struktúrája

Lépcsők és korlátok hozzáadása

Rendszertervezés 6. IR fejlesztése CASE eszköz segítségével (tervezés) Dr. Szepesné Stiftinger, Mária

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

UML. Unified Modeling Language Egységesített Modellező Nyelv

3. gyakorlat Folyamatmodellek, kooperáló viselkedésmodellek Megoldások

Space Invaders Dokumenta cio

Eseménykezelés. Szoftvertervezés és -fejlesztés II. előadás. Szénási Sándor.

VII. Appletek, grafika

A TERC VIP költségvetés-készítő program telepítése, Interneten keresztül, manuálisan

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

Debreceni Egyetem Informatikai Kar. Az UML eszközeinek bemutatása egy komplex rendszer tervezésén keresztül

Új prezentáció létrehozása az alapértelmezés szerinti sablon alapján.

Központi SQL adatbázis kapcsolat

Matematika osztályozó vizsga témakörei 9. évfolyam II. félév:

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Operációs rendszerek. Az NT memóriakezelése

... S n. A párhuzamos programszerkezet két vagy több folyamatot tartalmaz, melyek egymással közös változó segítségével kommunikálnak.

S01-7 Komponens alapú szoftverfejlesztés 1

INFORMATIKA - VIZSGAKÖVETELMÉNYEK. - négy osztályos képzés. nyelvi és matematika speciális osztályok

Üzemszervezés A BMEKOKUA180

Adatstruktúrák, algoritmusok, objektumok

SSADM. Az SSADM (Structured System Analysis and Desing Method) egy rendszerelemzési módszertan.

3. M. 1. L. 1. Bevezetés

Temporális logikák és modell ellenırzés

Szekvenciális hálózatok és automaták

S0-02 Típusmodellek (Programozás elmélet)

Iman 3.0 szoftverdokumentáció

TEVÉKENYSÉGEK TERVEZÉSE TEVÉKENYSÉGEK TERVEZÉSE TEVÉKENYSÉGEK TERVEZÉSE IDŐTERVEZÉS. IDŐTERVEZÉS (Gantt diagramm)

Kommunikáció. 3. előadás

TERMÉKTERVEZÉS PANDUR BÉLA TERMÉKTERVEZÉS

Programozási nyelvek 1. előadás

Adatszerkezetek és algoritmusok

ECDL képzés tematika. Operáció rendszer ECDL tanfolyam

Érintőképernyős terminálok NB sorozat

Tartalom jegyzék 1 BEVEZETŐ SZOFTVER ÉS HARDVER KÖVETELMÉNYEK 2 2 TELEPÍTÉS 2 3 KEZELÉS 5

S01-8 Komponens alapú szoftverfejlesztés 2

Széchenyi István Egyetem. Programozás III. Varjasi Norbert

Rekurzió. Dr. Iványi Péter

ADATBÁZIS ALAPÚ RENDSZEREK

Gyakorló feladatok: Formális modellek, temporális logikák, modellellenőrzés. Majzik István BME Méréstechnika és Információs Rendszerek Tanszék

DEHNsupport Toolbox - Kockázatelemzés Export/import (archiválás, megosztás) 2013 DEHN + SÖHNE / protected by ISO 16016

Microsoft Excel 2010

Rendszermodellezés 1. ZH, A csoport, nagyfeladatok

Telepítési útmutató. 1 Nintex Workflow 2010 telepítési útmutató

USB I/O kártya. 12 relés kimeneti csatornával, 8 digitális bemenettel (TTL) és 8 választható bemenettel, mely analóg illetve TTL módban használható.

Átírás:

Dr. Mileff Péter 1 2 1

Szekvencia diagram Szekvencia diagram Feladata: objektumok egymás közti üzenetváltásainak ábrázolása egy időtengely mentén elhelyezve. Az objektumok életvonala egy felülről lefelé mutató időtengelyt képvisel. Az időbeliség alapesetben csak sorrendiséget jelent: amelyik üzenet nyila lejjebb található, az követi a felé rajzolt üzenetet. A lefelé lejtő nyíllal jelölt üzenet továbbítása valamennyi időt vesz igénybe Elemei: Objektumok életvonallal Üzenetek Megjegyzések Objektumok: amelyektől egy szaggatott vonallal jelzett életvonal indul, amely felülről lefelé az idő múlását jelképezi. Az életvonalon jelölhetők az objektum aktivitási szakaszai. Az aktivitási szakaszt a szaggatott vonal helyett elnyújtott téglalap jelzi. Üzenetváltások: Az objektumok közötti üzenetváltásokat a küldő életvonalától a fogadóéig rajzolt nyíllal jelöljük. A nyílra az üzenet elnevezését írjuk, esetleg az üzenet paraméterei és a kapcsolódó feltételeket is. Az üzenet továbbítás ideje általában nullának tekinthető, ezért a nyilak vízszintesek. Megjegyzések: a diagram bal szélén, megszorítások és időbeliségre utaló jelölések helyezhetők el. 3 4 2

Szekvencia diagram: példa 1 Szekvencia diagram üzenet fajták Szinkron üzenet (kérés): a küldő elküldi az üzenetet, majd vár a válaszra. A fogadó aktiválódik (ha nem volt az). Válasz üzenet: mindig az előző üzenetre vonatkozik. A választ küldő deaktiválódik, a fogadó pedig aktiválódik. Aszinkron üzenet (szignál): a küldő elküldi az üzenetet, de folytatja a munkáját, nem vár válaszra. Objektum létrehozása: az üzenet hatására létrejön egy új objektum. A nyíl ilyenkor az objektum fejre mutat. Objektum megszüntetése: az üzenet hatására egy objektum megszűnik. Az életvonal végét egy X zárja le. Üzenet nem nulla továbbítási idővel: ha ki akarjuk hangsúlyozni, hogy egy üzenet továbbítása időt vesz igénybe, ferde nyilat használunk. Saját magának küldött üzenet: egy objektum küldhet saját magának üzenetet. Rekurzív üzenet: az objektum saját magának küld üzenetet. Az objektum fő tevékenysége felfüggesztődik a kiszolgálás idejére. ( Beágyazott aktivitási szakasz ) 5 6 3

Szekvencia diagram: példa 2 Szekvencia diagram: példa 3 7 8 4

Állapot diagram Egy osztály objektumainak ábrázolja: az életciklusuk alatt felvehető lehetséges állapotait és az állapotok közötti lehetséges átmeneteket Az állapotok közötti átmenetet valamilyen esemény bekövetkezése okozza. Az átmenetek atomi egységek, nem szakíthatók félbe, azaz időponthoz kötöttek. Az átmenetet nyitott hegyű nyíllal jelezzük. 9 10 5

Állapot diagram (állapotok jelölése) Az állapot időtartamhoz kötött. Tehát van időtartama Egy adott állapotba az objektum belép, majd valamennyi idő után abból kilép. Egy adott absztrakt állapotban tartózkodó objektum ebben az időszakban több konkrét állapotot is felvehet. Pl.: a tárgyat nem teljesítette absztrakt állapotban állapoton belül marad a hallgató az aláírás megtagadva aláírás pótolva elégtelen vizsgajegy konkrét állapotokat felvéve. Minden állapothoz legalább egy átmenet vezet, és onnan legalább egy átmenet vezet egy másik állapotba. Lehetséges olyan esemény, amelynek hatására ugyanabba az állapotba tér vissza az objektum. Pl.: az elégtelen ismételt vizsga a tárgyat nem teljesítette állapotból ugyanabba az állapotba viszi vissza a hallgató objektumot. Állapot diagram (állapotok jelölése) A diagramon két speciális állapot: Kezdőállapot: ebbe kerül az objektum, amikor létrejön. Ebbe az állapotba nem vezethet átmenet. A kezdőállapotot kitöltött körrel jelezzük. Végállapot: az objektum megszűnését jelzi. Ebből az állapotból nem indulhat ki átmenet. Egy körbe rajzolt ponttal jelöljük. 11 12 6

Állapot diagram (állapot jelölése) Állapot diagram (Példa diagram ATM automata) 13 14 7

Együttműködési diagram Az objektumoknak a probléma megoldásában való együttműködését mutatja be. Konkrét objektumokat tartalmazó diagram Az objektumok közötti dinamikus kapcsolatokat ábrázolja. Az objektumok közötti ismeretségi, illetve tartalmazási (egész - rész) kapcsolatokat is. Objektumok közötti üzeneteket nyilakkal ábrázoljuk: ráírjuk az üzenet nevét a nyíl iránya jelzi az üzenetküldés irányát számozhatjuk: az eseményeket relatív rendezettségét jelzi. 15 16 8

Együttműködési diagram Mikrohullámú sütő 1 perces főzésének forgatókönyve 17 18 9

Aktivitás diagram Feladata: időben lezajló változások, folyamatok ábrázolása a végrehajtandó tevékenységek és azok sorrendjének megadásával. Gyakran használjuk a használati esetekben leírt forgatókönyvek működésének leírására vagy akár egy operáció implementálási módjának definiálására. Alkalmas egy alrendszer vagy az egész rendszer működésének a szemléltetésére is. Alapja a folyamatábra és a munkafolyamat diagram. A diagram alapelemei: Tevékenységek: Aktivitás diagram (alapelemek) A tevékenység (aktivitás) valamilyen végrehajtandó műveletsorozat. Lehet akár nagyon bonyolult, összetett tevékenység is. A tevékenységek részleteit újabb aktivitás diagrammal is meg lehet adni, ezáltal a tevékenységek egymásba ágyazhatók. Jelölése lekerekített sarkú téglalap. Átmenetek: az egymás után végrehajtandó, egymástól függő tevékenységeket nyíllal kötjük össze. 19 20 10

Döntési pont: Aktivitás diagram (alapelemek) alternatív végrehajtási utakat hozhatunk létre segítségükkel A döntési pontba legalább egy nyíl vezet a döntést megelőző tevékenység(ek)től. És legalább két nyíl az alternatív tevékenységekhez. A döntési pontból kiinduló nyilakhoz szögletes zárójelben meg kell adni az irány feltételét Az alternatív ágak összefutásánál szintén egy rombuszt helyezhetünk el. Kezdő- és végállapot: jelölése azonos az állapotgép diagraméval. Szinkronizációs vonal: Aktivitás diagram (alapelemek) Párhuzamos tevékenységek szétválasztása és összeolvasztása. Alternatív végrehajtási utak létrehozása Legalább egy nyíl vezet a megelőző tevékenység(ek)től, és legalább két nyíl a párhuzamos tevékenységekhez. A szétválasztáshoz logikai kifejezés (őrszem, guard) kapcsolható Jelölése: szögletes zárójelpár. Az alapértelmezés szerinti őrszem: [és]. Az összeolvasztás vonala egy szinkronizációs pont: az azt követő tevékenység csak akkor kezdődhet, ha mindegyik párhuzamos tevékenység sorozat véget ért. 21 22 11

Aktivitás diagram (Kávéautomata mintapélda) Aktivitás diagram (sávos aktivitás diagram) Cél: jelöljük az egyes tevékenységek végrehajtóit is. A diagramot sávokra osztjuk fel. Minden sáv tetejére egy végrehajtó nevét írjuk. Az egyes tevékenységek ez alapján kerülnek szeparálásra. A tevékenységek végrehajtói: aktorok, objektumok vagy akár nagyobb architekturális egységek. 23 24 12

25 26 13

Komponens diagram Komponens diagram (mintapélda 1) A rendszert alkotó fizikai komponenseket (szoftverelemeket) és az azok közti kapcsolatokat ábrázolja. Segítségével rendszerezhetjük, csoportosíthatjuk a rendszer szoftver elemeit, az egyes komponenseket egymáshoz rendelhetjük, egymásba leképezhetjük. Pl.: osztályhoz forráskódot, forráskódhoz futtatható fájlt rendelhetünk. 27 28 14

Komponens diagram (mintapélda 2) 29 30 15

Telepítési diagram Telepítési diagram Feladata: a működő szoftver rendszer alkotóelemeinek az azokat működtető hardver-szoftver elemek összerendelése és a működtető elemek közötti kapcsolatok ábrázolása. A szoftver elemei lehetnek: végrehajtható program modulok beállítások, konfigurációs fájlok adatok A működtető elemek lehetnek: számítógépek, hálózati csomópontok végrehajtási környezetek (virtuális gép, alkalmazás szerver stb.) Példaként rajzoljuk meg egy tanulmányi nyilvántartó rendszer egy lehetséges telepítési diagramját. Feladata: a működő szoftver rendszer alkotóelemeinek az azokat működtető hardver-szoftver elemek összerendelése és a működtető elemek közötti kapcsolatok ábrázolása. A szoftver elemei lehetnek: végrehajtható program modulok beállítások, konfigurációs fájlok adatok A működtető elemek lehetnek: számítógépek, hálózati csomópontok végrehajtási környezetek (virtuális gép, alkalmazás szerver stb.) 31 32 16

Telepítési diagram (mintapélda 1) Telepítési diagram (mintapélda 2) 33 34 17

35 18