Abstract
This paper explores some ideas about the implementation of state controlled execution for a language centered on agent interaction protocols. Such an approach could be useful because there an increasingly strong interest on the notion of role in the multiagent system domain. The strong recurrence role and the almos spontaneous appearance of interactio protocols in most practical applications of MAS, and the strong similarities this situation has with the pre-existing notion of class on the object oriented sense, suggest the high relevance of roles and the need of having adequate notational and programming artifacts to represent them.
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
Courtiat, J.P., Saidouni, D.E.: A case study on protocol design. In: Lotosphere: Software Development with LOTOS, pp. 201–217. Kluwer Academic Publishers, Dordrecht (1995)
Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering 23, 279–295 (1997)
Tillman, M.A., Yen, D.C.C.: SNA and OSI: Three strategies for interconnection. Computing Reviews 31 (1990)
Birrell, A.D., Nelson, B.J.: Implementing remote procedure calls. In: Proceedings of the ACM Symposium on Operating System Principles, Bretton Woods, NH, Association for Computing Machinery (1983)
Sankar, S.: Introducing formal methods to software engineers through OMG’s CORBA environment and interface definition language. In: Nivat, M., Wirsing, M. (eds.) AMAST 1996. LNCS, vol. 1101, p. 52. Springer, Heidelberg (1996)
Microsystems, S.: Jini Architecture Specification, 901 San Antonio Road, Palo Alto, CA 94303, USA (2001)
Odell, J., Van Dyke Parunak, H., Bauer, B.: Extending UML for agents. In: Wagner, G., Lesperance, Y., Yu, E. (eds.) Proceedings of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, Austin, Texas, ICue Publishing (2000)
Odell, J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in uml. In: Ciancarini, P., Wooldridge, M. (eds.) Proceedings of First International Workshop on Agent-Oriented Software Engineering, Limerick, Ireland, Springer, Heidelberg (2000)
Bauer, B., Muller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, W. (ed.) International journal of software engineering and knowledge engineering, vol. 11, pp. 91–103. Springer, Berlin (2001)
Byun, Y., Sanders, B.A., Keum, C.S.: Design patterns of communicating extended finite state machines in sdl. In: 8th Conference on Pattern Languages of Programs, Allerton House, University of Illinois, Monticello, Illinois, The Hillside Group, Inc. (2001); This paper gives a comfortable definition for extended finite state machine, it gives too some interesting ideas about the utilization of design paterns for protocol reutilization
International Organization for Standardization Geneva: Information processing systems — Open systems interconnection — Estelle — A formal description technique based on an extended state transition model (1997) 9074
Waite, W.M., Goos, G.: Compiler Construction. Springer, Berlin (1984)
Thees, J.: Protocol implementation with estelle – from prototypes to efficient implementations. In: Budkowski, S., Fischer, S., Gotzhein, R. (eds.) Int’l. Workshop on the Formal Description Technique Estelle (Estelle 1998), Evry, France (1998)
Koning, J.L.: Automata for interaction protocols in multiagent systems. In: Kawamura, K. (ed.) IEEE International Conference on Systems, Man, and Cybernetics, Nashville, Tennessee (2000)
Lind, J.: Specifying agent interaction protocols with standard uml (2001)
Kendall, E.A., Malkoun, M.T.: Design patterns for the development of multiagents systems. In: Dickson, L., Zhang, C. (eds.) DAI 1996. LNCS (LNAI), vol. 1286, pp. 17–32. Springer, Heidelberg (1997)
Koning, J.L., Huget, M.P., 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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hernandez, I.R., Koning, JL. (2004). State Controlled Execution for Agent-Object Hybrid Languages. In: Ramos, F.F., Unger, H., Larios, V. (eds) Advanced Distributed Systems. ISSADS 2004. Lecture Notes in Computer Science, vol 3061. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25958-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-25958-9_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22172-2
Online ISBN: 978-3-540-25958-9
eBook Packages: Springer Book Archive