Programming mobile intelligent agents: An operational semantics

Web Intelligence and Agent Systems

Volumn 5, Issue 1, 2007, Pages 47-67

  Suna, A ^a   El Fallah Seghrouchni, A ^a  

^a SORBONNE UNIVERSITÉ   (France)

Author keywords

Agent oriented programming; Mobile agents; Multi agent systems; Operational semantics

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MOBILE AGENTS; MULTI AGENT SYSTEMS; SEMANTICS;

AGENT BASED PROGRAMS; AGENT ORIENTED PROGRAMMING; OPERATIONAL SEMANTICS; REDUCTION RULES;

INTELLIGENT AGENTS;

EID: 34247351580     PISSN: 15701263     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (38)

1. R. Bordini, M. Fisher, W. Visser and M. Wooldridge, Verifiable multi-agent programs, in: Proceedings of the First International Workshop on Programming Multi-Agent Systems: Languages and Tools (ProMAS 2003), M. Dastani, J. Dix and A. El Fallah Seghrouchni, eds, number 3067 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 2003.
2. L. Cardelli, Obliq, A language with distributed scope. Technical Report SRC Research Report 122, Digital Equipment Corporation, 1994.
3. L. Cardelli, Abstractions for mobile computation, in: Secure Internet Programming, J. Vitek and C. Jensen, eds, Security issues for mobile and distributed objects, number 1603 in Lecture Notes in Computer Science, 1999, pp. 51currency signC94.
4. L. Cardelli and A. Gordon, Mobile ambients, in: Foundations of Software Science and Computational Structures, M. Nivat, ed., number 1378 in Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 140-155.
5. K. Clark, N. Skarmeas and F. McCabe, Agents as clonable objects with knowledge base state, in: Proceedings of the Second International Conference on Multi-Agent Systems (ICMAS'96), V. Lesser, ed., AAAI Press, 1996.
6. M. Dastani, B. van Riemsdijk, F. Dignum and J.-J.C. Meyer, A programming language for cognitive agents: Goal directed 3APL, in: Proceedings of the First International Workshop on Programming Multi-Agent Systems: Languages and Tools (ProMAS 2003), M. Dastani, J. Dix and A. El Fallah Seghrouchni, eds, number 3067 in Lecture Notes in Artificial Intelligence, 2003, pp. 111-130.
7. W.H.E. Davies and P. Edwards, Agent-K: An integration of AOP and KQML, in: Proceedings of the Third International Conference on Information and Knowledge Management CIKM'94), Y. Labrou and T. Finin, eds, ACM Press, 1994.
8. R. de Nicola, G. Ferrari and R. Pugliese, Klaim: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering 24(5) (1998), 315-330.
9. M. d'Inverno, D. Kinny, M. Luck and M. Wooldridge, A formal specification of dMARS, in: Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures, and Languages (ATAL'97), M.P. Singh, A. Rao and M. Wooldridge, eds, number 1365 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1997, pp. 155-176.
10. A. El Fallah Seghrouchni and A. Suna, Claim: A computational language for autonomous, intelligent and mobile agents, in: Proceedings of the First International Workshop on Programming Multi-Agent Systems: Languages and Tools (ProMAS 2003), M. Dastani, J. Dix and A. El Fallah Seghrouchni, eds, number 3067 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 2003, pp.90-110
11. A. El Fallah Seghrouchni and A. Suna, An unified framework for programming autonomous, intelligent and mobile agents, in: Multi-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, V. Marik, J. Müller and M. Pechoucek, eds, CEEMAS 2003, number 2691 in Lecture Notes in Artificial Intelligence, Springer-Verlag 2003, pp. 353-362.
12. M. Hashimoto and A. Yonezawa, MobileML: A programming language for mobile computation, in: Proceedings of the 4th International Conference on Coordination Languages and Models, A. Porto and G.-C. Roman, eds, number 1906 in Lecture Notes in Computer Science, Springer-Verlag, 2000, pp. 198-215.
13. K. Hindriks, ES. deBoer, W. der Hoek and J.J. Ch.Meyer, Agent programming in 3APL, Intelligent Agents and Multi-Agent Systems 2 (1999), 357-401.
14. N. Jamali and G. Agha, CyberOrgs: A Model for Decentralized Resource Control in Multi-Agent Systems, In Proceedings of Workshop on Representations and Approaches for Time-Critical Decentralized Resource/Role/Task Allocation of AAMAS'03, 2003, pp. 198-215.
15. G. Klein, A. Suna and A. El Fallah Seghrouchni, A Methodology for Building Mobile Multi-Agent Systems, In Proceedings of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNACS'04, Timisoara, Romania, 2004.
16. F. Levi and D. Sangiori, Controlling Interference in Ambients, In Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2000, 352-364.
17. F. McCabe and K. Clark, April - Agent PRocess Interaction Language, in: Intelligent Agents: Theories, Architectures, and Languages, N. Jennings and M. Wooldridge, eds, number 890 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1995, 324-340.
18. T. Melliti, S. Haddad, A. Suna and A. El Fallah Seghrouchni, Web-MASI: Multi-Agent Systems Interoperability Using a Web Sevices Based Approach, In Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IATflOS, Compiégne, France, 2005. IEEE Press.
19. R. Milner, J. Parrow and D. Walker, A calculus of mobile processes, Information and Computation 100(1) (1992), 1-77.
20. D. Milojicic, M. Breugst, I. Busse, J. Campbell, S. Covaci, B. Friedman, K. Kosaka, D. Lange, K. Ono, M. Oshima, C. Tham, S. Virdhagriswaran and J. White, MASIF, the OMG mobile agent system interoperability facility, in: Proceedings of the Second International Workshop on Mobile Agents, K. Rothermel and F. Hohl, eds, number 1477 in Lecture Notes in Computer Science, Springer-Verlag, 1998, pp. 50-67.
21. L. Moreau and C. Queinnec, Design and semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing, In Usenix Conference on Domain-Specific Languages (DSL'97), 1997, 183-197.
22. A. Moreira and R. Bordini, An Operational Semantics for a BDIAgent-Oriented Programming Language, In Proceedings of the Workshop on Logics for Agent-Based Systems (LABS-02), 2002, 45-59.
23. J. Odell, Objects and agents compared, Journal of Object Technology 1(1) (2002), 41-53.
24. J. Parrow, An introduction to the π-calculus, in: Handbook of Process Algebra, J.A. Bergstra, A. Ponse and S.A. Smolka, eds, Elsevier, 2001, pp. 479-543.
25. G. Plotkin, A structural approach to operational semantics, Technical Report DAIMI-FN 19, Department of Computer Science, Arhaus University, 1981.
26. A. Rao, AgentSpeak(L): BDI agents speak out in a logical computable language, in: Proceedings of 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAA-MAW'96), W. Van de Velde and J. Perram, eds, number 1038 in Lecture Notes in Artificial Intel-ligence, Springer-Verlag, 1996, pp. 42-55.
27. A. Rao and M.P. Georgeff, BDI-Agents: From Theory to Practice, In Proceedings of the First International Conference on Multiagent Systems (ICMAS'95), San Francisco, CA, USA, 1995, 312-319.
28. P. Sampath, Modelling multi-agent reactive systems, in: Proceedings of the 18th International Conference on Logic Programming (ICLP '02), P. Stuckey, ed., number 2401 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 2002, p. 476.
29. Y. Shoham, Agent oriented programming, Artificial Intelligence 60 (1993), 51-92.
30. A. Suna and A. El Fallah Seghrouchni, A mobile agents platform: architecture, mobility and security elements, in: Proceedings of the Second International Workshop on Programming Multi-Agent Systems: Languages and Tools (ProMAS 2004), R.H. Bordini, M. Dastani, J. Dix and A. El Fallah Seghrouchni, eds, number 3346 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 2004, pp. 126-146.
31. A. Suna, G. Klein and A. El Fallah Seghrouchni, Using mobile agents for resource sharing. In Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IATfl04, Beijing, China, 2004. IEEE Press.
32. A. Suna, C. Lemaitre and A. El Fallah Seghrouchni, E-commerce using an agent oriented approach. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 9(25) (2005), 89-98.
33. B. van Riemsdijk, W. van der Hoek and J.-J.C. Meyer, Agent Programming in Dribble: from Beliefs to Goals using Plans, In Proceedings of the second international joint, conference on Autonomous agents and multiagent systems AA-MAS'03, Melbourne, Australia, 2003, ACM Press, 393-340.
34. J. Vitek and G. Castagna, Towards a Calculus of Secure Mobile Computations, In IEEE Workshop on Internet Programming Languages, Chicago, 1998.
35. G. Wagner, VIVA knowledge-based agent programming, Technical report, 1996.
36. D. Weerasooriya, A. Rao and K. Ramamohanarao, Design of a concurrent agent-oriented language, in: Intelligent Agents: Theories, Architectures, N. Jennings and M. Wooldridge, eds, and Languages, number 890 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1995, pp. 386-402.
37. J. White, Mobile agents, in: Software Agents, J. Bradshaw, ed., AAAI Press / MIT Press, 1997, pp. 437-472.
38. P. Wojciechowski and P. Sewell, Nomadic Pict: Language and infrastructure design for mobile agents, IEEE Concurrency 8(2) (2000).