Functional Integrity of Multi-agent Computational System Supported by Component-Based Implementation

Authors:
Kamil Piętak;Adam Woś;Aleksander Byrski;Marek Kisiel-Dorohinicki
Affiliations:
AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland;AGH University of Science and Technology, Kraków, Poland
Venue:
HoloMAS '09 Proceedings of the 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Year:
2009

Citing 6
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Agent-Oriented Model of Simulated Evolution

SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Functional Integrity of MAS through the Dynamics of the Agents' Population

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Using Self-Organization for Functional Integrity Maintenance of Wireless Sensor Networks

IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology
Agent-Based Model and Computing Environment Facilitating the Development of Distributed Computational Intelligence Systems

ICCS 2009 Proceedings of the 9th International Conference on Computational Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

In the paper a formalism is proposed to describe the hierarchy of multi-agent systems, particularly suitable for the design of a certain class of distributed computational intelligence systems. The notions of algorithms and dependencies among them are introduced, which allow for the formulation of functional integrity conditions for the whole system. General considerations are illustrated by modeling a specific case of an evolutionary multi-agent system. Component techniques introduced in AgE computing environment facilitate the implementation of the system in such a way that algorithm dependencies are represented as contracts, which support checking of the system's functional integrity.