Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1007/978-3-642-01970-8_34guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

Published: 20 May 2009 Publication History

Abstract

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.

References

[1]
Andrés, C., Molinero, C., Núñez, M.: A formal methodology to specify hierarchical agentbased systems. In: 4th Int. Conf. on Signal-Image Technology & Internet-based Systems, SITIS 2008, pp. 169-176. IEEE Computer Society Press, Los Alamitos (2008).
[2]
Lomazova, I.: Communities of interacting automata for modelling distributed systems with dynamic structure. Fundamenta Informaticae 60(1-4), 225-235 (2004).
[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).
[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).
[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).
[6]
Núñez, M., Rodríguez, I., Rubio, F.: Specification and testing of autonomous agents in ecommerce systems. Software Testing, Verification and Reliability 15(4), 211-233 (2005).
[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).
[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).
[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).
[10]
Ha, V., Haddawy, P.: Similarity of personal preferences: Theoretical foundations and empirical analysis. Artificial Intelligence 146(2), 149-173 (2003).
[11]
Mas-Colell, A., Whinston, M., Green, J.: Microeconomic Theory. Oxford University Press, Oxford (1995).
  1. A Hierarchical Methodology to Specify and Simulate Complex Computational Systems

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image Guide Proceedings
    ICCS '09: Proceedings of the 9th International Conference on Computational Science: Part I
    May 2009
    994 pages
    ISBN:9783642019692
    • Editors:
    • Gabrielle Allen,
    • Jarosław Nabrzyski,
    • Edward Seidel,
    • Geert Dick Albada,
    • Jack Dongarra,
    • Peter M. Sloot

    Publisher

    Springer-Verlag

    Berlin, Heidelberg

    Publication History

    Published: 20 May 2009

    Qualifiers

    • Article

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 0
      Total Downloads
    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 28 Dec 2024

    Other Metrics

    Citations

    View Options

    View options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media