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.
Timed Colored Petri Net Based Estimation of Efficiency of the Grid Applications
The work described in this dissertation concerns developer oriented method that facilitates estimation of efficiency of applications designed for distributed environment, with special attention payed to the Grid. The method enables developers to describe their concepts of applications and exploited resources on high level of abstraction, enabling convenient analysis, if necessary on early stages of development. The model is then automatically transformed to the formalism of Timed Colored Petri Net (TCPN), being capable of reliable reflection of activities that appear in distributed systems. Precision of estimation is ensured by the formalism of TCPN supported by specialized external modules that model network-related issues and can be easily swapped. Reliability of the method was verified on the basis of prototype implementation by comparison of results obtained from simulations and real-world experiments. The results showed that the method is capable of providing valuable estimations.
The main contribution of this research is the simulation method described above and combining virtues of analysis based on a formalism and supported by specialized modules, with convenience and rapid modeling. Additionally, the thesis describes solutions for several well-defined scientific and technical problems that were encountered while the research and may be useful in the other works.
