infokommunikációs technológiák EGYÜTTMŰKÖDŐ ÉS VERSENGŐ ERŐFORRÁSOK SZERVEZÉSÉT TÁMOGATÓ ÁGENS RENDSZER KIDOLGOZÁSA Témavezető: Tarczali Tünde Frits Márton Témavezetői beszámoló 2015. május 13.
TÉMAKÖR Felhő technológián alapuló döntéstámogató szoftverrendszer kifejlesztése munkafeladatok elosztására humán és szoftverágensek között kvalitások megbízhatóság hatékonyság vizsgálata Moduláris felépítésű rendszer a feladatok optimalizált kiosztására üzleti folyamat modellezés workflow motor dokumentumsablon szerkesztő ágens modul információ feldolgozás folyamatbányászat optimalizálás optimalizáló modul 2
RENDSZER MŰKÖDÉSE 3
ARCHITEKTÚRA 4
BPMN ELEMEK REPREZENTÁLÁSÁRA Task +Type: Enum Service Manual +SubProcess: Process +LoopType: Enum User Other Task +LoopCondition: WoLa +ResourceExpr: WoLa No Loop Simple Parallel Sequential Document[Compliant].Field[Pla ce] = Room 24 get r from workforces where r.isfree(now) and r.hasskill("ecdl") 5
DOKUMENTUMOK FELÉPÍTÉSE Document Complaint Document Type: Complaint Description: Problem with the heating... Place: Bathroom Solution: Item replaced. Section +Document: Document +Task: Task Field +Parent: Section Task Send 6
WOLA NYELV +Type: Enum Gateway +Mode: Enum {Split, Merge} Pin +Parent: Gateway +Expression: Expression Document[Complaint].Field[Type] = "Complaint" 7
WOLA NYELV ÉRTELMEZÉSE 8
BPMN SZERKESZTŐ 9
DOKUMENTUM SZERKESZTŐ 10
SZEMÉLYEK-FELADATOK Dósa György kutató Az ütemezést végző genetikus algoritmus stratégiai paramétereinek meghatározására algoritmus fejlesztése. Kapcsolatfelvétel német és kínai partnerekkel összehasonlító módszerek kidolgozására, tesztelésére. A genetikus algoritmus stratégiai paramétereinek szimulált hűtéssel meghatározandó értékeinek finomhangolása. Dulai Tibor kutató Az új egyed szerkezet alkalmazásával ütemező genetikus algoritmus fejlesztése, implementálása. Tanuló algoritmus implementálása az ütemezést végző genetikus algoritmus stratégiai paramétereinek meghatározásához. Frits Márton fiatal kutató Az optimalizáló modulban alkalmazható módszerek meghatározása. Az üzleti folyamatok az online ütemezése időkorlátos folyamat-szintézis feladatként. Szalkai István kutató A specifikus adatsor által definiált párhuzamos és soros feladatokat tartalmazó üzleti folyamatokat online ütemező program modul fejlesztése és tesztelése. Az üzleti folyamatok bizonytalanságát szimuláló valószínűségeket tartalmazó, összetett adathalmazokat előállító program modul fejlesztése. Tarczali Tünde kutató Elkészített leírónyelv alkalmazhatóságának vizsgálata, üzleti folyamatok optimalizálásának vizsgálata Üzleti folyamatok érzékenységének illetve minőségi paramétereinek vizsgálata Werner Ágnes kutató A párhuzamos környezetben működő idő és költség alapú ütemezési módszer finomítása. Tanuló algoritmus fejlesztése a genetikus algoritmusunk paramétereinek meghatározására szimulált hűtést használva. 11
FEJLESZTŐK Ábrahám Gyula Farkas Gábor Flamis Soma Kiss László Kőszegi Balázs Machalik Károly Mokcsay Ádám Oláh László Pekárdy Milán Pongrácz István Radnóti Mária Rozner Viktória Samu Balázs Szabó Nikolett Szabó Zsolt Szarvas Tamás Szűcs Attila Tóth Tamás 12
A TÉMA ELŐREHALADÁSA 2015. JANUÁR - 2015. MÁJUS Kutatási feladatok Elkészített leírónyelv erőforrás kezelésre vonatkozó kifejezéseinek tovább fejlesztése Üzleti folyamatok érzékenységének illetve minőségi paramétereinek vizsgálata Üzleti folyamatok optimalizálásának vizsgálata Üzleti folyamatok erőforrásaihoz kapcsolódó ütemezési lehetőségeinek vizsgálata, alkalmazható módszerek azonosítása Az adaptív ütemezés területének irodalmazása, módszerek, szoftverek feltárása a kifejlesztett módszerek összehasonlító elemzésének elvégzéséhez.. A párhuzamos környezetben működő idő és költség alapú ütemezési módszer finomítása. Tanuló algoritmus fejlesztése a genetikus algoritmusunk paramétereinek meghatározására szimulált hűtést használva. Az új egyed szerkezet alkalmazásával ütemező genetikus algoritmus fejlesztése, implementálása A párhuzamos környezetben működő idő és költség alapú ütemező módszer megvalósítása és tesztelése A specifikus adatsor által definiált párhuzamos és soros feladatokat tartalmazó üzleti folyamatokat online ütemező program modul fejlesztése és tesztelése. Az eredmények dokumentálása. A WOLA modul működésének kiterjesztése az erőforrások kezelésének lehetőségeivel A workflow motorra épülő ágens alapú szimulációs rendszer specifikálása Ágens szimulációs rendszer felépítésének újragondolása, BPMN alapú megközelítés specifikálása, és megvalósítása 13
A TÉMA ELŐREHALADÁSA II. 2015. JANUÁR - 2015. MÁJUS Fejlesztési feladatok WCF alapú szolgáltatás réteg megtervezése és fejlesztése Döntéstámogató rendszer üzleti folyamat szerkesztő moduljának illesztése az új szolgáltatás réteghez. Döntéstámogató rendszer dokumentum szerkesztő és kezelő moduljának illesztése az új szolgáltatás réteghez. WOLA nyelv értelmező modul továbbfejlesztése az erőforrások kezelésével WOLA modul és a Workflow motor együttműködésének megvalósítása és tesztelése Authentikációs modul létrehozása a felhasználók megfelelő kezelése érdekében Az Ágens rendszer Interfész szerverének használatát elősegítő kommunikációs modul módosítása a WCF alapú keretrendszerhez való kapcsolódás biztosítása Üzleti folyamatok erőforrás online és offline ütemezéséhez P-gráf generáló algoritmus megvalósítása Az Ágens rendszer adminisztrációs felületének illesztése a WCF alapú keretrendszerhez A workflow motorra épülő ágens alapú szimulációs rendszer specifikálása, a modul keretének megvalósítása Az Ágens rendszer újratervezése, az erőforrások reprezentációjának kidolgozása, az üzleti folyamatok szimulálásának a specifikálása. Az ütemezést végző genetikus algoritmus stratégiai paramétereinek meghatározását szolgáló program implementálása Az ütemező genetikus algoritmus felhasználói interfészének továbbfejlesztése, tesztelése 14
PUBLIKÁCIÓK Folyóiratcikk György Dósa, Armin Fügenschuh, Zhiyi Tan, Zsolt Tuza, Krzysztof Wesek, Tightening Bounds for Semi-online Scheduling on Two Uniform Machines with Known Optimum, 2015, manuscript Gy. Dósa, A. Fügenschuh, Z. Tan, Zs. Tuza, K. Wesek, Tightening Bounds for Semi-online Scheduling on Two Uniform Machines with Known Optimum, 2015 15
infokommunikációs technológiák KÖSZÖNÖM A FIGYELMET!