Elosztott szoftverrendszerek (SOA) programozása, modellezése (Java, .NET)

Konzulens:
Dr. Simon Balázs
Tárgy:
Önálló laboratórium 1 - Vizuális informatika főspecializáció, MSc Info.
Önálló laboratórium 2 - Vizuális informatika főspecializáció, MSc Info.
Önálló laboratórium - Szoftverfejlesztés és rendszertervezés specializáció, BSc Info.
Önálló laboratórium 1 - Irányítórendszerek főspecializáció, MSc Vill.
Önálló laboratórium 2 - Irányítórendszerek főspecializáció, MSc Vill.
Önálló laboratórium 1 - Irányító és látórendszerek MSc. főspec.
Önálló laboratórium 1 - Vizuális informatika MSc. főspec.
Önálló laboratórium 2 - Irányító és látórendszerek MSc. főspec.
Önálló laboratórium 2 - Vizuális informatika MSc. főspec.
Hallgatói létszám:
3
Folytatás:
Szakdolgozat / Diplomaterv
Leírás:
A Service Oriented Architecture (SOA) célja elosztott szoftverrendszerek összekapcsolása. A különböző rendszerek tipikusan különböző technológiákon alapulnak, ezért az együttműködéshez egy szabványos interfész mögé kell rejteni őket. Az architektúra szabványos interfészre épülő komponenseit szolgáltatásoknak nevezzük. A szolgáltatások implementálhatók .NET (pl. C#, VisualBasic, F#, stb.) és Java platformon is. Emellett létezik egy szabványos kompozíciós nyelv, amely segítségével az egyes a szolgáltatások egy komplex folyamattá kombinálhatók össze. Ezek a folyamatok a rendszer számára ugyancsak egy meghívható szolgáltatásként jelennek meg. Ahogy a SOA rendszer fejlődik, folyamatosan újabb és újabb szolgáltatások jönnek létre. Egy ilyen komplex rendszerben számos megoldandó probléma felmerül: az alapértelmezett HTTP kommunikációs protokoll lecserélése megbízhatóbbra (pl. JMS, vagy más perzisztens üzenetküldő rendszer) az interfészleírás kibővítése elő- és utófeltételekkel (Design-by-Contract) a rendszer egyes szolgáltatásainak és folyamatainak magas szintű modellezése a rendszer tervezését megkönnyítő leíró nyelv kidolgozása, amely alkalmas a rendszer minél több aspektusának kezelésére (pl. szolgáltatások, folyamatok, biztonság, stb.) a leíró nyelv segítségével a rendszeren különböző formális helyességbizonyítások megvalósítása az egyes SOA eszközök különböző konfigurációs lehetőségeinek platformfüggetlen modellezése a kialakított modellek alapján automatikus kódgenerálás olyan szabványok implementálása .NET és Java platformon, amelyeket az eszközök gyártói nem szállítanak nyílt forráskódú megoldások kipróbálása és összehasonlítása nyílt forráskódú megoldások továbbfejlesztése