A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

  • César Andrés
  • Carlos Molinero
  • Manuel Núñez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5544)


We introduce a novel methodology to formally specify complex multi-agent systems. Our approach allows us to redefine computational problems in terms of agents that perform certain tasks. In our view, a system is formed by the combination of atomic and complex agents. Atomic agents are in charge of executing atomic tasks while complex agents reunite and summarize the properties of their underlying atomic agents. Basically, our approach consists in specifying the smaller parts of the problem as atomic agents. Each atomic agent is in charge of executing a small transformation of resources. Afterwards, the system will recombine them to form complex agents that will embrace the knowledge of several atomic agents. All agents are located on a superstructure of communication cellules created to record the hierarchy of the tasks. In order to provide a useful framework, we have developed a tool that fully implements all the stages of the methodology.


Utility Function Atomic Agent Process Algebra Input Buffer Complex Agent 
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.


  1. 1.
    Andrés, C., Molinero, C., Núñez, M.: A formal methodology to specify hierarchical agent-based systems. In: 4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS 2008, pp. 169–176. IEEE Computer Society Press, Los Alamitos (2008)CrossRefGoogle Scholar
  2. 2.
    Lomazova, I.: Communities of interacting automata for modelling distributed systems with dynamic structure. Fundamenta Informaticae 60(1-4), 225–235 (2004)zbMATHMathSciNetGoogle Scholar
  3. 3.
    Lomazova, I.A.: Nested Petri Nets for Adaptive Process Modeling. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 460–474. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Núñez, M., Rodríguez, I.: PAMR: A process algebra for the management of resources in concurrent systems. In: 21st IFIP WG 6.1 Int. Conf. on Formal Techniques for Networked and Distributed Systems, FORTE 2001, pp. 169–185. Kluwer Academic Publishers, Dordrecht (2001)Google Scholar
  5. 5.
    Núñez, M., Rodríguez, I., Rubio, F.: Formal specification of multi-agent e-barter systems. Science of Computer Programming 57(2), 187–216 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Núñez, M., Rodríguez, I., Rubio, F.: Specification and testing of autonomous agents in e-commerce systems. Software Testing, Verification and Reliability 15(4), 211–233 (2005)CrossRefGoogle Scholar
  7. 7.
    Merayo, M., Núñez, M., Rodríguez, I.: Formal specification of multi-agent systems by using EUSMs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 318–333. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    Dastani, M., Jacobs, N., Jonker, C., Treur, J.: Modelling user preferences and mediating agents in electronic commerce. In: Sierra, C., Dignum, F.P.M. (eds.) AgentLink 2000. LNCS, vol. 1991, pp. 163–193. Springer, Heidelberg (2001)Google Scholar
  9. 9.
    Geisler, B., Ha, V., Haddawy, P.: Modeling user preferences via theory refinement. In: 5th Int. Conf. on Intelligent User Interfaces, IUI 2001, pp. 87–90. ACM Press, New York (2001)CrossRefGoogle Scholar
  10. 10.
    Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence 146(2), 149–173 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  11. 11.
    Mas-Colell, A., Whinston, M., Green, J.: Microeconomic Theory. Oxford University Press, Oxford (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • César Andrés
    • 1
  • Carlos Molinero
    • 1
  • Manuel Núñez
    • 1
  1. 1.Dept. Sistemas Informáticos y Computación.Universidad Complutense de MadridSpain

Personalised recommendations