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 Alapfogalmak Az 970-es évek közepé alkották meg Erıs matematikai alapokra épült Adatbázisok modellezésére készült Az 980-as évek közepé szabváyosították (ANSI) Az 980-as évek végé több CASE eszköz is itegrálta 3 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 Alapfogalmak Egyed-kapcsolat diagram Kapcsolat Társítási reláció két vagy több egyed között Típusai: - kapcsolat - kapcsolat - kapcsolat - kapcsolat Kapcsolathalmaz Hasoló kapcsolatok halmaza év azoosító Alkalmazott beosztás fizetés Dolgozik cégjegyzékszám Cég é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 kapcsolat) Állat ISA Kutya Aggregáció Relációhalmazok aggregálhatók egyedhalmazokká Relációk közötti relációk fejezhetık ki aggregáció segítségével Alkalmazott ISA Fıök Tulajdoos Dolgozik Vezet Felügyel Cég Vállalat 7 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 egyik eszköze Korábbi taulmáyokból ismert 9 0 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
Szekvecia diagram Iterakciót áttekitı diagram 3 4 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 5 6 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. 7 8 3
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 Dötési fa készítése. 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 felvehetı értékre. 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 DFK(O, A, V) 9 0 Objektumok:. Alma Aliz, 8-30, tauló, jó, ige. Barack Béla, 8-30, tauló, rossz, ige 3. Citrom Cecília, 3-40, em tauló, jó, ige 4. Dió Demeter, 3-40, em tauló, rossz, ige 5. Egres Ego, 4-80, em tauló, jó, ige 6. Füge Ferec, 4-80, em tauló, jó, em 7. Gráátalma Géza, 55, em tauló, jó, ige 8. Gyümölcs Györgyi, 8-30, em tauló, rossz, em Tulajdoságok: Név Életkor (8-30, 3-40, 4-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 Tauló? 8-30 3-40 Életkor ige 4-80 Hitelképesség ige em jó rossz em ige em ige 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 Alteratívá k Teivalók Teedı Feltételek Teivalók A yomtató em yomtat A piros lámpa villog A yomtató ismeretle Elleırizi a tápkábelt Elleırizi az adatkábelt Az illesztıprogram elleırzése Tita elleırzése/cseréje Papírbeszorulás keresése I I I Szabályok I I I H H H I H H I I H H I H I H I H H H 3 4 4
Állapot-automaták Véges állapotú automata Az absztrakt állapot-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ú automatát A továbbiakba csak a véges állapotú automatákról lesz szó 5 Á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, 4, 7, 5, 8, 5, 8, 4, 7, 4, 7, 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 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 5
(víz szitézise) H (csoki automata) kis csoki 5 BE 0 5 H O 0 BE 0 O 0 BE 0 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 3 agy csoki 3 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 Irodalom 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 6