Abstract
This paper proposes a method to represent agent Unified Modelling Language (AUML) in logic form using F-logic that provides deductive capability and uniform knowledge integration base. The AUML is used to differentiate relevant interaction more precisely at the analysis phase of developing a multiagent system. However, the AUML lacks for foundation and logic semantics. Thus we aim at constructing sufficient formality to facilitate formal analysis and to explore the behaviour and message route of the AUML. The AUML is transformed into F-logic language first by transformation rules. Secondly, a logic interpretation of this agent structure is presented. The transformation processes and results are illustrated using an example of E-commerce system. Finally, the significance of this approach is discussed and summarized.
Chapter PDF
Similar content being viewed by others
References
Loke, S.W., Rakotonirainy, A., Zaslavsky, A.: An enterprise viewpoint of wireless virtual communities and the associated uses of software agents. In: Rahman, S.M. (ed.) Internet Commerce and Software Agents: Cases, Technologies and Opportunities, pp. 265–287. Idea Group Publishing, Hersey, PA, USA (2001)
FIPA. FIPA Agent Management Specification. Foundation for Intelligent Physical Agents (2002), http://www.fipa.org
Alberti, M., Daolio, D., Torroni, P., Gavanelli, M., Lamma, E., Mello, P.: Specification and verification of agent interaction protocols in a logic-based system. In: Proceedings of the 2004 ACM symposium on Applied computing, pp. 72–78 (2004)
Mineau, G.W., Missaoui, R., Godinx, R.: Conceptual modeling for data and knowledge management. Data & Knowledge Engineering 33, 137–168 (2000)
Battista, G.D., Lenzerini, M.: Deductive entity relationship modeling. IEEE Transactions on Knowledge and Data Engineering 5, 439–450 (1993)
Bourdeau, R.H., Chen, B.H.C.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering 21, 799–821 (1995)
Lee, J.H.M., Pun, P.K.C.: Frame logic integration: A multi paradigm design methodology and a programming language. Computer Languages 23, 25–42 (1997)
Hu, Y.-S., Modarres, M.: Time-dependent system knowledge representation based on dynamic master logic diagrams. Control Engineering Practice 4, 89–98 (1996)
Guttag, J.V., Horning, J.J.: Larch: Languages and tools for formal specification. Springer, Heidelberg (1993)
Bauer, B., Muller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Cuabcarubu, P., Wooldridge, M. (eds.) Agent-Oriented Software Engineering, pp. 91–103. Springer, Heidelberg (2001)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. Journal of the Association for Computing Machinery 42, 741–843 (1995)
FLORID Homepage (2006), http://dbis.informatik.uni-freiburg.de/
Ludäscher, B., Himmeröder, R., Lausen, G., W.M., Schlepphorst, C.: Managing semistructured data with florid: a deductive object-oriented perspective. Information systems 23, 589–613 (1998)
Fensel, D.: Graphical and formal knowledge specification with KARL. In: Proceedings of the the International Conference on Expert Systems for Development, pp. 198–203 (1994)
Fensel, D., Angele, J., Studer, R.: The Knowledge acquisition and representation language, KARL. IEEE Transactions on Knowledge and Data Engineering 10, 527–550 (1998)
Yang, G., Kifer, M.: FLORA: Implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1078–1093. Springer, Heidelberg (2000)
Paurobally, S., Chachkov, S., Jennings, N.R.: Developing agent interaction protocols using graphical and logical methodologies. In: Dastani, M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 149–168. Springer, Heidelberg (2004)
Rudolph, E., Grabowski, J., Graubmann, P.: Tutorial on message sequence charts (MSC). In: Proceedings of the FORTE/PSTV 1996 Conference (1996)
Ling, S., Loke, S.W.: Advanced Petri Nets for modelling mobile agent enabled interorganizational workflows. In: Proceedings of the Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, pp. 245–252 (2002)
Ling, S., Loke, S.W.: Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach. In: Camp, O. (ed.) Enterprise Information Systems V, pp. 279–285. Kluwer Academic, Netherlands (2004)
Pokorny, L.R., Ramakrishnan, C.R.: Modeling and verification of distributed autonomous agents using logic programming. In: Leite, J.A., Omicini, A., Torroni, P., Yolum, p. (eds.) DALT 2004. LNCS (LNAI), vol. 3476, pp. 148–165. Springer, Heidelberg (2005)
Harel, D.: Statecharts: a visual formalism for complex systems. Science Computer Program 8, 231–274 (1987)
Paurobally, S., Cunningham, R., Jennings, N.R.: Developing agent interaction protocols using graphical and logical methodologies. In: Workshop on Programming MAS, AAMAS (2003)
Peterson, J.L.: Petri-Net Theory and Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Bucci, G., Campanai, M., Nesi, P.: Tools for Specifying Real-Time Systems. Real-Time Systems 8, 117–172 (1995)
Wiederhold, G.: Mediators in the architecture of future information systems. Computer 25, 38–49 (1992)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lai, H.F. (2007). Modelling Protocols for Multiagent Interaction by F-logic. In: Kuo, TW., Sha, E., Guo, M., Yang, L.T., Shao, Z. (eds) Embedded and Ubiquitous Computing. EUC 2007. Lecture Notes in Computer Science, vol 4808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77092-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-77092-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77091-6
Online ISBN: 978-3-540-77092-3
eBook Packages: Computer ScienceComputer Science (R0)