Propagating AUML protocols to detailed design
Pages 19 - 37
Abstract
The interaction between agents is a key aspect of multi-agent systems. AUML sequence diagrams are commonly used to specify these interactions between agents in terms of interaction protocols. Whilst most of the popular agent oriented software engineering methodologies such as Prometheus, Tropos, O-MaSE, INGENIAS and GAIA support AUML protocol specifications in the design, the supportive tools do not provide any mechanisms for ensuring that the detailed design, and consequently the implementations, faithfully follow these protocols. In this paper, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that follow the BDI model of agents. We empirically show that the manual translation of protocols to the detailed design even for a simple AUML protocol can be a tedious and error-prone task for even relatively experienced users. The evaluation shows that our automated approach address these issues to a large extent.
References
[1]
Arcos, J., Esteva, M., Noriega, P., Rodríguez-Aguilar, J., Sierra, C.: An integrated development environment for electronic institutions. In: Software Agent-Based Applications, Platforms and Development Kits, pp. 121-142 (2005).
[2]
Bergenti, F., Poggi, A.: Exploiting UML in the design of multi-agent systems. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 106-113. Springer, Heidelberg (2000).
[3]
Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent oriented software development methodology. Autonomous Agents and Multi-Agent Saytems 8(3), 203-236 (2004).
[4]
Cernuzzi, L., Zambonelli, F.: Experiencing AUML in the GAIA methodology. In: Proceedings of the 6th ICEIS, pp. 283-288. Citeseer (2004).
[5]
Cernuzzi, L., Zambonelli, F.: GAIA4e: A tool supporting the design of mas using gaia. In: ICEIS (4), pp. 82-88 (2009).
[6]
DeLoach, S., Oyenan, W., Garcia-Ojeda, J., Valenzuela, J.: O-MaSE: A customizable approach to developing multiagent development processes (2007).
[7]
DeLoach, S., Padgham, L., Perini, A., Susi, A.: Using three AOSE toolkits to develop a sample design. International Journal of Agent-Oriented Software Engineering 3(4), 416-476 (2009).
[8]
Garcia-Ojeda, J., DeLoach, S., et al.: agentTool III: from process definition to code generation. In: Proceedings of the 8th International Conference on Autonomous Agents and Multi-Agent Saytems, vol. 2, pp. 1393-1394. International Foundation for Autonomous Agents and Multi-Agent Saytems (2009).
[9]
Garcia-Ojeda, J.C., DeLoach, S.A., Robby, Oyenan, W.H., Valenzuela, J.: O-maSE: A customizable approach to developing multiagent development processes. In: Luck, M., Padgham, L. (eds.) Agent-Oriented Software Engineering VIII. LNCS, vol. 4951, pp. 1-15. Springer, Heidelberg (2008).
[10]
Gomez-Sanz, J., Fuentes, R., Pavón, J., García-Magariño, I.: INGENIAS development kit: a visual multi-agent system development environment. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multi-Agent Saytems: Demo Papers, pp. 1675-1676. International Foundation for Autonomous Agents and Multi-Agent Saytems (2008).
[11]
Gómez-Sanz, J.J., Pavón, J.: Implementing multi-agent systems organizations with INGENIAS. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) PROMAS 2005. LNCS (LNAI), vol. 3862, pp. 236-251. Springer, Heidelberg (2006).
[12]
Gorodetsky, V., Karsaev, O., Samoylov, V., Konushy, V.: Support for analysis, design, and implementation stages with MASDK. In: Luck, M., Gomez-Sanz, J.J. (eds.) AOSE 2008. LNCS, vol. 5386, pp. 272-287. Springer, Heidelberg (2009).
[13]
Huget, M.-P., Odell, J.: Representing agent interaction protocols with agent UML. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 16-30. Springer, Heidelberg (2005).
[14]
Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A.: Tool-supported development with tropos: The conference management system case study. In: Luck, M., Padgham, L. (eds.) AOSE 2007. LNCS, vol. 4951, pp. 182-196. Springer, Heidelberg (2008).
[15]
Odell, J.J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 121-140. Springer, Heidelberg (2001).
[16]
Padgham, L., Thangarajah, J., Winikoff, M.: Prometheus design tool. In: Proceedings of the 23rd AAAI Conference on AI, pp. 1882-1883 (2008).
[17]
Padgham, L., Winikoff, M.: Developing intelligent agent systems: a practical guide, vol. 1. Wiley (2004).
[18]
Pavón, J., Gómez-Sanz, J.J.: Agent oriented software engineering with INGENIAS. In: Mařík, V., Müller, J.P., Pechoucek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol. 2691, pp. 394-403. Springer, Heidelberg (2003).
[19]
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From stakeholder intentions to software agent implementations. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 465-479. Springer, Heidelberg (2006).
[20]
Pechoucek, M., Mařík, V.: Industrial deployment of multi-agent technologies: Review and selectedcase studies. Journal of Autonomous Agents and Multi-Agent Systems 17, 397-431 (2008).
[21]
Rao, A., Georgeff, M., et al.: BDI agents: From theory to practice. In: Proceedings of the First International Conference on Multi-Agent Systems (95), San Francisco, pp. 312-319 (1995).
[22]
Wellman, M.P., Greenwald, A., Stone, P.: Autonomous Bidding Agents: Strategies and Lessons from the Trading Agent Competition. MIT Press (2007).
[23]
Winikoff, M.: JACK intelligent agents: An industrial strength platform. In: Multi-Agent Programming, pp. 175-193 (2005).
[24]
Winikoff, M.: Towards making agent UML practical: a textual notation and a tool. In: Fifth International Conference on Quality Software, pp. 401-406 (2005).
[25]
Wooldridge, M., Jennings, N., Kinny, D.: The GAIA methodology for agent oriented analysis and design. Autonomous Agents and Multi-Agent Saytems 3(3), 285-312 (2000).
Index Terms
- Propagating AUML protocols to detailed design
Recommendations
AUML protocols: from specification to detailed design
AAMAS '13: Proceedings of the 2013 international conference on Autonomous agents and multi-agent systemsIn this work, we show how AUML protocol specifications in the Prometheus methodology can be automatically propagated to the detailed design of the methodology by creating appropriate artefacts. The approach is general to all design methodologies that ...
Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B
Interactive Systems. Design, Specification, and VerificationIn this paper, we present a specification and verification technique for interaction protocols in multi-agent systems using a combination of Agent Unified Modeling Language (AUML) and the Event B method. The objective is to improve the semi-formal ...
AUML protocols and code generation in the Prometheus design tool
AAMAS '07: Proceedings of the 6th international joint conference on Autonomous agents and multiagent systemsPrometheus is an agent-oriented software engineering methodology. The Prometheus Design Tool (PDT) is a software tool that supports a designer who is using the Prometheus methodology. PDT has recently been extended with two significant new features: ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
May 2013
390 pages
ISBN:9783642453427
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 06 May 2013
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 29 Nov 2024
Other Metrics
Citations
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in