Abstract
We present a framework for conceptual modeling, requirements analysis and design of agent-based systems. The framework is rooted in the Belief Desire Intention (BDI) formalism and extends the Unified Modeling Language (UML) to model multi-agent systems. We introduce several modeling constructs including Agent, Belief, Goal, Plan, FIPA Performative, KQML-Performative, and Blackboard. In addition, we introduce Agent Goal Diagram to model the relationships between the goals and the environment of an agent; Use Case Goal Diagram to model the relationships between use cases and goals; Agent Domain Model to facilitate understanding of domain knowledge of an agent; Agent Sequence Diagram to model interactions within an agent. Similarly, Agent Activity Diagram and Agent Statechart Diagram are introduced. We illustrate the framework through an agent-based intelligent elevator system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander C., Ishikawa S., Silverstein M., Jacobson M., Fiksdahl-King I. and Angel S., A Pattern Language, Oxford University Press, New York, 1977.
Bubenko jr, J.A.: Information modeling in the context of system development, Invited paper to IFIP Congress, pp. 395–411, 1980.
Bergenti, F., Poggi, A.: Exploiting UML in the design of Multi-Agent systems, Proceeding of the ECOOP Workshop on Engineering Societies in the Agents World 2000 (ESAW 00), pp 96–103, 2000.
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide, Addison Wesley, 1998.
Caire, G., Leal, F., Chainho, P., Evans, R., Garijo, F., Gomez, J., Pavon, J., Kearney, P., Stark, J., Massonet, P.: Agent oriented analysis using MESSAGE/UML, Proc. of 2nd International Workshop on Agent Oriented Software Engineering, pp. 101–108, Montreal Canada, August 2001.
Chiariglione, L.: FIPA 97 Specification, http://leonardo.telecomitalialab.com/fipa/spec/fipa97/fipa97.htm.
Ciancarini, P., Wooldridge, M. (eds.): Agent Oriented Software Engineering, Proc. First International Conference on Agent Oriented Software Engineering, Springer, 2000.
Cook, D.: http://ranger.uta.edu/smarthome/links.html.
Finn, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language, in Software Agents, edited by J. Bradshaw, MIT Press, Cambridge, 1977.
Gamma, E. et al.: Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995.
Giunchiglia, F., Mylopoulos, J., Perini, A.: The Tropos software development methodology: process, models and diagrams, Proc. of International Conf. on Autonomous Agents and Multiagent Systems: Part 1, 2002, Bologna, Italy, 2002.
Iglesias, C., Garijo, M., Gonzales, J.C.: A survey of agent-oriented methodologies. In Intelligent Agents V: Proceedings of the ATAL’98, volume 1555 of LNAI. Springer, 1999.
Jennings, N.R., Sycara, K., Wooldridge, M.: A roadmap of agent research and development, in Autonomous Agents and Multi-Agent Systems, Kluwer Academic Publishers.
Jeon, H., Petrie, C., Cutkosky, M.R.: JATLite: A java agent infrastructure with message routing, IEEE Internet Computing, Mar/Apr 2000.
Kavi, K., Aborizka, M., Kung, D.: A framework for designing, modeling and analyzing agent based software systems, in Proc. of 5th International Conference on Algorithms & Architectures for Parallel Processing, October 23–25, 2002, Beijing, China.
Kavi, K., Kung, D., Bhambhani, H., Pancholi, G., Kanikarla, M., Shah, R.: Extending UML to Modeling and Design of Multi-Agent Systems, Proc. of ICSE 2003 Workshop on Software Engineering for Large Multi-Agent Systems (SELMAS), Portland, Oregon, May 3–4, 2003.
Kinny, D., Georgeff, M.: Modeling and Design of Multi-Agent Systems, In Proc. of the 3rd Int. Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages, ATAL’96, pages 1–20, Budapest, Hungary, Aug. 1997.
Kung, D.: Conceptual modeling in the context of software development,” IEEE Trans. on Software Eng. Vol. 15, No. 10, pp. 1176–1187, (Oct. 1989).
Larman, C.: Applying UML and Patterns, Prentice Hall, 2001.
Ljunberg, M., Jucas, A.: The OASIS air traffic management system, Proc. of the 2nd Pacific Rim International Conference on AI, Seoul, Korea, 1992.
Maes, P.: Agents that reduce work and information overload, Communications of the ACM, 37(7), pp 31–40.
Murphy, A., Picco, G., Roman, G.C.: LIME: A middleware for physical and logical mobility, Proceeding of the 21 st International Conference on Distributed Computing Systems (ICDCS), April, 2001, pp 524–533.
Optimal Aircraft Sequencing using Intelligent Scheduling, http://www.gsia.cmu.edu/andrew/course/45/865/2000/oasis.html.
Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for Agents, AOIS Workshop at AAAI 2000.
Odell, J.J., Van Dyke Parunak, H., Bauer, B.: Representing Agent Interaction Protocols in UML, in Proc. of First International Conference on Agent-Oriented Software Engineering, Paolo Ciancarini and Michael Wooldridge eds., Springer, Berlin, pp. 121–140, 2001.
Van Dyke Parunak, H., Bauer, B.: Representing social structures in UML, Proc. of Autonomous Agents’ 01, Montreal Canada, May 28–June 1, 2001.
Rao, A., Georgeff, M.: Modeling rational agents within a BDI architecture, Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991, pp. 473–484.
Rao, A., Georgeff, M.: BDI agents: From theory to practice, Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, pp. 312–319.
1st International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, Orlando, Florida, USA, in conjunction with ICSE 2002, May 19, 2002
Garcia, A.F. (ed.): Software Engineering for Large Multiagent Systems, ICSE Workshop Proceedings, Portland, Oregon, May 2–3, 2003.
Sølvberg A.: A Model for Specification of Phenomena, Properties, and Information Structures, IBM Research Lab. San Jose, Calif. 95193, RJ2027(28348)7/18/77
Sølvberg A.: On the Specification of Scenarios in Information System Design, IBM Research Lab. San Jose, Calif. 95193, RJ2065 (28689) 8/15/77, 1977.
Sølvberg, A.: A contribution to the definition of concepts for expressing user’s information systems requirements, in Entity-Relationship Approach to System analyses and Design, P.P. Chen (ed.), Elsevier Science Publishing Comp., pp. 359–380, 1980.
Tveit, A.: A Survey of Agent-Oriented Software Engineering. NTNU Computer Science Graduate Student Conference, Norwegian University of Science and technology, 2001.
Wooldridge, M., Weib, G., Ciancarini, P. (eds.): Agent Oriented Software Engineering II, Proc. Second International Workshop, Montreal, Canada, May 29, 2001, Springer 2001.
Yim, H., Cho, K., Jongwoo, K., Park, S. Architecture-Centric Object-Oriented Design Method for Multi-Agent Systems, in Proc. of the Fourth International Conference on Multi-Agent Systems (ICMAS-2000), 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kung, D., Kavi, K. (2007). Conceptual Modeling and Software Design of Multi-agent Systems. In: Krogstie, J., Opdahl, A.L., Brinkkemper, S. (eds) Conceptual Modelling in Information Systems Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72677-7_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-72677-7_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72676-0
Online ISBN: 978-3-540-72677-7
eBook Packages: Computer ScienceComputer Science (R0)