Improving AOSE with an Enriched Modelling Framework

  • Richard Hill
  • Simon Polovina
  • Martin D. Beer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3950)


We describe an approach to the development of a complex social care system that defines specific steps along the path to MAS implementation. In particular we explore the use of conceptual knowledge modelling techniques by means of conceptual graphs and a transactions-based architecture for model verification during requirements gathering, together with a translation to AUML for design specification, and propose a rigorous framework to enrich and extend existing AOSE methodologies. The resulting output from Transaction Agent Modelling (TrAM) can then be developed further using the agent development toolkit of choice.


Local Authority Transaction Model Care Package Conceptual Graph Initial Requirement 
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.
    Müller, J.P., Bauer, B., 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–104. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Bench-Capon, T.J.M., Beer, M.D., Sixsmith, A.: Some Issues in Managing Dialogues between Information Agents. In: Bench-Capon, T.J.M., Soda, G., Tjoa, A.M. (eds.) DEXA 1999. LNCS, vol. 1677, pp. 521–530. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  3. 3.
    Beer, M.D., Huang, W., Sixsmith, A.: Using Agents to Build a Practical Implementation of the INCA (Intelligent Community Alarm) System. In: Jain, L.C., Chen, Z., Ichalkaranje, N. (eds.) Intelligent Agents & their Applications, pp. 320–345. Springer, Heidelberg (2002)Google Scholar
  4. 4.
    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)CrossRefzbMATHGoogle Scholar
  5. 5.
    Dau, F.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)zbMATHGoogle Scholar
  6. 6.
    DeLoach, S.: Multi-Agent Systems Engineering: A Methodology and Language for Designing Agent Systems (1999),
  7. 7.
    Foundation for Intelligent Physical Agents: FIPA Iterated Contract Net Interaction Protocol Specification (November 21, 2000) (accessed 2005),
  8. 8.
    Fuxman, A., Kazhamiakin, R., Pistore, M., Roveri, M.: Formal Tropos: language and semantics (Version 1.0) (November 4, 2003) (accessed 2005),
  9. 9.
    Geerts, G., McCarthy, W.: Database Accounting Systems. In: Williams, B., Sproul, B.J. (eds.) Information Technology Perspectives in Accounting: and Integrated Approach, pp. 159–183. Chapman and Hall Publishers, Boca Raton (1991)Google Scholar
  10. 10.
    Georgeff, M.P., Pell, B., Pollack, M.E., Tambe, M., Wooldridge, M.: The Belief-Desire-Intention Model of Agency. In: Rao, A.S., Singh, M.P., Müller, J.P. (eds.) ATAL 1998. LNCS (LNAI), vol. 1555, pp. 1–10. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  11. 11.
    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, 2004, pp. 13–21. IOS Press, Amsterdam (2004)Google Scholar
  12. 12.
    Hill, R., Polovina, S., Beer, M.D.: From concepts to agents: towards a framework for multi-agent system modelling. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, Utrecht, The Netherlands, pp. 1155–1156. ACM Press, New York (2005)CrossRefGoogle Scholar
  13. 13.
    Nwana, H., Ndumu, D., Lee, L., Collis, J.: ZEUS: A Tool-Kit for Building Distributed Multi-Agent Systems. Applied Artifical Intelligence Journal 13(1), 129–186 (1999)CrossRefGoogle Scholar
  14. 14.
    Padgham, L., Winikoff, M.: Prometheus: A Methodology for Developing Intelligent Agents. In: Proceedings of the Third International Workshop on Agent-Oriented Software Engineering, at AAMAS 2002 (2002)Google Scholar
  15. 15.
    Polovina, S.: The Suitability of Conceptual Graphs in Strategic Management Accountancy (PhD Thesis) (1993), available at
  16. 16.
    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 (2004), ISBN 3-8322-2950-7, ISSN 0945-0807Google Scholar
  17. 17.
    Polovina, S., Heaton, J.: An Introduction to Conceptual Graphs. AI Expert 7(5), 36–43 (1992)Google Scholar
  18. 18.
    Polovina, S., Hill, R.: Enhancing the Initial Requirements Capture of Multi-Agent Systems through Conceptual Graphs. In: Proceedings of 13th International Conference on Conceptual Structures (ICCS 2005), Conceptual Structures: Common Semantics for Sharing Knowledge, July 18-22, 2005, pp. 439–452. Springer, Kassel, Germany (2005)CrossRefGoogle Scholar
  19. 19.
    Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks-Cole (2000)Google Scholar
  20. 20.
    Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)zbMATHGoogle Scholar
  21. 21.
    OMG, Unified Modeling Language Resource Page, vol. 2004,
  22. 22.
    Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Richard Hill
    • 1
  • Simon Polovina
    • 1
  • Martin D. Beer
    • 1
  1. 1.Web & Multi-Agents Research Group, Faculty of Arts, Computing, Engineering & SciencesSheffield Hallam UniversitySheffieldUnited Kingdom

Personalised recommendations