Témakörök Alapkocepciók Szoftvertechológia előadás Egyed-kapcsolat modellek Osztálydiagramok Iterakciódiagramok Vezérlési struktúrák Dötési táblák és fák Állapotautomaták Petri hálók Egyed-kapcsolat modell Az 1970-es évek közepé alkották meg Erős matematikai alapokra épült Adatbázisok modellezésére készült Az 1980-as évek közepé szabváyosították (ANSI) Az 1980-as évek végé több CASE eszköz is itegrálta 3 Alapfogalmak Egyed Létező objektum, amely megkülöböztethető a többi objektumtól Tulajdoság Egyedre vagy egyedek közötti kapcsolatra jellemző érték (rögzített értékhalmazból) Egyedhalmaz Hasoló egyedek halmaza Midegyik egyed azoos tulajdoságokkal bír Megadható egy kulcs-tulajdoság (mide halmazbeli egyed eseté külöböző értékű) 4 1
Alapfogalmak Kapcsolat Társítási reláció két vagy több egyed között Típusai: 1-1 kapcsolat 1- kapcsolat -1 kapcsolat - kapcsolat Kapcsolathalmaz Hasoló kapcsolatok halmaza év Egyed-kapcsolat diagram azoosító Alkalmazott Dolgozik cégjegyzékszám Cég fizetés beosztás év cím 5 6 Speciális kapcsolatok év azoosító beosztás év cégjegyzékszám cím Általáosítás (ISA Aggregáció kapcsolat) Relációhalmazok Állat aggregálhatók egyedhalmazokká ISA Kutya Relációk közötti relációk fejezhetők ki aggregáció segítségével 7 Alkalmazott ISA Főök Tulajdoos 1 Dolgozik Vezet Felügyel Cég 1 Vállalat 8
Osztálydiagram Az UML része De az UML-től függetle módszertaok is haszálják (Structure diagram) Objektum orietált modellezés e egyik eszköze Korábbi taulmáyokból ismert 9 10 Iterakció diagramok Kommuikációs diagram Kommuikációs diagram Szekvecia diagram Iterakciót áttekitő diagram Időzítési diagram Korábbi taulmáyokból ismertek 11 1 3
Szekvecia diagram Iterakciót áttekitő diagram 13 14 Időzítési diagram Vezérlési struktúrák Bármilye algoritmus leírható az alábbi vezérlési struktúrákkal (Dijkstra) Szekvecia utasítások egymás utái végrehajtása Szelekció egy feltétel teljesülésétől függőe más utasítások kerülek végrehajtásra Iteráció meghatározott utasítások tetszőleges számú ismételt végrehajtása 15 16 4
Dötési fa Szabályok megállapítására szolgál Fa formájú reprezetációja egy függvéyek Általáosítás, csoportosítás eszköze Számos területe alkalmazzák Szoftver tervezés Operációkutatás Mesterséges itelligecia Adatbázisok Dötési fa (defiíció) A dötési fa egy olya faszerkezet, amelybe mide belső csúcs egy értékre voatkozó elleőrzést jelöl, a csúcsból kivezető mide él pedig az elleőrzés egy-egy kimeetéek feleltethető meg. A fa levelei tartalmazzák a dötéseket. 17 18 Dötési fa készítése Rekurzív algoritmus Bemeet: objektumok halmaza (O) Tulajdoságlista (A) vizsgáladó tulajdoságok halmaza (V) Kimeet: A dötési fa DFK(O, A, V) 19 Dötési fa készítése 1. N csúcs létrehozása. Ha O mide eleme V-beli tulajdoságaiak értéke azoos, akkor N legye levélcsúcs, melyek címkéje eze azoos értékek legyeek (VÉGE) 3. Ha A üres, akkor N legye levélcsúcs, melyek címkéje azoos a leggyakoribb V-beli tulajdoságértékekkel (VÉGE) 4. E elleőrzőtulajdoság legy az A elemei közül a legagyobb iformációyereséggel redelkező 5. Legye N címkéje E 6. Mide t i E által l felvehető éték értékre 1. iduljo ki egy él az E = t i címkével. jelölje o i azo O-beli elemeket, amelyekre igaz az E=t i feltétel 3. Ha o i üres, illeszük be egy levélcsúcsot melyek címkéje azoos a leggyakoribb V-beli tulajdoságértékekkel; Külöbe illeszük be a DFK(o i, A, V) által készített dötési fát 0 5
Objektumok: 1. Alma Aliz, 18-30, tauló, jó, ige. Barack Béla, 18-30, tauló, rossz, ige 3. Citrom Cecília, 31-40, em tauló, jó, ige 4. Dió Demeter, 31-40, em tauló, rossz, ige 5. Egres Ego, 41-80, em tauló, jó, ige 6. Füge Ferec, 41-80, em tauló, rossz, em 7. Gráátalma Géza, 55, em tauló, jó, ige 8. Gyümölcs Györgyi, 18-30, em tauló, rossz, em Tulajdoságok: Név Életkor (18-30, 31-40, 41-80) Foglalkozás (tauló, em tauló) Hitelképesség (rossz, jó) Vesz-e számítógépet (ige, em) Vizsgáladó tulajdoság: vesz-e számítógépet 1 Tauló? 18-30 31-40 Életkor ige 41-80 Hitelképesség ige em jó rossz ige em ige em Dötési táblák Boyolult logikai szabályok egyszerű és tömör leírására haszálhatók A szabályok alakja: HA feltételek AKKOR teivalók A tábla felépítése: Feltételek Teivalók Alteratívá k Teedő Feltételek Te ivalók Szabályok A yomtató em yomtat I I I I H H H H A piros lámpa villog I I H H I I H H A yomtató ismeretle I H I H I H I H Elleőrizi a tápkábelt X Elleőrizi az adatkábelt X X Az illesztőprogram elleőrzése X X X X Tita elleőrzése/cseréje X X X X Papírbeszorulás keresése X X 3 4 6
Állapot-automaták Az absztrakt állapot-automaták automaták a specifikáció és a verifikáció eszközei Erős matematikai alapok Megkülöböztetük véges és végtele állapotú apoúauo automatát aá A továbbiakba csak a véges állapotú automatákról lesz szó 5 Véges állapotú automata Állapotok és az állapotok közötti átmeetek redszere Az automata működése sorá az iput és az éppe aktuális állapot függvéyébe vált állapotot (állapotátmeeti szabályok) Speciális állapotok: Kezdőállapot Végállapot (elfogadó állapot) Az automata reprezetálható diagrammal vagy állapotátmeet táblával 6 (osztható-e 3-mal egy szám) 3, 6, 9, 0 Petri-háló 3, 6, 9, 0 0 1, 4, 7, 5, 8, 5, 8 1, 4, 7 1, 4, 7 1, 5, 8 Olya grafikus és matematikai reprezetáció, amely vezérlési szerkezetek és adatstruktúrák leírására egyarát alkalmazható Főbb felhaszálási területei Elosztott, kokures és párhuzamos redszerek Aszikro redszerek Nemdetermiisztikus redszerek 3, 6, 9, 0 7 8 7
Alapfogalmak Hely A háló olya csúcsa, amelyik tokeeket tartalmazhat (adatokat reprezetál) Átmeet A háló olya csúcsa, amelyik em tartalmazhat tokeeket (folyamatot reprezetál) Él Bemeő élek: helyekről vezetek átmeetekbe Kimeő élek: átmeetekből vezetek helyekre Toke Olya elemek, amelyek a háló valamely helyé találhatók Tüzelés A háló egy átmeete tüzelhet, ha valameyi bemeő helye található toke. A tüzelés sorá az átmeet mide bemeő helyéről elvétetik egy-egy toke, a kimeő helyekre pedig kerül egy-egy toke 9 30 (víz szitézise) (csoki automata) kis csoki H BE 5 5 15 BE 10 H O 0 BE 5 BE 5 BE 5 O BE 10 BE 10 10 0 Élsúly: azt határozza meg, hogy egy átmeet tüzeléséhez adott helye háy toke szükséges, vagy a tüzelés utá háy toke keletkezik 31 agy csoki 3 8
Irodalom Irodalom Egyed-kapcsolat modellek Ia Sommerville: Szoftver redszerek fejlesztése, 7.3. fejezet http://edu.bzlogi.hu/mdb/dowload/gyak_0.ppt Osztálydiagramok Szoftver tervezés és techológia előadás ayaga Ia Sommerville: Szoftver redszerek fejlesztése, 7.4. fejezet Iterakciódiagramok Szoftver tervezés és techológia előadás ayaga Vezérlési struktúrák Dötési táblák és fák Állapotautomaták http://hu.wikipedia.org (Ia Sommerville: Szoftver redszerek fejlesztése, 7... fejezet) Petri hálók Iformatikai algoritmusok (. kötet), ELTE Eötvös Kiadó, 005. http://hu.wikipedia.org 33 34 9