Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
Dau, F.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)
DeLoach, S.: Multi-Agent Systems Engineering: A Methodology and Language for Designing Agent Systems (1999), citeseer.ist.psu.edu/deloach99multiagent.html
Foundation for Intelligent Physical Agents: FIPA Iterated Contract Net Interaction Protocol Specification (November 21, 2000) (accessed 2005), http://www.fipa.org/specs/fipa00030/PC00030D.html
Fuxman, A., Kazhamiakin, R., Pistore, M., Roveri, M.: Formal Tropos: language and semantics (Version 1.0) (November 4, 2003) (accessed 2005), http://www.dit.unitn.it/~ft/papers/ftsem03.pdf
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)
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)
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)
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)
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)
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)
Polovina, S.: The Suitability of Conceptual Graphs in Strategic Management Accountancy (PhD Thesis) (1993), available at http://www.polovina.me.uk/phd
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-0807
Polovina, S., Heaton, J.: An Introduction to Conceptual Graphs. AI Expert 7(5), 36–43 (1992)
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)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks-Cole (2000)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
OMG, Unified Modeling Language Resource Page, vol. 2004, http://www.uml.org/
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hill, R., Polovina, S., Beer, M.D. (2006). Improving AOSE with an Enriched Modelling Framework. In: Müller, J.P., Zambonelli, F. (eds) Agent-Oriented Software Engineering VI. AOSE 2005. Lecture Notes in Computer Science, vol 3950. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11752660_8
Download citation
DOI: https://doi.org/10.1007/11752660_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34097-3
Online ISBN: 978-3-540-34099-7
eBook Packages: Computer ScienceComputer Science (R0)