AZ ELőADÁS CÉLJA. megmagyarázni, hogy milyen célból használunk entitás-esemény modellezést. az alábbiak elkészítésekor használt eljárások bemutatása:

Átírás

1 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

2 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

3 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

4 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

5 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

6 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

7 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

8 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

9 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

10 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

11 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

12 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

13 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

14 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

15 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

16 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

17 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

18 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

19 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

20 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

21 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

22 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

23 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

24 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

25 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

26 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

27 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

28 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

29 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

30 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

31 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

32 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

33 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

34 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

35 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

36 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

37 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

38 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

39 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

40 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

41 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

42 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

43 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

44 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

45 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

46 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

47 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

48 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

49 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

50 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

51 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

52 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

53 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

54 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

55 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

56 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

57 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

58 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

59 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

60 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

61 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

62 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

63 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

64 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

65 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

66 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