Információs rendszerek tervezésének és modellezésének félig-formális és formális módszereinek kutatása szervezeti architektúra alapú megközelítések figyelembe vételével
Thesis supervisor: Bálint Molnár
Location of studies (in Hungarian): ELTE IK Információs Rendszerek Tanszék Abbreviation of location of studies: ELTE
Description of the research topic:
A vállalati, üzleti, közigazgatási és egyéb jelentős információrendszerek technológiai értelemben egyre inkább a Web illetve Internet technológiákra támaszkodnak (Web-based Information Systems, WIS). Az információrendszer szolgáltatások végső célja az üzleti, szervezeti folyamatok kiszolgálása. A történetileg kialakult rendszerelemzési, tervezési és megvalósítási módszerek – strukturált, objektum-orientált stb. – , és ezeknek a módszereknek a formalizált változatai új technológiai környezetbe kerültek. A Web szolgáltatások mint információrendszer szolgáltatások, a szervezeti, üzleti folyamatok (Business processes), a munkafolyamatok (workflow) egy gyorsan változó, dinamikus környezetben kapcsolódnak össze, ahol az üzleti, szervezeti, informatikai, technológiai és architekturális döntések visszacsatolása rövid idejű és a módosítások az információrendszer állapotainak jelentős változtatásával járnak mind tervezési mind működtetési, üzemeltetési időben.
A vizsgálandó kérdések:
– Az információrendszerek és a szervezeti architektúra, szoftver architektúra kapcsolata, formális leíró eszközök alkalmazása (process algebra).
o Egyes alap, szoftver architektúra mintázatok formális leírása, amelyek eredményesen használhatok a Web alapú információrendszerek architektúrájának formális leírására (process algebrai, pi-algebrai megközelítések).
– Az üzleti folyamatok, munkafolyamatok szabványosodó leíró módszerei (folyamatmenedzsment, Business Process Management / Modelling, BPMN, BPML, BPEL stb.), és velük kapcsolatos formális megközelítések, process algebra, pi-algebra, dinamikus logika, szemantikai megközelítések, leíró logika.
o Átfogó modellek egy egységes folyamat és adat modell kialakítására: üzleti tárgyi elemek (Business artifacts) és formalizálási lehetőségei, elsőrendű logika és egyéb folyamat és adat modellezési megközelítések.
o BPM (Business Process Management) és pi-algebrai megközelítések a folyamatok leírására, verifikálására és validálására.
o Web szolgáltatások, tervezési módszereke, formális módszerek.
– A vállalatirányítási rendszerek (ERP) technológiai átalakulása, fejlődése milyen modellezési megközelítéseket igényel. A Web szolgáltatások, szervezeti architektúra, szemantikus Web, szolgáltatás-orientált architektúra, a folyamat menedzsment milyen modellezési módszereket igényel. Milyen formális megközelítések alkalmazhatók a szabatosabb tervezési, modellezések érdekében. Mely formális módszerek illeszkednek jobban az egyes részterültekhez, milyen mértékben lehet összekapcsolni illetve párhuzamosan felhasználni a különböző formális leíró módszereket:
o Folyamat algebra (process algebra;
o Pi-algebra (π-algebra);
o dinamikus logika (dynamic logic);
o leíró logika (dynamic logic);
o kategória elmélet;
o szoftver architektúra formális módszerei és alkalmazhatósága a szervezeti architektúra területén.
Recommended language skills (in Hungarian): angol Number of students who can be accepted: 1
Deadline for application: 2014-12-14
2024. IV. 17. ODT ülés Az ODT következő ülésére 2024. június 14-én, pénteken 10.00 órakor kerül sor a Semmelweis Egyetem Szenátusi termében (Bp. Üllői út 26. I. emelet).
Login
