Esettanulmányok
Semester:
2012. ősz
Az órán két, rendszermodellezéshez kapcsolódó esettanulmányt mutattunk be:
- Tudásbázis építése létező, komplex banki rendszerek alapján. Az elérhető infomrációk alapján folyamat- és rendszerkonfigurációs modellek létrehozása, ezen modellek szerkesztésére modell-alapú felhasználói felület és transzformáció ontológiára és szemantikus wikire.
- Web szolgáltatás alapú munkafolyamatok verifikációja rejtett formális módszerek alkalmazásával. A BPEL nyelven definiált végrehajtható folyamatokat tervezési időben komplex modelltranszformációk alkalmazásával tranzíciós rendszerre képezzük le, amelyen modellellenőrzés végezhető lineáris temporális logikai kifejezések kiértékelésével. Az ellenőrzés eredményeként kapott ellenpéldát egy másik transzformáció segítségével visszavetítjük az eredeti folyamatra és ezt a felhasználó animáció segítségével megvizsgálhatja és hiba esetén javíthatja folyamatát.
Kapcsolódó anyag: From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2
