P-gráf alapú workflow modellezés fuzzy kiterjesztéssel

Átírás

1 P-gráf alapú workflow modellezés fuzzy kiterjesztéssel Doktori (PhD) értekezés Tick József témavezető: Dr. Kovács Zoltán Pannon Egyetem Műszaki Informatikai Kar Informatikai Tudományok Doktori Iskola 2007.

2 1. A probléma felvetése, a kutatás szükségessége, célkitűzések A komplex ügyviteli folyamatok költség hatékony és hibamentes kezelésének megoldása, illetve a megoldás hatásfoka úgy a profitorientált, mint a nonprofit szféra számára igen fontos kérdés, hiszen a bonyolult üzleti, irodaautomatizálási folyamatok optimális hatékonysága elsőrendű gazdasági érdek. A folyamatok optimalizálása nagyban múlik a jó modellező eszközön és azon, hogy rendelkezésre álljon az optimális megoldás szisztematikus és gyors megtalálásához szükséges eszközrendszer. A workflow a legelterjedtebben alkalmazott modellezési technika a vállalati és irodai információs rendszerek területén. A munkafolyamatok felderítésére, modellezésére, optimalizálására alkalmazott workflow alapú modellezés módszerei között ma nincs olyan folyamat-alapú módszer, amely szisztematikusan garantáltan optimális workflow-hálózatstruktúrához vezetne. A struktúra optimalizálás ezen a területen ma nem tudományosan megalapozott módon, hanem empirikus, tapasztalati úton valósul meg. Ez a tény egyértelműen szükségessé tette az ezen irányba történő kutatást. A folyamathálózat szintézis PNS területén kidolgozott és bevált módszerek alkalmazása a workflow modellezésben lehetővé teheti az erőforráskritikus struktúraoptimalizálást. Célom az volt, hogy a kutatás eredményeként olyan módszert adjak a workflow modellezéshez, melynek matematikai háttere megalapozott, az optimális workflow struktúra a hagyományosnál több jellemző figyelembe vételével algoritmikus módon bizonyítottan optimális megoldáshoz vezet. Célul tűztem ki továbbá, hogy az új modell legyen képes a folyamatstruktúrán túlmenően a kiinduló-, köztes-, és előállított dokumentumok kezelésére, a szükséges és rendelkezésre álló erőforrások mennyiségi és minőségi figyelembe vételére, az erőforrás-, és egyéb korlátozó tényezők, szűk keresztmetszetek kezelésére, valamint, hogy a kidolgozott módszer az eddigieknél jobban legyen képes modellezni a valós folyamatokat, kezelje az életszerű, bizonytalan, nem egzaktul definiálható helyzeteket is, vagyis legyen képes a fuzzy megoldások befogadására, kezelésére. 2

3 2. Új tudományos eredmények Az értekezés új tudományos eredményeinek tézisszerű összefoglalása: 1. Módszert dolgoztam ki a workflow modellek hagyományos leírásával szemben egy olyan új, hálózat-struktúra szemléletű, P-gráf alapú megfogalmazásra, mely lehetővé teszi a munkafolyamatok szintézisére alkalmas modellezést Áttekintettem és kritikáját adtam a workflow modellezés hagyományos megoldási módjainak. Rámutattam az eddigi megoldások hiányosságára, a workflow szintézis (WFS) bevezetésének szükségességére Bevezettem a P-gráf alapú workflow modellben a dokumentumok és tevékenységek diverzifikált fogalmát és azok kezelését. 2. Kidolgoztam a WFS modellt P-gráf alapú workflow modell kiterjesztésével és az idő és kapacitáskorlátok bevezetésével. A valóságos problémák és feladatok leírására az eddig létező modelleknél alkalmasabb rendszert dolgoztam ki a hálózatstruktúra PNS alapokon történő workflow-struktúra optimalizálásának algoritmikus módszerére Kidolgoztam azt a P-gráf alapú workflow modellt, amely lehetőséget biztosít az új megközelítésben a munkafolyamatok optimális struktúrájának meghatározására Módszert adtam arra, hogy hogyan lehet elemezni a munkafolyamatok hatékonyságát csökkentő tényezők - erőforrás és idő korlátok, szűk keresztmetszetek hatását a modellben A munkafolyamatok P-gráf alapú strukturális modelljének megadtam azt az adekvát matematikai modelljét, melynek megoldása az adott munkafolyamat-hálózat optimális struktúráját szolgáltatja. 3. A valóság pontosabb modellezése érdekében kidolgoztam egy olyan eszközt, amely kiterjeszti a hagyományos folyamatszintézis modellt úgy, hogy az képes legyen kezelni a bizonytalan elemeket a rendszerben Bevezettem a P-gráf alapú workflow modellben a bizonytalanságot tartalmazó tevékenységek leírására a fuzzy tulajdonságokkal rendelkező műveleti egységet Algoritmust dolgoztam ki az ily módon kiterjesztett modell optimális struktúrájának meghatározására. 3

4 3.3. Kidolgoztam a fuzzy műveleti egység megvalósítására egy új paraméterezett t-normát, mely segítségével a hangolási folyamat során a modellel jobban közelíthetjük a valós feladatot 3. Gyakorlati alkalmazás A kutatás eredményeként bemutatott elméleti megoldás a workflow P-gráf alapú kiterjesztett modellezésére a célkitűzésekben megfogalmazott elvárásokat teljesíti. A módszert a gyakorlatban való alkalmazhatóság oldaláról is vizsgáltam. Egy esettanulmány keretében egy valós feladatot oldottam meg, a Budapest XI. kerületi Rendőrkapitányságon felvett gyorshajtás szabálysértésének államigazgatási eljárása munkafolyamatát modelleztem és végeztem el egy részproblémára az erőforrás-kritikus struktúraoptimalizálást. 4

5 4. Az elmúlt öt év publikációi A PhD témakörében megjelent publikációk: Lektorált nemzetközi folyóiratcikkek 1. J. Tick, Z. Kovács, F. Friedler: Synthesis of Optimal Workflow Structure Journal of Universal Computer Science, ISSN , Vol. 12, 2006, No. 9, pp J. Tick, J. Fodor: Some Classes of Binary Operations in Approximate Reasoning Studies in Informatics and Control, ISSN , Vol. 15, 2006, No. 3, pp J. Tick, J. Fodor: Fuzzy Implications and Inference Processes Computing and Informatics, ISSN , Vol. 24, 2005, No. 6, pp J. Tick: P-Graph-based Workflow Modelling Acta Politechnica Hungarica, ISSN , Vol. 4, 2007., No 1, pp Lektorált nemzetközi konferencia kiadványokban megjelent cikkek: 5. J. Tick: Fuzzy Control Systems based on Parametric T-Norm Function Proceedings of the 4 th International Symposium on Applied Computational Intelligence and Informatics, SACI 2007, Timisoara, Romania, May 17-18, 2007, pp ISBN X, IEEE Catalog Number: 07EX J. Tick: Workflow Modelling Based on Process Graph Proceedings of the 5 th Slovakien Hungarian Joint Symposium on Applied Machine Intelligence, SAMI 2007, Poprad, Slovakia, January 25-26, 2007, pp ISBN J. Tick, J. Fodor: Some Classes of Binary Operations in Approximate Reasoning Proceedings of the IEEE 9 th International Conference on Intelligent Engineering Systems, INES 2005, Cruising on Mediterranean Sea, September 16-19, 2005, pp ISBN

6 8. J. Tick, J. Fodor: Fuzzy Implications and Inference Processes Proceedings of the IEEE 3 rd International Conference on Computational Cybernetics, ICCC 2005, Hotel Le Victoria, Mauritius, April 13-16, 2005, pp ISBN X 9. J. Tick: Workflow Model Representation Concepts Proceedings of the 7 th International Symposium of Hungarian Researchers on Computational Intelligence, HUCI 2006, Budapest, Hungary, November 24-25, 2006, pp ISBN X A felsorolt publikációkra eddig 7 független hivatkozás jelent meg referált nemzetközi konferenciakiadványokban. Egyéb témakörben lektorált nemzetközi konferencia kiadványokban megjelent publikációk 10. J. Tick: Convergence of Programming Development Tools for Autonomous Mobile Research Robots Proceedings of the 4 th Serbian Hungarian Joint Symposium on Intelligent Systems, SISY 2006, Subotica, Serbia, September 29-30, 2006, pp ISBN J. Tick: Modelling Control Systems by Autonomous Mini Robot Proceedings of the 3 rd Romanian Hungarian Joint Symposium on Applied Computational Intelligence, SACI 2006, Timisoara, Romania, May 25-26, 2006, pp ISBN J. Tick: Object Oriented Software Development in Embedded System Environment Proceedings of the 4 rd Slovakien Hungarian Joint Symposium in Applied Machine Intelligence, SAMI 2006, Herlany, Slovakia, January 20-21, 2006, pp ISBN J. Tick: Software User Interface Modelling with UML Support Proceedings of the IEEE 3 rd International Conference on Computational Cybernetics, ICCC 2005, Hotel Le Victoria, Mauritius, April 13-16, 2005, pp ISBN X 14. J. Tick: The Non-Technical Factors of Software User Interface Development Proceedings of the 3 rd Slovakien Hungarian Joint Symposium in Applied Machine Intelligence, SAMI 2005, Herlany, Slovakia, January 21-22, 2005, pp ISBN

7 15. J. Tick: Special Aspects of Component Based Software Development Proceedings of the 2 nd Serbian Hungarian Joint Symposium on Intelligent Systems, SISY 2004, Subotica, Serbia and Montenegro, October 1-2, 2004, pp ISBN J. Tick: The Road in Software Engineering Education from Structured Programming to Object-Oriented Modelling Proceedings of the 1 st Romanian Hungarian Joint Symposium on Applied Computational Intelligence, SACI 2004, Timisoara, Romania, May 25-26, 2004, pp ISBN J. Tick: Importance and Contribution of Software Engineering to the Education of Informatics Professionals Proceedings of the 2 nd Slovakien Hungarian Joint Symposium in Applied Machine Intelligence, SAMI 2004, Herlany, Slovakia, January 16-17, 2004, pp ISBN X 18. J. Tick: How to achieve good skills in Software Engineering a practical way to train software developers Proceedings of the 1 st Slovakien Hungarian Joint Symposium in Applied Machine Intelligence, SAMI 2003, Herlany, Slovakia, February 12-14, 2003, pp ISBN J. Tick: Aspects of User Behaviour Modelling Proceedings of the International Conference in Memoriam John von Neumann, Budapest, Hungary, December 12, 2003, pp ISBN J. Tick: User Interface Redesign based on User Behavior Analyses Proceedings of the IEEE International Conference on Computational Cybernetics, ICCC 2003, Siófok, Hungary, August 29-31, 2003, pp., ISBN J. Tick: Evaluation of Software Development Methodologies in the Aspect of Software Engineering Education Proceedings of the 3 rd International Conference on Information Technology Based Higher Education and Training, ITHET 2002, Budapest, Hungary July 4-6, 2002, pp A felsorolt publikációkra eddig 16 független hivatkozás jelent meg referált nemzetközi konferenciakiadványokban. 7