Abstract
It is widely accepted that role-based modelling is quite adequate in the context of multi-agent systems (MAS) modelling techniques. Unfortunately, very little work has been reported on how to describe the relationships between several role models. Furthermore, many authors agree on that protocols need to be encapsulated into high-level abstractions. The synthesis of role models is an operation presented in the OORAM methodology that allows us to build new role models from others in order to represent the interrelations they have. To the best of our knowledge this operation has to be performed manually at protocol level and works with protocols expressed by means of messages. In this paper, we present two algorithms to extract the protocol of a role from the protocol of a role model and vice versa that automate the synthesis or role models at the protocol level. Furthermore, in order to deal with protocol descriptions in a top down approach both operations work with protocols expressed by means of an abstraction call multi-role interaction (mRI).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Andersen, E.: Conceptual Modeling of Objects: A Role Modeling Approach. PhD thesis, University of Oslo (1997)
Andersen, E.P., Reenskaug, T.: System design by composing structures of interacting objects. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 133–152. Springer, Heidelberg (1992)
Bauer, B., Muller, J., Odell, J.: Agent uml: A formalism for specifying multiagent interaction. In: Wooldridge, M., Ciancarini, P. (eds.) Proceedings of 22nd International Conference on Software Engineering (ISCE), Berlin. LNCS, pp. 91–103. Springer, Heidelberg (2001)
Booch, G.: Object-Oriented Design with Applications. Benjamin/Cummings, Redwood City (1990)
Booch, G.: Object–Oriented Analysis and Design with Applications, 2nd edn. Addison-Wesley, Reading (1994)
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. In: Wooldridge, M.J., Weiss, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 101–108. Springer, Heidelberg (2002)
de Champeaux, D.: Object-oriented analysis and top-down software development. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 360–376. Springer, Heidelberg (1991)
Coad, P., Yourdon, E.: Object-Oriented Analysis. Computing Series. Yourdon Press, Englewood Cliffs (1990)
Corbett, J.C.: Evaluating deadlock detection methods for concurrent software. IEEE Transactions on Software Engineering 22(3), 161–180 (1996)
Cruz, J.C.: OpenCoLaS a coordination framework for CoLaS dialects. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, p. 133. Springer, Heidelberg (2002)
Denning, D.: Information warfare and security. Addison-Wesley, Reading (1999), ACM order number 704982
Depke, R., Heckel, R., Kuster, J.M.: Improving the agent-oriented modeling process by roles. In: Müller, J.P., Andre, E., Sen, S., Frasson, C. (eds.) Proceedings of the Fifth International Conference on Autonomous Agents, Montreal, Canada, pp. 640–647. ACM Press, New York (2001)
D’Souza, D.F., Wills, A.C.: Objects, Components, and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1999)
Fogel, L.J., Owens, A.J., Walsh, M.J.: Artificial Intelligence through Simulated Evolution. John Wiley & Sons, New York (1966)
Francez, N., Forman, I.: Interacting processes: A multiparty approach to coordinated distributed programming. Addison-Wesley, Reading (1996)
Gordon, D.F.: APT agents: Agents that are adaptive, predictable, and timely. In: Rash, J.L., Rouff, C.A., Truszkowski, W., Gordon, D.F., Hinchey, M.G. (eds.) FAABS 2000. LNCS (LNAI), vol. 1871, pp. 278–293. Springer, Heidelberg (2001)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Jennings, N.R.: Agent-Oriented Software Engineering. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS, vol. 1647, pp. 1–7. Springer, Heidelberg (1999)
Kendall, E.: Agent software engineering with role modelling. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 163–170. Springer, Heidelberg (2001)
Kendall, E., Palanivelan, U., Kalikivayi, S.: Capturing and structuring goals: Analysis patterns. In: Proceedings of the 3rd European Conference on Pattern Languages of Programming and Computing, Germany (July 1998)
Kendall, E.A.: Role modeling for agent system analysis, design, and implementation. IEEE Concurrency 8(2), 34–41 (2000)
Koning, J., Huget, M., Wei, J., Wang, X.: Extended modeling languages for interaction protocol design. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, p. 68. Springer, Heidelberg (2002)
Odell, J., Parunak, H.V.D., 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)
Papadopoulos, G., Arbab, F.: Coordination models and languages. In: Advances in Computers, vol. 46. Academic Press, London (1998)
Peña, J., Corchuelo, R., Arjona, J.L.: A top down approach for mas protocol descriptions. In: ACM Symposium on Applied Computing SAC 2003, Melbourne, Florida, USA. ACM Press, New York (2003) (page to be published)
Pérez, J.A., Corchuelo, R., Ruiz, D., Toro, M.: An order-based, distributed algorithm for implementing multiparty interactions. In: Arbab, F., Talcott, C. (eds.) COORDINATION 2002. LNCS, vol. 2315, pp. 250–257. Springer, Heidelberg (2002)
Reenskaug, T.: Working with Objects: The OOram Software Engineering Method. Manning Publications (1996)
Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design. Prentice Hall, Schenectady (1991)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Object Technology Series. Addison Wesley Longman, Reading (1999)
Shih, C., Stankovic, J.A.: Survey of deadlock detection in distributed concurrent programming environments and its application to real-time systems. Technical Report UM-CS-1990-069 (1990)
Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: Proceedings 1st Annual IEEE Symp. on Logic in Computer Science, LICS 1986, Cambridge, MA, USA, pp. 332–344. IEEE Computer Society Press, Washington (1986)
Wirfs-Brock, R., Wilkerson, B.: Designing Object-Oriented Software. Prentice-Hall, Englewood Cliffs (1990)
Wooldridge, M., Jennings, N.R., Kinny, D.: The gaia methodology for agentoriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3), 285–312 (2000)
Zamboneli, F., Jennings, N.R., Wooldridge, M.: Organizational abstraction for the analysis and design of multi-agent system. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 235–252. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Peña, J., Corchuelo, R., Arjona, J.L. (2003). Towards Interaction Protocol Operations for Large Multi-agent Systems. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive