Towards a Formal Specification for the AgentComponent

  • Philipp Meier
  • Martin Wirsing
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2975)


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 AC approach and provides a formal specification for the services of the generic AC.


Multi Agent System Class Diagram Communication Partner Object Constraint Language Agent Technology 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
  2. 2.
  3. 3.
    D’Souza, D.F., Wills, A.C.: Objects, Components and Frameworks With UML. Addison-Wesley, Reading (1999)Google Scholar
  4. 4.
  5. 5.
    Brazier, F.M.T., Jonker, C., Treur, J.: Principles of Component-Based Design of Intelligent Agents. Data and Knowledge Engineering 41, 1–28 (1998)CrossRefGoogle Scholar
  6. 6.
    Lind, J.: Relating Agent Technology and Component Models (2001)Google Scholar
  7. 7.
    Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes, vol. 1957 (2001)Google Scholar
  8. 8.
    Jennings, N.R., et al.: Agent-Based Business Process Management. ACM SIGMOD Record 27, 32–39 (1998)CrossRefGoogle Scholar
  9. 9.
  10. 10.
    Meier, P.: Visual Construction of Multi-Agent-Systems according to the AgentComponent Approach and the RDT Concept, Technical Report,
  11. 11.
    Meier, P., Wirsing, M.: Implementation Patterns for Visual Construction of Multi-Agent-Systems, Technical Report,
  12. 12.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Philipp Meier
    • 1
  • Martin Wirsing
    • 1
  1. 1.Ludwig-Maximilians-UniverstitätMünchen

Personalised recommendations