Strukturális modellezés

Átírás

1 Strukturális modellezés Szárnyas Gábor, Bergmann Gábor, Gönczy László, Pataricza András, Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

2 Miről lesz szó? Struktúra modellezés célja, alkalmazásai Dekompozíció Modell elemek leírása gráfokkal Tipikus kérdések (felépítés, elérhetőség)

3 Illusztráció Felépítési modellek

4 Illusztráció Felépítési modellek Szervezeti felépítés (ld. tartalmazási hierarchia) BME VIK EMK SZIT MIT GTT Beágyazott Rendszerek Hibatűrő Rendszerek Intelligens Rendszerek

5 ( átlát a káoszon?)

6 Strukturális modellezés célja Rendszer részekre bontása o Kisebb egységeket könnyebb megtervezni o Részegységek felhasználása o Általános célú komponensek használata Létező rendszer dokumentálása o Rendszertérkép Adatszerkezet megalkotása o Milyen információt kezelünk? Rendszer és specifikáció összevetése o Megfelel-e az elvárásoknak?

7 Hogyan épül fel a rendszerem? Kezdeti rendszerkép, nem látszanak rajta az elemek tulajdonságai Tervezői döntések Webes kliens (böngésző típus? PC!) Szerver oldali logika (platform lekötve) Kommunikációs csatornák

8 Hogyan teszteljem az összeköttetéseket? Milyen kapcsolatok lehetségesek? Milyen függőségek vannak? Mely elemek léteznek/integrálhatóak? Hol szükséges ellenőrzés/védelem?

9 Felépítési és viselkedési modellezés Felépítési (structural) o Statikus o Rész és egész, összetevők o Kapcsolatok, összeköttetések Viselkedési (behavioral) o Dinamikus o Időbeli lefolyás o Állapot, folyamat o Reakciók a külvilágra Az autóban van kamera és kormányvezérlő A kamera jeleket küld a sáv elhagyásáról (mennyit? mikor?) A sávtartó rendszerben a kamera jeleit fogadva a kormányvezérlő beavatkozik (mikor/hogyan?) Nem fed le mindent, nem válik élesen szét

10 Strukturális modell A rendszer felépítésére vonatkozó tudás o Milyen elemekből áll a rendszer? o Hogyan kapcsolódnak egymáshoz az elemek? o Milyen tulajdonságúak az elemek?

11 ATM struktúra és blokkdiagram pénzkiadó CPU kártyaolvasó trezor kazetta File:Atm_blockdiagram.png

12 Biztos, hogy ez csak struktúra? The-components-of-an-automated-teller-machine

13 ATM struktúra

14 Példa: (céges) hálózat Router Internet Firewall Smartphone Switch Server Workstation Wifi Laptop Smartphone Workstation Workstation Printer

15 Példa: (céges) hálózat Összevonhatóak-e funkciók? Van-e egyszeres hibapont a rendszerben? Router Internet Server Firewall Switch Milyen hosszú úton, milyen típusú elemeket érintve lehet elérni az internetet? Túlterhelt a wifi, hány gép van rajta? Workstation Wifi Smartphone Egy elem hibája meddig terjedhet? Laptop Elérhető-e az internet? Printer Workstation Workstation Smartphone Milyen elemekből áll a rendszer, milyen kapcsolatok lehetségesek?

16 Dekompozíció Decomposition in computer science, also known as factoring, is breaking a complex problem or system into parts that are easier to conceive, understand, program, and maintain. (Wikipedia) A dekompozíció ( faktoring ) tehát egy összetett probléma vagy rendszer kisebb részekre bontása, amelyek könnyebben érthetők, fejleszthetők és karbantarthatók. Funkcionális dekompozíció: ~blokkséma Hierarchikus dekompozíció: rész-egész viszony Alapja? o Elosztottság/hierarchia/algoritmika Hogyan ábrázoljuk/kezeljük általánosan?

17 Dekompozíció helyessége Részek teljessége?= egész Ld később (pl. kommunikáló állapotgépek) Felépítés o Elemek megfelelő be/kimenettel dolgoznak? o Készen kapott elemek beilleszthetőek? o (Később: hibákat hogyan kezeljük?) Kereső1 Repülőjegy kereső Valutaváltó

18 Példa: ipari vezérlő (Wikipedia)

19 Top-down tervezés Alaplépés: dekompozíció Okmányirodai munkahely Számítástechnikai eszközök PC munkaállomás Kábelezés POS terminál Okmánynyomtató Monitor Egér Billentyűzet Asztali gép Fotófülke Épített környezet Paraván Szék Íróasztal Ügyfélablak Fények Kamera Szék Zárható fiók

20 Alaplépés: kompozíció Közösségi háló Bottom-up tervezés Kiszolgáló infrastruktúra Szerveroldali szoftver Webszerver DB szerver Adatbázis Alkalmazás Statikus tartalomkiszolgáló Hirdetések Felügyelet Webes felület Felületterv (UX) Mobil felület Grafika Dinamika (JS)

21 Top-down Top-down és bottom up Részrendszer tervezésekor a szerepe már ismert Félidőben még nincsenek működő részek Részek problémái, igényei későn derülnek ki Bottom-up Alrendszer önmagában kipróbálható, tesztelhető Részleges készültségnél is összeépíthető valami Nem látszik előre a rész szerepe az egészben (Nem csak strukturális modellezésben ) Meet in the middle?

22 STRUKTURÁLIS MODELLEK

23 Strukturális modell Mi volt a közös az eddigiekben bizonyos dolgok valamilyen kapcsolata dolgok: szoftver csomagok, személyek, repülőterek, területek kapcsolata: függőség, ismeretség, repülőjárat, része szimmetrikus / aszimmetrikus Matematikai formalizmus: gráf o csomópontok, élek és tulajdonságok

24 Definíciók Az informatikában mindennek több, gyakran ellentmondó definíciója van o rendszer =? o modell =? Gyakran ugyanarra a fogalomra több nevével is hivatkozunk o csomópont = csúcs angolban: node, vertex, object, concept o él = kapcsolat fontos a fogalmak precíz definiálása angolban: edge, link, arc, connection, relationship

25 Taxonómia A biológiai rendszertanban taxonnak nevezik az élőlények egyazon kategóriába sorolt és közös gyűjtőnévvel ellátott csoportját élőlények domén baktériumok archeák eukarióták ország állatok amőbák gombák növények szivacsok korongállatkák valódi szövetes állatok gerinchúrosok törzse zsákállatok gerincesek nincsenek kapcsolatok altörzs Pl. webes rendszerek fogalomkészlete

26 Modell (gráf) diagram Luke Skywalker Darth Vader Jabba Darth Vader Jabba Luke Skywalker Luke Skywalker Darth Vader Jabba

27 Hierarchia ábrázolása The Galaxy Core Worlds Outer Rim Alderaan Coruscant oruscant Alderaan Tatooine Tatooine

28 Egyszerű gráfok kapcsolati háló: irányítatlan gráf Darth Vader Mace Windu Yoda hogyan alakítható irányítottá? helyszínek: irányított gráf The Galaxy Luke Skywalker Core Worlds Outer Rim Leia Organa Jabba Coruscant Alderaan Tatooine

29 Egyszerű gráfok Darth Vader Mace Windu Yoda The Galaxy Luke Skywalker Core Worlds Outer Rim Leia Organa Jabba Coruscant Alderaan Tatooine

30 Típusos gráfok Különböző típusú csomópontok és élek Darth Vader Mace Windu Yoda The Galaxy Luke Skywalker Core Worlds Outer Rim Leia Organa Jabba Coruscant Alderaan Tatooine

31 GRÁF ALAPÚ TUDÁSREPREZENTÁCIÓ

32 Közösségi háló személyek ismeretség

33 Függőségek kezelése függőség csomagok

34 C program fordítása app.c include menu.h #include "menu.h" #include "io.h" int main() { // #include "util.h" //... forráskódfájl io.h util.h #include "util.h" // //...

35 Repülési útvonalak repülőjárat repülőterek

36 A Galaxis területek része com/wiki/the_galaxy

37 Útvonal fogalma Szükséges-e a libpcre3 csomag a tar telepítéséhez? Hogyan tudok eljutni a Deák Ferenc térre?

38 A tar csomag függőségei

39 Budapest kötöttpályás közlekedés Deák Ferenc tér Astoria Blaha Lujza tér M2 Ferenciek tere Kálvin-tér Rákóczi tér M3 M4 Corvin-negyed 4-6 Boráros tér Petőfi híd, Budai hídfő

40 Budapest kötöttpályás közlekedés Deák Ferenc tér 2 2 Astoria 1 Blaha Lujza tér M2 M3 M4 Ferenciek tere 1 Kálvin-tér Rákóczi tér 2 Corvin-negyed Boráros tér Petőfi híd, Budai hídfő legrövidebb út?

41 Szűrés: élcímke szerint (részgráf) Pl. csak a metróhálózatot szeretnénk nézni Deák Ferenc tér Astoria Blaha Lujza tér M2 M3 M4 Ferenciek tere Kálvin-tér Rákóczi tér Corvin-negyed Boráros tér Petőfi híd, Budai hídfő Tranzitív lezárt: hova lehet eljutni metróval?

42 Hierarchia ábrázolása Fa: körmentes összefüggő gráf Erdő: körmentes gráf Gyökér csomópont: a fa egy megkülönböztetett csomópontja. Gyökeres fa: olyan fa, ami rendelkezik gyökér csomóponttal. Gyökeres, szintezett fa: a fa csomópontjaihoz hozzárendeljük a gyökértől vett távolságukat

43 Fa gyökér csomópont? gyökér csomópont? gyökér csomópont

44 Fastruktúra tulajdonságai A tartalmazási részfák diszjunktak vagy alárendeltek Ábrázolható o Gráfként faélek explicit módon faélek implicit módon o Bennfoglaló ábrázolás

45 Fastruktúra ábrázolása világtérkép Párizs Európa fővárosa? Föld Szomszédossági viszony nincs leírva Afrika Amerika Ausztrália Ázsia Európa Franciaország Németország Magyarország

46 Fastruktúra bennfoglaló ábrázolás

47 Grafikus felhasználó felület Main window Menu Main View Edit Help Display Degrad MC Degrees Radians Grads

48 Fastruktúra ábrázolása fájlrendszer C: \Program Files \Common Files \Windows \Fonts \Users \system32 \drivers \etc

49 Fastruktúra bennfoglaló ábrázolás KDE Konqueror Plusz információ: méret

50 TULAJDONSÁGOK MODELLEZÉSE

51 Sor = modellelem Táblázatos ábrázolás Oszlop = jellemző (gráf elemeinek tulajdonsága) név fénykard színe nem holdak száma keringési idő Alderaan Coruscant Darth Vader piros férfi Jabba Leia Organa hímnős nő Luke Skywalker zöld férfi Mace Windu lila férfi Tatooine Yoda zöld férfi parciális függvény: NULL / NA attribútumok

52 Szűrt nézet Alapműveletek o Csak azon sorok, amelyek egy bizonyos oszlopban bizonyos értéket vesznek fel o fénykard színe = "zöld" név fénykard színe nem holdak száma keringési idő Luke Skywalker zöld férfi Yoda zöld férfi o holdak száma > 2 név fénykard színe nem holdak száma keringési idő Coruscant Tatooine 3 304

53 Vetített nézet Alapműveletek o Csak bizonyos oszlopok megtartása o {holdak száma, keringési idő} Biztos, hogy csak ide tartozik? o {név, fénykard színe} holdak száma keringési idő név fénykard színe Alderaan Coruscant Darth Vader Jabba Leia Organa Luke Skywalker Mace Windu Tatooine Yoda piros zöld lila zöld

54 TÍPUSOK

55 Típus és tulajdonságok A típus a címkében kifejezett tudás része o Tehát a típus egy kitüntetett attribútum o A többi jellemző: a tulajdonságok Gyakori konvenció: o tulajdonságok akár változhatnak is o típus egy elemre tipikusan állandó Módosítás: Luke fénykardja: kék zöld o Típus nem változik

56 Típusgráf Minden csomóponttípushoz egy típuscsomópont Minden éltípushoz egy típusél Jedi person warrior Sith person is a warrior is a is a Jedi Sith hierarchikus dekompozíció

57 Típus-példány viszonyok ábrázolása instanceof person Darth Vader Mace Windu Yoda is a warrior Luke Skywalker is a is a Leia Organa Jedi Sith Jabba

58 Típus-példány viszonyok ábrázolása instanceof person Darth Vader Mace Windu Yoda is a warrior Luke Skywalker is a is a Leia Organa Jedi Sith Jabba (példány)modell metamodell

59 Típusok ábrázolása jellemzőként instanceof name: Darth Vader type: Sith name: Mace Windu type: Jedi name: Yoda type: Jedi name: Leia Organa type: person (példány)modell name: Luke Skywalker type: Jedi name: Jabba type: Person

60 Különböző éltípusok Darth Vader instanceof instanceof Mace Windu Yoda person knows born lives is a warrior planet Luke Skywalker is a is a Leia Organa instanceof Jedi Sith Jabba lives born Tatooine instanceof

61 STRUKTURÁLIS MODELL REPREZENTÁLÁSA PROGRAMBAN

62 Programozási paradigmák Programozási paradigma: egy programozási nyelv elméleti modellje Strukturált programozás (C) o változók struktúrába szervezése: struct Objektum-orientált programozás, OOP (C++, Java) o típus: osztály o példány: objektum o attribútum: mező o műveletek: metódusok o attribútumok/metódusok láthatósága, egységbe zárás stb. bővebben ld. a Programozás alapjai 2. tárgyban

63 OOP: öröklés Tervezői döntés: Han Solo nem lesz warrior (nincs fénykardja) Person gender: string Warrior saber_color : string Object name : string Planet orbital_period: int number_of_moons: int Jedi Sith

64 Eclipse Modeling Framework Ecore diagram szerkesztő generálható automatikus mentés és betöltés lehetséges a példánymodellek ellenőrizhetők

65 Szöveges reprezentációk XML (Extensible Markup Language) o szabványos, általános célú nyelv leírónyelvek definiálására o ember számára (elvileg ) olvasható JSON (JavaScript Object Notation) o szöveg alapú szabvány ember által olvasható adatcserére

66 XML példa: időjárás webszolgáltatás

67 JSON példa: Google Maps API

68 Modellezési nyelvek UML (Unified Modeling Language) o általános célú modellezési nyelv AADL (Architecture Analysis & Design Language) o architektúraleíró nyelv SysML (Systems Modeling Language) o UML-alapú általános modellezési nyelv rendszertervezési célokra EMF (Eclipse Modeling Framework, Ecore) o modellezési nyelv készítésére alkalmas (Adatközpontú modellezés, szakterületi modellek)

69 Kitekintés: refaktoring Code refactoring is the process of restructuring existing computer code changing the factoring without changing its external behavior. Refactoring improves nonfunctional attributes of the software. Advantages include o improved code readability and o reduced complexity to improve source code maintainability, and o create a more expressive internal architecture or object model to improve extensibility. Bővebben: felsőbbéves szoftveres tantárgyak

70 Refaktoring példa: pull up Warrior Jedi saber_color : string Sith saber_color : string Jedi Warrior saber_color : string Később: Modellben/kódban mi a hatása? Szinkronizáció? Sith