Állapottérképek

Ez az oldal a korábbi SCH wiki-ről lett áthozva. Az eredeti változata itt érhető el.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor kérlek javíts rajta egy rövid szerkesztéssel.

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót

Elmélet

Powered by Bakmester (InfoSite - RTF)

• Állapottérkép: frankón explicit módon láthatóak az állapotok, és állapotátmenetek. Az adatműveletek pedig az állapotátmenetekhez rendelt tevékenységek, feltételek formájában jelennek meg.
• az állapottérkép gyakorlatilag az állapotdiagram kiterjesztése, hisz itt már nemcsak egyszintű, egyszerű állapotok lehetnek.
  • állapothierarchia: állapotok finomítása
  • konkurrens viselkedés: párhuzamos szálak
  • emlékezés: legutolsó aktív állapotkonfigurációra(emlékező+mélyen emlékező is)
• állapotfinomítás:

1. 1. egyszerű állapot: nincs finomítása
   2. OR finomítás: alárendelt állapotgép, egyszerre 1 aktív
   3. AND finomítás: konkurrens régiók

• átmenetek fajtái(habár gondolom mindenkinek ismerősek)

1. 1. Fork: szétágazik több irányba
   2. Join: egybeolvaszt többet egybe
   3. elágazó: (jellemzően feltételtől függően) de elágazik a tüzelés valamelyik irányba

• Állapottérkép--->prioritás: az engedélyezett átmenetek közül annak van erősebb prioritása, amelyik mélyebb hierarchiaszinten van. (ha azonos, akkor ott tuti nemdeterminizmus lép fel : ) (engedélyezettséget pedig a feltétel adja, de ez triviális, jól....)
• Állapottérkép--->tüzelés másik állapot konkurrens szálának egyik részállapotába: akkor a másik konkurrens szál kezdőállapota is beizzítódik, vagy az emlékező állapot által jelölt..:)
• Állpottérkép--->milyen adatok jelennek meg kimeneten, és milyen sorrendben: Ahonnan kilépek, azoknak az exit dolgai, lentről felfele, utána a tüzelés „kimenete”, ezt követően fentről lefele a célállapot-csoport entry akciói…

Kérdések

• Mi a különbség állapottérképeknél egy önmagába visszatérő átmenet és egy belső átmenet között?
  • Belső átmenetnél nem hajtunk végre entry és exit-et, a másiknál meg igen.
• Mit nevezünk egy állapottérkép tranzíció legkisebb közös ős (LCA) állapotának?
  • Ami a tranzíció be és kimenetéhez tartozó állapotot is magában tartalmazza.
• Mi a különbség az UML állapottérképek ÉS és VAGY típusú állapotfinomítása között?
  • VAGY-nál egymást kölcsönösen kizáró állapotok csak 1 lehet aktív.
  • ÉS-nél konkurens, ha aktív akkor minden régió aktív (benne levő VAGY-ok közül 1)
• Mikor mondjuk UML állapottérképben, hogy egy engedélyezett tranzíció prioritása nagyobb, mint egy másik engedélyezett tranzícióé?
  • Ha a hierarchiaszintben beljebb van.
• Mivel jellemezhetőek az engedélyezett tranzíciók az UML statechartoknál?
  • Azok az engedélyezettek, amelyek az adott forrásállapotból indulnak ki, és teljesülnek rájuk az esetleges őrfeltételek, valamint arra az eseményre tüzelnek, ami épp bejött.

Példák

-- adamo - 2006.06.10. -- Gegman - 2009.01.21.