Skip to main content
SpringerLink
Log in

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

  • Conference paper
Conceptual Structures: Common Semantics for Sharing Knowledge (ICCS 2005)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 3596))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Jennings, N.R.: An Agent Based Approach for Building Complex Software Systems. Comm. of ACM 44, 35–41 (2001)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Padgham, L., Winikoff, M.: Prometheus: A Methodology for Developing Intelligent Agents, citeseer.ist.psu.edu/padgham02prometheus.html

  6. Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The Gaia methodology. ACM Trans. Softw. Eng. Methodol. 12, 317–370 (2003)

    Article  Google Scholar 

  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. DeLoach, S.: Multiagent Systems Engineering: A Methodology and Language for Designing Agent Systems, citeseer.ist.psu.edu/deloach99multiagent.html

  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)

    Article  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  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. 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. 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. 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. Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)

    MATH  Google Scholar 

  17. Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations. Brooks-Cole (2000)

    Google Scholar 

  18. Polovina, S., Heaton, J.: An Introduction to Conceptual Graphs. AI Expert 7, 36–43 (1992)

    Google Scholar 

  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. Huhns, M.N., Singh, M.P.: Service-Oriented Computing: Key Concepts and Principles. IEEE Internet Computing 9, 75–81 (2005)

    Article  Google Scholar 

  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)

    Article  MATH  Google Scholar 

  22. Heaton, J.E.: Goal Driven Theorem Proving Using Conceptual Graphs and Peirce Logic, PhD Thesis, Loughborough University (1994)

    Google Scholar 

  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. 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)

Download references

Author information

Authors and Affiliations

  1. Web-Based and Multi-Agent Research Group, Faculty of Arts, Computing, Engineering and Sciences, Sheffield Hallam University, City Campus, Howard Street, Sheffield, S1 1WB, United Kingdom

    Simon Polovina & Richard Hill

Authors
  1. Simon Polovina
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Hill
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Systems and Technology, University of Wollongong, Northfields Ave, NSW 2522, Wollongong, Australia

    Frithjof Dau

  2. RCR, LIRMM, UMII, CNRS,  

    Marie-Laure Mugnier

  3. Research Center L3S, Appelstr. 9a, D-30167, Hannover, Germany

    Gerd Stumme

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Polovina, S., Hill, R. (2005). Enhancing the Initial Requirements Capture of Multi-Agent Systems Through Conceptual Graphs. In: Dau, F., Mugnier, ML., Stumme, G. (eds) Conceptual Structures: Common Semantics for Sharing Knowledge. ICCS 2005. Lecture Notes in Computer Science(), vol 3596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11524564_30

Download citation

  • DOI: https://doi.org/10.1007/11524564_30

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-27783-5

  • Online ISBN: 978-3-540-31885-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation