Streszczenie
Rozprawa lokuje się na pograniczu metod inteligencji obliczeniowej oraz technik inżynierii oprogramowania, a osią prowadzonych rozważań jest połączenie podejścia agentowego i komponentowego, w zastosowaniu do konstrukcji systemów obliczenio-wych. Tematyka rozprawy koncentruje się na szerokiej klasie populacyjnych systemów inteligencji obliczeniowej wykorzystujących paradygmat agentowy, których przykła-dem jest ewolucyjny system agentowy (ang. evolutionary multi-agent system, EMAS ). Rozprawę rozpoczyna prezentacja paradygmatu agentowego, a także możliwości jego zastosowania w systemach inteligencji obliczeniowej oraz przedstawienie aktu-alnych trendów w rozwoju technik komponentowych. Centralnym elementem pracy jest model agentowych systemów obliczeniowych, który wprowadza funkcjonalną de-kompozycję obliczenia. Pozwala to na wykorzystanie technik komponentowych do składania i weryfikacji integralności systemu budowanego z niezależnie wytwarzanych jednostek implementacyjnych. Aby wykazać iż wykorzystanie technik kompo-nentowych umożliwia efektywne budowanie, konfigurację i uruchamianie agentowych systemów inteligencji obliczeniowej w dalszej części rozprawy za-prezentowano adekwatne rozwiązania narzędziowe oraz przykładowe warianty zreali-zowanych systemów, ilustrujące potencjał zaproponowanego podejścia.
Dyskutowane rozwiązania narzędziowe są rozważane na trzech poziomach abstrak-cji: rozproszonego środowiska obliczeniowego, platformy agentowej oraz infrastruk-tury komponentowej. W pracy skupiono się przede wszystkim na konstrukcji plat-formy agentowej i mechanizmach komponentowych, ponieważ to one charakteryzują istotę proponowanych koncepcji. Przedstawione fragmenty referencyjnej implemen-tacji, obejmujące kluczowe elementy platformy agentowej oraz infrastruktury kom-ponentowej, pokazują osadzenie zrealizowanych narzędzi we współczesnych technolo-giach inżynierii oprogramowania. Prezentacja wybranych wariantów systemów obli-czeniowych stanowi ilustrację możliwości wykorzystania w praktyce zaproponowanych koncepcji, a jednocześnie pozwala na ocenę ich wpływu na efektywność konstruowania systemów tej klasy.
Abstract
This doctoral thesis corresponds to methods of intelligent computations and so-ftware engineering, and it is based on an observation that both agent-based and com-ponent concepts can be successfully applied to build computational systems. The theme of the thesis is focused on a wide range of intelligent computational systems that utilize the agent paradigm (eg. evolutionary multi-agent systems, EMAS). These systems have to be adjusted to every problem by setting proper algorithms and their parameters, which are chosen based on analysis of gathered results.
The agent-based paradigm, especially applied to computational systems as well as the actual state of component-based software engineering are presented at the begin-ning. The main part of the doctoral thesis constitutes a proposed model of agent-based computational systems, which introduces functional decomposition of a computation. It gives a perspective to use component-based techniques for assembly and verification of functional integrity of systems that are built from implementation units. Then, the thesis statement can be formulated as: Utilizing component-based techniques facilitates effective building, configuration and running agent-based intelli-gent computational systems. To prove the statement, a concept, architecture and technical aspects of adequate software solutions are presented, together with sample variants of realized systems that illustrate huge capabilities of the proposed approach. Realized software solutions can be perceived at three abstraction levels: a distri-buted computational environment, an agent platform and a component framework. The thesis is focused mainly on the second and third parts, as they are directly re-lated to the proposed concepts. The key parts of a referential implementation of the agent platform and the component framework are described to present technologi-cal perspective arose from the proposed approaches. To prove a correctness of the proposed concepts and software solutions, and to evaluate their impact to effective construction of computational systems, an architecture and results of sample systems are presented.
