AZ ELőADÁS CÉLJA megmagyarázni, hogy milyen célból használunk entitás-esemény modellezést a jelölések ismertetése az alábbiak elkészítésekor használt eljárások bemutatása: ENTITÁS-ELÉRÉSI TÁBLÁZAT ENTITÁS-ÉLETTÖRTÉNETEK ezen technikák használatának bemutatása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 1
Az entitás esemény modellezés a rendszerfejlesztési alapmintában Vizsgálat/ helyzetfelmérés Döntési struktúra Specifikáció eljárásrendek Események azonosítása Lekérdezések azonosítása Rendszerfelület-terv Entitás élettörténet Fogalmi Modell Belső terv Felhasználó iszervezet Koncepciók és Rendszerépítés Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 2
Információ gyűjtés / szolgáltatás és irányítás 2. szakasz irányitása 2. szakasz tervei Projektalapító okirat 1. szakaszból 210 RENDSZERSZERVEZÉSI ALTERNATÍVÁK MEGHATÁROZÁSA Jelenlegi szolgáltatások leírása Követelményjegyzék Felhasználójegyzék Szervezeti tevékenység modell Rendszerszervezési alternatívák Alternatíva választás 220 RENDSZERSZERVEZÉSI ALTERNATÍVA KIVÁLASZTÁSA Rendszerszervezési alternatívák Kiválasztott rendszer szervezési alternatíva Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 3
3. szakasz tervei Információ gyűjtés / szolgáltatás és irányítás 3. szakasz irányitása Adatjegyzék Logikai adatmodell Logikai adattáregyed megfeleltetés Felhasználójegyzék Szervezeti tevékenység modell Követelményjegyzék Kiválasztott rendszerszervezési alternatíva (BSO) Jelenlegi logikai adatmodell 310 AZ IGÉNYELT RENDSZER FOLYAMATAINAK MEGHATÁROZÁSA 320 IGÉNYELT RENDSZER ADATMODELLJÉNEK KIDOLGOZÁSA Igényelt rendszer DFM Felhasználói szerepkörök Igényelt rendszer 340 IGÉNYELT ADATMODELL MEGERőSÍTÉSE 330 A RENDSZER FUNKCIÓINAK ELÕÁLLÍTÁSA Követelmény jegyzék B / K adatszerkezet LDM 335 A MUNKAKÖRI LEÍRÁSOK ELKÉSZÍTÉSE 360 B / K adatszerkezet ADATFELDOLGOZÁSI FOLYAMATOK Követelményjegyzék MEGHATÁROZÁSA Igényelt rendszer LDM Funkcióleírások Munkafolyamat modell Szerepkör/ funkció mátrix B / K adatszerkezet Szerepkör/ funkció mátrix Funkcióleírások Eseményhatás-ábra Lekérdezési utak Entitás-élettörténetek Esemény és lekérdezés jegyzék Szervezeti szintű környezeti útmutató Prototípus kiterjedése1 Szerepkör/ funkció mátrix 350 A SPECIFIKÁCIÓS PROTOTÍPUSOK KIDOLGOZÁSA Követelményjegyzék 370 RENDSZER- CÉLKITűZÉSEK VÉGLEGESÍTÉSE Parancsszerkezet Prototípus kiértékelése Menüszerkezetek Funkcióleírások Követelményjegyzék Igényelt rendszer LDM A KÖVETELMÉNY SPECIFIKÁCIÓ ÖSSZEÁLLÍTÁSA Követelmény specifikáció Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 4
ENTITÁSTÖRTÉNET ELEMZÉS (ELH-k) Célok: események bekövetkezési sorrendjének és feltételeinek felismerése hiányzó események, folyamatok és adatok feltárása a LOGIKAI ADATMODELL és a FUNKCIÓLEÍRÁS helyességének ellenőrzése (magasszintű folyamatközpontú nézőpont) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 5
KAPCSOLAT MÁS TECHNIKÁKKAL követelménye k meghatározás módosítási a követelmények kezdeti események adatfolyammodellezés funkciómeghatározás rendszertechnikai alternatívák specifikációs prototípus készítése logikai adattár/ események egyed megfeleltetés Entitás viselkedés modellezés rendszerfeldolgozási események részletei funkcióleírások fizikai tervezés logikai adatfeldolgozás tervezése CPM új entitások, bemeneti entitások kapcsolatok, és navigáció attribútumok ELH-k ECD-k logikai adatmodellezés Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 6
ENTITÁSTÖRTÉNETI ÁBRÁK MODELLJE Szervezeti esemény: a szervezet környezetében bekövetkező olyan dolog, amire a szervezetnek reagálnia kell; nem mindig érinti az automatizált rendszer adatait. Fogalmi modell (FM) esemény: valami, amely elindít egy fogalmi modellbeli feldolgozást a rendszer adatainak aktualizálására; a rendszer az eseményről egy vagy több funkció útján értesül. MűVELETEK: az esemény által kiváltott elemi feldolgozási folyamatok. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 7
FOGALMI MODELL: EBM Az esemény azonosítása az adatfolyam-modell, és/vagy a funkciók alapján, illetve a logikai adatmodell aktualizálására vonatkozó követelmények figyelembevételével Lekérdezés azonosítása, a szervezeti/ működési tevékenységek információ-igénye alapján Hangsúly: lekérdezések használata az LDM helyességének ellenőrzésére (validálására) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 8
Az entitás viselkedés modellezés termékei: entitás-elérési táblázat (entitás-elérési táblázat); esemény és lekérdezés jegyzék / katalógus; entitástörténet (entitás-élettörténet). Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 9
Az entitás viselkedés modellezés lépései: entitás-elérési mátrix létrehozása kezdeti entitás-élettörténetek rajzolása (alulról- felfelé) entitás-élettörténetek teljessé tétele (felülről- lefelé, az entitások közötti viszonyok figyelembe vételével) törlési stratégia meghatározása műveletek, állapotjelzők hozzáadása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 10
Események és az ENTITÁS-ELÉRÉSI TÁBLÁZAT az ENTITÁS-ELÉRÉSI TÁBLÁZAT felépítésének bemutatása bemutatni, hogy a rendszer felismert eseményei milyen hatást gyakorolnak az LDS-en szereplő entitásokra a felismert lekérdezések hogyan érintik az entitásokat bemutatni, hogy az ENTITÁS-ELÉRÉSI TÁBLÁZAT hogyan fog rávilágítani a hiányzó eseményekre, valamint a többi dokumentációra gyakorolt befolyás bemutatása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 11
MI AZ ENTITÁS-ELÉRÉSI TÁBLÁZAT? A rendszer olyan kétdimenziós megjelenítése, amely segíti az események entitásokra gyakorolt hatásának bemutatását. ENTITÁS-ELÉRÉSI MÁTRIX TELJESSÉG Legalább L, T szerepel minden entitáshoz. ENTITÁS ESEMÉNY 1. ESEMÉNY 2. ESEMÉNY 3. ESEMÉNY 4. ESEMÉNY Azt is ellenőrzi kell, hogy: minden entitásra legalább egy esemény hatást gyakorol minden esemény hat legalább egy entitásra. VEVő RENDELÉS SOR TERMÉK KOMPLEXITÁS Mely események mely entitásokra hatnak Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 12
ENTITÁS-ELÉRÉSI TÁBLÁZAT ELKÉSZÍTÉSE DFD LDS ELEMI FOLYAMATOK LEÍRÁSA FUNKCIÓ- LEÍRÁS B/K ADATSZERKEZET * o ADATTÁR-ENTITÁS MEGFELELTETÉS o Entitáso Események k KÖVETELMÉNY- JEGYZÉK LEKÉRDEZÉSEK Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 13 L M L/M T
Fogalmi modell: EBM entitás-elérési mátrix esemény név lekérdezés név entitás név I : INSERT (B, beszúrás) M : MODIFY (M, módosítás) D : DEATH (H, logikai törlés) B : BURIED (T, delete) (fizikai törlés) G : GAIN DETAIL (N, alentitás nyerése) L : LOSE DETAIL (V, alentitás vesztése) T : TIE (K, főentitáshoz kapcsolás) C : CUT (L, főentitásról leválasztás) X : SWAP DETAIL(S) (X, alentitások cseréje) S : SWAP MASTER(S)(C, főentitások cseréje) R : READ (O, olvasás, eseményekben/lekérdezésekben) entitás név Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 14
Fogalmi modell: EBM Esemény és lekérdezés jegyzék A tartalom lehetséges szerkezete: Esemény / lekérdezés neve Esemény / lekérdezés azonosítója Esemény / lekérdezés leírása Kiváltó szervezeti esemén / tevékenység Átlagos előfordulások száma Maximális előfordulások száma Az eseményhez / lekérdezéshez szükséges bemenő adatok Belépési pont az LDM-be Elért entitások Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 15
Kezdeti entitás-élettörténetek rajzolása A legfontosabb állapotváltozások azonosítása A főbb állapotok között megengedett események hatásainak azonosítása Az ELH megrajzolása Azon események azonosítása, amelyeknek egynél több hatásuk van egy entitásra Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 16
Kezdeti entitás-élettörténetek rajzolása (alulról-felfelé) A párhuzamos nézetek elkülönítése (aspektusok) Az egymást kölcsönösen kizáró események meghatározása és vizsgálata Az iterációt megvalósító események meghatározása és vizsgálata Az iteráció végének vizsgálata Új alentitás szükségességének vizsgálata Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 17
Kezdeti entitás-élettörténetek rajzolása (felülről-lefelé) Még fel nem tárt logikai törlési események azonosítása Végigfutó logikai törlés megállapítása Korlátozó logikai törlés megállapítása Főentitás logikai törlésének következményeként, az alentitás főentitásának cseréje Az alentitás további logikai törlési eseményét a főentitás élettörténete tartalmazza Felettes események azonosítása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 18
Logikai törlési stratégia meghatározása A logikai törlési események meghatározása Az entitások előző állapotokba való visszatérésének vizsgálata Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 19
Műveletek és állapotjelzők felvétele Műveletek felvétele a struktúrán Az attribútumok ellenőrzése A kapcsolatok ellenőrzése Állapotjelzők felvétele Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 20
ENTITÁSTÖRTÉNETI ÁBRÁK AZ ELőADÁS CÉLJA az SSADM szerkezetében elfoglalt helyének bemutatása rávilágítani az ENTITÁS TÖRTÉNETI ÁBRÁK használatának okaira az ELH-n használt jelölések bemutatása egy ELH létrehozási módszer bemutatása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 21
ELH-N HASZNÁLT JELÖLÉSEK ÖSSZEFOGLALÁSA Felső doboz: entitásnév Középső dobozok: csoportosító ill. strukturális dobozok a történet vagy rész-történet típusát definiálják definiálják az időhatárokat melyben az esemény előfordulhat Alsó dobozok: események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 22
ENTITÁSTÖRTÉNETI ÁBRÁK ELHAGYÁSÁNAK KOCKÁZATA 10 0 hiányzó/nem teljes folyamatok hiányzó adatok a hibakezelés nem definiált a változtatások költsége nő VISZONYLAGOS KÖLTSÉG 1 0 x ELEMZÉS TERVEZÉS KÓDOLÁS TESZTELÉ S ELÕÁLLÍTÁS Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 23
D A B F E C ELH JELÖLÉSI SZABÁLYOK ÖSSZEFOGLALÁSA SORRENDISÉG VÁLASZTÁS o o ISMÉTLőDÉS * Megj.: Azonos szinten nem keveredhetnek. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 24
JELÖLÉSEK (2) ENTITÁSNÉV * alternatíva: az entitás más módon is létrejöhet ismétlődés: 0, 1, több Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 25
ELH PÉLDA Entitáspéldány alternatív keletkezésének ábrázolása VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁ S IDEIGLENES LÉTREHOZÁS KELETKEZÉS ALTERNATÍV LÉTREHOZÁ S JELZÁLOG FELVÉTELE ÉLET MEGEGYEZÉS KÖLCSÖN * TÖRLÉ S KÖLCSÖN FELVÉTEL BEFIZETÉS (UTOLSÓ) * BEFIZETÉS (RÉSZLEGES) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 26
ELH PÉLDA VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁS ÉLET TÖRLÉS MEGEGYEZÉS KÖLCSÖN FELVÉTELE VISSZAFIZET ÉS Az események alapsorrendje Választás nem lehetséges Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 27
ELH PÉLDA VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁS ÉLET TÖRLÉS MEGEGYEZÉS VISSZAFIZET ÉS KÖLCSÖN * FELVÉTEL Az esemény előfordulhat 0, 1, T alkalommal Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 28
ELH PÉLDA LÉTREHOZÁS VÁSÁRLÓI KÖLCSÖN ÉLET TÖRLÉS MEGEGYEZÉS Az ismétlődés kiértékelése: a megegyezés csak egyszer fordulhat elő * a vásárló többször vehet fel kölcsönt KÖLCSÖN kölcsönönként egyetlen, egy összegű visszafizetés lehetséges KÖLCSÖN FELVÉTEL VISSZAFIZET ÉS Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 29
ELH PÉLDA VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁS MEGEGYEZÉS ÉLET TÖRLÉ S KÖLCSÖN Egy adott kölcsönre több befizetés is előfordulhat, de: minden ismétlődés azonosan kezelendő-e? KÖLCSÖN FELVÉTEL * * BEFIZETÉS Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 30
NORMÁL ÉLET VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁ S ÉLET TÖRLÉS Az utolsó befizetés megváltoztatja az entitás állapotát, ezért hatás-minősítőként (esemény al-típus) kezelendő MEGEGYEZÉS KÖLCSÖN FELVÉTEL * KÖLCSÖN BEFIZETÉS* (RÉSZLEGES) BEFIZETÉ S (UTOLSÓ) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 31
Fogalmi modell: EBM Kilépések és folytatások Arra használjuk, hogy egy feltételezett eset -ből egy alternatív eset -be lépjünk át A kilépés helyette történik, és nem utána A Q (kilépés) és az R (folytatás) a hatás-doboz belsejében jelenik meg Csak az alábbi esetekben használható: választás egyik ágából a másikba, egy ismétlődésből az ELH fő szerkezetébe, az entitástörténet bármely pontjáról egy az ábrán kívüli struktúra dobozba, amely egy vagy több esemény hatását reprezentálja és az entitás életének tetszőleges pontján bekövetkezhet. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 32
Fogalmi modell: EBM Kilépések és folytatások: jelölésmód feltételezett eset O alternatív eset O Q1 alternatív eset előzménye * * * R1 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 33
ELH PÉLDA LÉTRE- HOZÁS MEGE- GYEZÉS VÁSÁRLÓI KÖLCSÖN TÖRLÉS R2 Q1: Kilépés bármely ponton a létrehozás után, a törlést megelőzően. A kölcsön leírásra kerül. ELHALÁ- LOZÁS KÖLCSÖN FELVÉTEL R1 Q2 BEFIZETÉS (RÉSZLEGES) BEFIZETÉS (UTOLSÓ) Rendszertelenül bekövetkező esemény, amely megváltoztatja a sorrendet. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 34
ELH PÉLDA VÁSÁRLÓI feltételezett eset KÖLCSÖN O VÁSÁRLÓI KÖLCSÖN alternatív eset VÁSÁRLÓI KÖLCSÖN TÖRLÉS O LÉTRE- HOZÁS MEGEGYE- ZÉS Q1 * ALTERNA- TÍV ESET ELőZMÉNYE TÖRLÉ R1S KÖLCSÖN FELVÉTEL Q1 * BEFIZETÉS RÉSZL. Q1 BEFIZETÉS UTOLSÓ Q1 ELőZMÉ- NYEK * Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 35
FOGALMI MODELL: EBM Felettes esemény: Amikor néhány különböző eseménynek teljesen azonos hatása van egy entitásra, életciklusának ugyanazon pontján, akkor a hatásokat együttesen egy felettes esemény-névvel lehet leírni. Ezt azután egyéb ELH-k és ECD-k esetén is használni lehet. Mindig egy másik esemény indítja. logikai törlés illetve fizikai törlés: a logikai törlés nem feltétlenül idézi elő a fizikai törlés -t Közhasznú lekérdezés: mindig más események vagy lekérdezések indítják. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 36
Fogalmi modell: EBM Felettes események Az ELH-k egyszerűsítésére szolgálnak Segítenek a közös feldolgozások azonosításában Általában ott jelennek meg, ahol az LDS-en hierarchia található, amelyben végigfut egy eseményhalmaz A mátrixban és a hatásokban speciális szimbólummal jelöljük Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 37
Példa: Logikai adatszerkezet logikai adatszerkezet, és a megfelelő felettes események az entitás-élettörténetekben állhat Autók csoportja tartozik Autótípus tartozhat létezik Autó Autócsoport Autócsoport elszállítás a Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 38
A megfelelő felettes események az entitásélettörténetekben (folytatás): Autó Autótípus Felettes esemény Autó log. törlése Autótípus log. törlése Felettes esemény Autó típus log. törlése Autó kivonása Autó-csoport Autótípus kivonása kivonása A szuper-eseményeket megkülönböztetésül a többi eseménytől -gal jelöljük (bármely speciális karakter használható erre a célra) Az autócsoport kivonása esemény még megtalálható az autócsoport ELHján Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 39
Fogalmi modell : EBM Logikai törlés/ fizikai törlés Minden főentitás-alentitás páros elemzésre kerül, hogy meg lehessen határozni a főentitás logikai törlésének/fizikai törlésének hatását az alentitásra VÉGIGFUTÓ: a főentitás logikai törlése az alentitás logikai törlését jelenti KORLÁTOZÓ: a főentitás logikai törlését az alentitás logikai törlése korlátozza ÁRVA / CSERE: a főentitás logikai törlésénak hatására az alentitás Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 40 különállóvá válik, vagy átkerül egy másik főentitáshoz
Fogalmi modell : EBM Végigfutó logikai törlés A főentitás logikai törlését okozó eseményt föl kell venni az alentitás életciklusába KÖZÖS: az alentitás logikai törlése akkor következik be, amikor a főentitásé; az alentitásnak nincs külön logikai törlése KETTőS: az alentitás logikai törlése a főentitás logikai törlésekor következik be, vagy saját logikai törlésekor KORAI: az alentitás életciklusa olyan sorozatot tartalmaz, amelyet a főentitás logikai törlése több ponton is befejezhet Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 41
Fogalmi modell : EBM Végigfutó logikai törlés Közös logikai törlés PÉLDA Alentitás Az alentitás megszületése Az alentitás élete A főentitás logikai törlése Az alentitásra * vonatkozó események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 42
Fogalmi modell : EBM Végigfutó logikai törlés Kettős logikai törlés PÉLDA Alentitás Az alentitás megszületése Az alentitás élete Az alentitás logikai törlése Az alentitásra * Az alentitás A főentitás vonatkozó logikai törlése logikai törlése események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 43
Fogalmi modell : EBM Végigfutó logikai törlés Korai logikai törlés, példa feltételezett eset Az alentitás feltételezett élete Alentitás alternatív eset A főentitás lehetséges logikai törlése Az alentitás megszületése Az alentitás élete Az alentitás log. törlése Q1 Az alentitás élete A főentitás log. törlése R1 Az alentitásra vonatkozó Q1események Az alentitásra vonatkozó * események szekvenciája Az alentitásra vonatkozó Q1események * Események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 44
Fogalmi modell : EBM Korlátozó logikai törlés A főentitás logikai törlése csak összes alentitásának logikai törlése után következhet be ELLENőRZÖTT: Ahol az alentitás(ok) nem törlődnek ki a főentitás logikai törlése előtt, a főentitás logikai törlése bekerül az alentitás életciklusába Ahol az alentitás(ok) kitörlődnek a főentitás logikai törlése előtt, a főentitás egy hiba ( fail ) műveletet fog tartalmazni BETERVEZETT: A főentitás olyan állapotba kerül, hogy automatikusan eltávolítódik utolsó alentitásának logikai törlésekor Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 45
Fogalmi modell : EBM Korlátozó logikai törlés Ellenőrzött PÉLDA Alentitás Az alentitás megszületése Az alentitás élete Az alentitás logikai törlése A főentitás logikai törlése Az alentitásra * vonatkozó események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 46
Fogalmi modell : EBM Korlátozó logikai törlés Ellenőrzött Műveletek használata Főentitás A főentitás megszületése A főentitás élete A főentitás logikai törlése Műveletek 1. Hiba, ha létezik alentitás A főentitásra * vonatkozó események 1 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 47
Fogalmi modell : EBM Korlátozó logikai törlés Betervezett PÉLDA Főentitás A főentitás megszületése A főentitás élete A főentitás betervezett logikai törlése Az utolsó alentitás logikai törlése A főentitásra * vonatkozó események Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 48
Fogalmi modell : EBM Árva / csere A főentitás logikai törlését az alentitás életciklusának fő részében egy leválasztás/csere ( cut / swap ) művelettel szemléltetjük Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 49
Fogalmi modell : EBM Árva/csere PÉLDA Alentitás Műveleti lista: Az alentitás megszületése Az alentitás élete 1. Lekapcsolás a főentitásr Az alentitás vagy a főentitás cseréje logikai törlése Az alentitásra * vonatkozó események O Más az alentitásra vonatkozó esmények A főentitás O logikai törlése 1 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 50
Fogalmi modell : EBM Állapotjelzők (SI-k): Az ELH készítés részeként lehet felvenni. Az állapotokat el lehet nevezni, ha ez hasznos. Alap állapotjelzők: A logikai törlés nem nulláz Optimizált állapotjelzők: Ismétlődő részek esetében a beállított értékek az ismétlődésbe való belépés előtti értékkel azonossá tehetők. A beállított értékek egy választás minden részére azonosakká tehetők. Ha az entitásnak csak két állapota van: nulla és 1, akkor nincs szükség SI-re Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 51
Fogalmi modell: EBM Az SI optimalizálás A -/3 start of A B D E F * 3/3 G H I J 1/2 2/3 C 3/4 K L I * -/1 -/1 1/1 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 52
Fogalmi modell: EBM Az SI optimalizálás Az állapotjelzőket két egyszerű elv segítségével lehet optimalizálni: egy szelekció minden hatásának a végállapotát ugyanazzal az értékkel jelölhetjük a megismételt ismétlődő hatások végállapotát az ismétlődés megkezdése előtti értékkel jelölhetjük (vagyis az ismétlődés nem változtatja meg az állapotjelző értékét). Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 53
Fogalmi modell: EBM Az SI optimalizálás előnyei Egyszerűbb az események hatásai helyességének ellenőrzése Növekszik a folyamatok újrafelhasználhatóságának foka, a felettes események azonosításán keresztül (0-0 kapcsolat) Támogatja az állapotoknak a felhasználó számára is értelmes elnevezését Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 54
ELH PÉLDA (Szabályos párhuzamos szerkezet) VÁSÁRLÓI KÖLCSÖN LÉTREHOZÁS ÉLET TÖRLÉS -/1 2,5/- MEGEGYEZÉSI CIKLUS VÁLTOZÁS LAKCÍM VÁLTOZÁS * 1/2 * 1,2,3,4,5/* KÖLCSÖN FELVÉTEL 2,5/3 BEFIZETÉS (RÉSZLEGES) * BEFIZETÉS (UTOLSÓ) 3,4/5 Párhuzamosan bekövetkező esemény: nem befolyásolja a sorrendet. ÁLLAPOTJEZőK: EGYSZERűEN DEFINIÁLJA A LEHETSÉGES HIBÁKAT. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 55
ELH PÉLDA (Szabálytalan párhuzamos szerkezet) VÁSÁRLÓI KÖLCSÖN KELETKE-ZÉS ÉLET TÖRLÉS -/1 2,5,6/- KÖLCSÖNT FELVEVő ELHALÁLOZÁSA MEGEGYE-ZÉS 1,2,3,4,5/6 1/2 * KÖLCSÖN FELVÉTEL 2,5/3 BEFIZETÉS (RÉSZLEGES) * BEFIZETÉS (UTOLSÓ) 4/5 3,4/4 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 56
ELH PÉLDA (Állapotjelzőkre optimalizálás nélkül) VÁSÁRLÓI KÖLCSÖN LÉTRE-HOZÁS ÉLET TÖRLÉS -/1 2,5/- MEGEGYEZÉS 1/2 KÖLCSÖN * KÖLCSÖN FELVÉTEL BEFIZETÉS (UTOLSÓ) 2,5/3 3,4/5 * BEFIZETÉS (RÉSZLEGES) 3,4/4 Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 57
ENTITÁS-SZEREPKÖRÖK KÖLCSÖN ÚJ KÖLCSÖN KÖLCSÖN ÉLETE KÖLCSÖN MEGSZÜN -TETÉS KÖLCSÖN CIKLUS * KÖLCSÖN ELADÁS o MEGEGYE- ZÉS A KÖLCSÖNRőL o CSERE TÖRTÉNT [TÖRÖLT] o CSERE o TÖRTÉNT [HELYETTES.] Egy esemény ugyanazon entitás különböző előfordulásaira egyszerre hat: midegyik különböző szerepet feltételez. A SZEREPKÖR SZÖGLETES ZÁRÓJELBE [ ] KERÜL. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 58
Fogalmi modell : EBM ELH műveletek Az összes műveletet egyedileg azonosítják a rendszer egészében Olyan szintaxis választható, amely megfelel a megcélzott technológiai környezetnek Létezik egy SSADM által javasolt alap művelet halmaz (Alentitás nyerése és vesztése kisebb hangsúlyt kap, az előző változathoz képest) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 59
MűVELETEK FELTÜNTETÉSE Minden ELH-hoz állítsuk össze a fontosabb műveletek listáját és rendeljünk ezekhez számokat. A műveletet azonosító számok az események alatti dobozokban találhatók. ÚJ VÁS. o FELVÉTEL LÉTREHO- ZÁS VÁSÁRLÓI KÖLCSÖN RÉGI o FELVÉTEL 1 MűVELETJEGYZÉK 1. Vásárlói kölcsön entitás létrehozása 2. További attribútumok beállítása Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 60
Fogalmi modell : EBM Művelet-típusok <entitás> LÉTREHOZÁSA (CREATE <entity>) <attributum> BEÁLLÍTÁSA (SET <attribute>) <attributum> BEÁLLÍTÁSA <kifejezés> ÉRTÉKRE (SET <attribute> USING <expression>) <főentitás> -HEZ KAPCSOLÁS (TIE TO <entity>) <főentitás>-ről LEKAPCSOLÁS (CUT FROM <entity>) <alentitás> NYERÉS (GAIN <entity>) <alentitás> ELVESZTÉS (LOSE <entity>) <főentitás> CSERE (SWAP <entity>) <feldolgozás> INDÍTÁS (INVOKE <process>) Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 61
Fogalmi modell : EBM Feltételhez kötött műveletek Ahol egy adott hatás esetén egynél több korábbi érvényes állapotjelző érték van; mostantól létezhetnek az állapotjelző értékétől, vagy értétéktartományától függő műveletek pl. HA <entitás> SI = <érték>... Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 62
ENTITÁSTÖRTÉNETI ÁBRÁK ÁTTEKINTÉSE szintaktikusan Csak egy entitás van minden ábrához? Legalább egy létrehozás és törlés szerepel? A módosító hatások beállítják minden adatelem összes elvárt értékét? Fel vannak tüntetve és megfelelőek az állapotjezők? Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 63
ENTITÁSTÖRTÉNETI ÁBRÁK ÁTTEKINTÉSE Szemantikusan: Az események folyama érvényes? Az esemény által okozott hatás érvényes? Minden ismétlődés azonos-e? Lehet-e opcionális az esemény? Az elő nem fordulások le vannak-e kezelve? A B O O Létezhet-e egynél több létrehozó és törlő hatás? Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 64
AZ ENTITÁSTÖRTÉNETI ÁBRÁK HASZNÁLATÁNAK ELőNYEI Visszatükrözi egy entitás története során előforduló események sorozatát. Felfedhet hiányzó adatokat illetve folyamatokat. Azonosítja a hibaelőfordulási feltételeket és tömören definiálja a kivételek kezelését. A folyamatok minden problémájára rávilágít. Utal különböző események közötti kölcsönhatásra. Biztosítja a tervezés konzisztenciáját, ellentmondásmentességét. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 65
ENTITÁSTÖRTÉNETI ÁBRÁK ÖSSZEFOGLALÁS A választott rendszer specifikációjának részletes érvényesítése. A folyamatok és az adatmodell konzisztenciájának egymással egybevetett ellenőrzése Definiálja az események bekövetkezési sorrendjére vonatkozó szabályokat és a kapcsolódó hibakezelést, valamint megvilágítja a bonyolultabb feldolgozási folyamatrészeket és pontosan leírja azokat. Információrendszer fejlesztés módszertana, Dr. Molnár Bálint egyetemi docens 66