Abstract
Organization of mobile agents into a group has appeared as a new paradigm for dynamic deployment of composite services. However, it has not been discussed how multiple mobile agents cooperate with each other, handling conflicts in their requirements. In response to this problem, this study proposes a model for cooperative mobility based on the notion of agreements. Agent behavior defined in the proposed model involves agreement establishment and enforcement for cooperative mobility. Such behavior can be customized only by specifying requirements/constraints of each agent, eliminating the necessity to write down the whole behavior to handle agreements. The model is described in a formal way, using Event Calculus, and it is proved the model leads to no occurrence of defined inconsistency. The model has been implemented on an existing agent framework, Freedia, combined with its dynamic partner management mechanism.
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.
References
Milojicic, D.: Mobile agent applications. IEEE Concurrency 7(3), 7–13 (1999)
Chess, D., Harrison, C., Kershenbaum, A.: Mobile agents: Are they a good idea? Technical Report RC 19887, IBM TJ Watson Research Center (1994)
Suna, A., Fallah-Seghrouchni, A.E.: A mobile agents platform; architecture, mobility and security elements. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3346, Springer, Heidelberg (2005)
Satoh, I.: Mobilespaces: A framework for building adaptive distributed applications using a hierarchical mobile agent system. In: ICDCS 2000. The 20th International Conference on Distributed Computing Systems, pp. 161–168 (April 2000)
Satoh, I.: Organization and mobility in mobile agent computing. In: Bordini, R.H., Dastani, M., Dix, J., Seghrouchni, A.E.F. (eds.) Programming Multi-Agent Systems. LNCS (LNAI), vol. 3862, pp. 187–205. Springer, Heidelberg (2006)
Satoh, I.: Mobile agent-based compound documents. In: ACM Symposium on Document Engineering 2001, pp. 76–84. ACM Press, New York (2001)
Ishikawa, F., Yoshioka, N., Honiden, S.: Smartive: Agreement-based mobile composite agents for multimedia services. In: IAWTIC 2006. International Conference on Intelligent Agents, Web Technologies and Internet Commerce (November 2006)
Smartive project: Smartive.jp. (February 2007 (Last Access)), http://smartive.jp/eng/index.htm
Satoh, I.: Bio-inspired deployment of distributed applications. In: Barley, M.W., Kasabov, N. (eds.) PRIMA 2004. LNCS (LNAI), vol. 3371, pp. 243–258. Springer, Heidelberg (2005)
Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley and Sons, England (2005)
Forum, G.G.: Web services agreement specification (ws-agreement) (September 2004), www.gridforum.org/Meetings/GGF11/Documents/draft-ggf-graap-agreement.pdf
Jin, L.j., Machiraju, V., Sahai, A.: Analysis on service level agreement of web services. Technical Report HPL-2002-180, HP Labs (July 2002)
Ishikawa, F., Yoshioka, N., Honiden, S.: Policy-based runtime partner management in process-based services. In: ICWS 2007. 2007 IEEE International Conference on Web Services (2007)
Bellavista, P., Corradi, A., Stefanelli, C.: Mobile agent middleware for mobile computing. Computer 34(3), 73–81 (2001)
Shanahan, M.: The event calculus explained. Artificial Intelligence Today, 409–430 (1999)
Bandara, A.K., Lupu, E.C., Russo, A.: Using event calculus to formalise policy specification and analysis. In: 4th IEEE international workshop on policies for distributed systems and networks, pp. 26–39 (2003)
Thatte, S., et al.: Business process execution language for web services, version 1.1 (May 2003), http://www.ibm.com/developerworks/library/specification/ws-bpel/
Haas, H.: Web services (June 2004) (Access: May 2005), http://www.w3.org/2002/ws/
Farrell, A.D.H., Sergot, M.J., Salle, M., Bartolini, C.: Performance monitoring of service-level agreements for utility computing using the event calculus. Technical report, HP Labs (November 2004)
Paschke, A., Dietrich, J., Kuhla, K.: A logic based sla management framework. In: ISWC Semantic Web and Policy Workshop (November 2005)
Knottenbelt, J., Clark, K.: Contract-related agents. In: Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI), pp. 226–242 (June 2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ishikawa, F., Yoshioka, N., Honiden, S. (2007). Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. OTM 2007. Lecture Notes in Computer Science, vol 4803. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76848-7_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-76848-7_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76846-3
Online ISBN: 978-3-540-76848-7
eBook Packages: Computer ScienceComputer Science (R0)