Advertisement

Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs

  • Simon Polovina
  • Richard Hill
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3596)

Abstract

A key purpose of Multi-Agent Systems (MAS) is to assist humans make better decisions given the vast and disparate information that global systems such as the Web have enabled. The resulting popularity of Agent-Oriented Software Engineering (AOSE) thus demands a methodology that facilitates the development of robust, scalable MAS implementations that recognise real-world semantics. Using an exemplar in the Community Healthcare domain and Conceptual Graphs (CG), we describe an AOSE approach that elicits the hitherto hidden requirements of a system much earlier in the software development lifecycle, whilst also incorporating model-checking to ensure robustness. The resulting output is then available for translation into Agent Oriented Unified Modelling Language (AUML) and further developed using the agent development toolkit of choice.

Keywords

Local Authority Unify Modelling Language Elderly Person Multiagent System Transaction Model 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Beer, M.D., Anderson, I., Huang, W.: Using agents to build a practical implementation of the INCA (intelligent community alarm) system. In: Proceedings of the fifth international conference on Autonomous agents, pp. 106–107 (2001), http://doi.acm.org/10.1145/375735.376013
  2. 2.
    Jennings, N.R.: An Agent Based Approach for Building Complex Software Systems. Comm. of ACM 44, 35–41 (2001)CrossRefGoogle Scholar
  3. 3.
    Bauer, B., Müller, J.P., Odell, J.J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  4. 4.
    Bellifemine, F., Poggi, A., Rimassa, G.: JADE: a FIPA2000 compliant agent development environment. In: AGENTS 2001: Proceedings of the fifth international conference on Autonomous agents, pp. 216–217 (2001), http://doi.acm.org/10.1145/375735.376120
  5. 5.
    Padgham, L., Winikoff, M.: Prometheus: A Methodology for Developing Intelligent Agents, citeseer.ist.psu.edu/padgham02prometheus.html
  6. 6.
    Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12, 317–370 (2003)CrossRefGoogle Scholar
  7. 7.
    Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C.: ZEUS: a toolkit and approach for building distributed multi-agent systems. In: AGENTS 1999: Proceedings of the third annual conference on Autonomous Agents, pp. 360–361 (1999), http://doi.acm.org/10.1145/301136.301234
  8. 8.
    DeLoach, S.: Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems, citeseer.ist.psu.edu/deloach99multiagent.html
  9. 9.
    Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems 8, 203–236 (2004)CrossRefGoogle Scholar
  10. 10.
    Georgeff, M.P., Pell, B., Pollack, M.E., Tambe, M., Wooldridge, M.: The Belief-Desire-Intention Model of Agency. In: ATAL 1998: Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages, pp. 1–10 (1999)Google Scholar
  11. 11.
    Harper, L.W., Delugach, H.S.: Using Conceptual Graphs to Represent Agent Semantic Constituents. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 325–338. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Fuxman, R., Kazhamiakin, M.: Formal Tropos: language and semantics (Version 1.0) (Accessed: 2005, 4th November 2003), http://www.dit.unitn.it/~ft/papers/ftsem03.pdf
  13. 13.
    Mattingly, L., Rao, H.: Writing Effective Use Cases and Introducing Collaboration Cases. The Journal of Object-Oriented Programming 11, 77–87 (1998)Google Scholar
  14. 14.
    Polovina, S., Hill, R., Crowther, P., Beer, M.D.: Multi-Agent Community Design in the Real, Transactional World: A Community Care Exemplar. In: Pfeiffer, H., Wolff, K.E., Delugach, H.S. (eds.) Conceptual Structures at Work: Contributions to ICCS 2004 (12th International Conference on Conceptual Structures), pp. 69–82. Shaker Verlag, Aachen (2004)Google Scholar
  15. 15.
    Hill, R., Polovina, S., Beer, M.D.: Towards a Deployment Framework for Agent- Managed Community Healthcare Transactions. In: The Second Workshop on Agents Applied in Health Care, Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), Valencia, Spain, August 23-24, pp. 13–21. IOS Press, Amsterdam (2004)Google Scholar
  16. 16.
    Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)zbMATHGoogle Scholar
  17. 17.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks-Cole (2000)Google Scholar
  18. 18.
    Polovina, S., Heaton, J.: An Introduction to Conceptual Graphs. AI Expert 7, 36–43 (1992)Google Scholar
  19. 19.
    Dau, F.: The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)Google Scholar
  20. 20.
    Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing 9, 75–81 (2005)CrossRefGoogle Scholar
  21. 21.
    Lee, J., Lai, L.F., Hsu, K.H., Fanjiang, Y.Y.: Task-based conceptual graphs as a basis for automating software development. International Journal of Intelligent Systems 15, 1177–1207 (2000)zbMATHCrossRefGoogle Scholar
  22. 22.
    Heaton, J.E.: Goal Driven Theorem Proving Using Conceptual Graphs and Peirce Logic, PhD Thesis, Loughborough University (1994)Google Scholar
  23. 23.
    Foundation for Intelligent Physical Agents, FIPA Iterated Contract Net Interaction Protocol Specification (Accessed: 2005, 11/21. 2000), http://www.fipa.org/specs/fipa00030/PC00030D.html
  24. 24.
    Hill, R., Polovina, S., Beer, M.D.: From Concepts to Agents: Towards a Framework for Multi-Agent System Modelling. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Utrecht University, Netherlands. ACM Press, New York, http://www.aamas-conference.org/ (in press)

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Simon Polovina
    • 1
  • Richard Hill
    • 1
  1. 1.Web-Based and Multi-Agent Research Group, Faculty of Arts, Computing, Engineering and SciencesSheffield Hallam UniversitySheffieldUnited Kingdom

Personalised recommendations