Kontrola alokacji zasobów podczas drążenia danych dla potrzeb dynamicznych analiz finansowych

Abstract

The dissertation proposes and proves the thesis that it is possible to formally specify dynamic financial analysis processes using graph transformations in a way that allows task allocation optimisation in a distributed environment. To prove the thesis DFA processes behaviour has been analysed and performance issues have been described in detail. An attributed graph-based static model has been introduced to formally describe DFA tasks. Graph-based transformations enriched with time conditions have been used to control distributed resource allocation. The proposed model has been used to study the behaviour of DFA processes. As a result several methods have been proposed to improve the performance of computations. The efficiency of the proposed approach has been proved with a number of experiments. Poniższa dysertacja stawia oraz dowodzi tezę, iż procesy dynamicznych analiz finansowych można formalnie zaspecyfikować za pomocą transformacji grafowych w sposób, który pozwoli na optymalizację alokacji zadań w środowisku rozproszonym. W celu wykazania tezy scharakteryzowano schematy zachowań procesów DFA, z wyszczególnieniem problemów o charakterze wydajnościowym. Następnie wprowadzono model statyczny oparty na grafach atrybutowanych, pozwalający na reprezentację zadań DFA, za pomocą którego ściśle opisano zidentyfikowane wcześniej problemy. Użycie formalizmów transformacji grafowych uzupełnionych o czynnik czasowy umożliwiło rozproszoną kontrolę alokacji zasobów. Wprowadzony model stał się podstawą analizy zachowania procesów dynamicznych analiz finansowych oraz opracowania metod poprawiających wydajność obliczeń. Przedstawione wyniki eksperymentów potwierdziły efektywność proponowanego podejścia w praktyce.