Towards a formal specification for the AgentComponent

被引：0

作者：

Meier, P ^{[1
]}

Wirsing, M ^{[1
]}

机构：

[1] Univ Munich, D-80539 Munich, Germany

来源：

OBJECTS, AGENTS, AND FEATURES | 2004年 / 2975卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

In this paper we present the AgentComponent (AC) approach under formal aspects. A multi agent system (MAS) is composed of AC, instances, where each AC instance consists of a knowledge base, storing the beliefs, of slots, storing the communication partners, of a set of ontologies, and of so-called ProcessComponents (PC) representing the behaviours of an AC instance. An AC is a generic component that can be reused (instantiated ACs) and parametrized by customizing the communication partners (slots), the ontologies, the knowledge and the behaviours of an AC instance. The focus of this paper is to introduce the basic AC approach and to define a formal specification. using the Object Constraint Language (OCL) for this approach. In the first part we present an informal description of the AC approach and show how to construct a component-based MAS by a simple example. The second part of this paper presents a metamodel for the A,C approach and provides a formal specification for the services of the generic AC.

引用

页码：175 / 188

页数：14