Timed Colored Petri Net Based Estimation of Efficiency of the Grid Applications

mgr inż. Wojciech Rząsa

Promotor: prof. dr hab. inż. Edward Nawarecki (AGH)
Dyscyplina: Informatyka

Badania opisane w rozprawie dotyczą metody przeznaczonej dla twórców aplikacji i ułatwiającej estymację efektywności aplikacji przeznaczonych dla środowiska rozproszonego, w szczególności dla Gridu. Metoda pozwala twórcom opisać koncepcję aplikacji oraz wykorzystywanych przez nią zasobów na wysokim poziomie abstrakcji, umożliwiając w ten sposób wygodną analizę, jeśli to konieczne, już na wczesnym etapie projektowania. Taki model jest później automatycznie (bez udziału twórców aplikacji) przekształcany do formalizmu Czasowych Kolorowanych Sieci Petriego (ang. Timed Colored Petri Nets – TCPN), który umożliwia wiarygodne odzwierciedlenie akcji zachodzących w systemach rozproszonych. Dokładność szacowania jest zapewniana przez formalizm TCPN, wspomagany przez zewnętrzne, wymienne moduły, modelujące problemy związane z transmisją danych.

Głównym wkładem opisywanych badań jest wyżej opisana metoda symulacji i połączenie zalet analizy opartej na formalizmie wspartym specjalizowanymi modułami z wygodą szybkiego modelowania, na wysokim poziomie abstrakcji. Opisano także rozwiązania dla kilku dobrze zdefiniowanych problemów naukowych i technicznych, które napotkano podczas realizacji badań, a które mogą być użyteczne podczas innych prac.

Pełna wersja autoreferatu: autoreferat.pdf.

1. Baliś B., Bubak M., Rząsa W., Szepieniec T., Wismüller R.: Security in the OCM-G Grid Application Monitoring System. PPAM 2003, LNCS 3019, pp. 779-787, 2004, Eds. R. Wyrzykowski et al.
2. Baliś B., Bubak M., Rząsa W., Szepieniec T., Wismüller R.: Two Aspects of Security Solution for Distributed Systems in the Grid on the Example of the OCM-G. In proc. of CGW'03, pp.197-206, Kraków 2004 ISBN 83-915141-3-7.
3. Baliś B., Bubak M., Rząsa W., Szepieniec T.: Efficiency of the GSI Secured Network Transmission. ICCS 2004, LNCS 3036, p. 107-115, 2004, Eds. M. Bubak et al.
4. Rząsa W., Bubak M., Baliś B., Szepieniec T.: Simulation Method for Estimation of Security Overhead of Grid Applications. In proc. of CGW'05, pp. 300-307, Kraków 2006 ISBN 83-915141-5-3, EAN 9788391514153.
5. Rząsa W., Bubak M., Baliś B., Szepieniec T.: Overhead Verification for Cryptographically Secured Transmission in the Grid. Computing and Informatics, Vol. 26, 2007, 89-101.
6. Rząsa W., Bubak M.: Application of Petri Nets to Evaluation of Grid Applications Efficiency. In proc. of CGW'08, pp. 261-269, Kraków 2009, ISBN 978-83-61433-00-2.
7. Rząsa W.: Combining Timed Colored Petri Nets and Real TCP Implementation to Reliably Simulate Distributed Applications. CN 2009, CCIS 39, pp. 79-86, 2009, Eds. A. Kwiecień, P. Gaj, and P. Stera.
8. Dec G, Jędrzejec B, Rząsa W.: Kolorowana sieć Petriego jako model systemu podejmowania decyzji kredytowej. STUDIA INFORMATICA 2010, Volume 31, Number 2A (89).
9. Rząsa W., Bubak M.: Simulation Method Supporting Development of Parallel Applications for Grids. In proc. of CGW'10, pp. 194-201, Kraków 2011, ISBN 978-83-61433-03-3.
10. Dec G., Rząsa W.: Modelowanie wielowarstwowej rozproszonej aplikacji www z zastosowaniem TCPN. Praca zbiorowa pod red. L. Trybusa i S. Samoleja: Projektowanie, analiza i implementacja systemów czasu rzeczywistego, ISBN 878-83-206-1822-8, Wyd. Komunikacji i Łączności, Warszawa 2011, pp. 137-148.