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

mgr inż. Wojciech Rząsa

Promotor: prof. dr hab. inż.Edward NAWARECKI
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.