Alexandru Suna

CLAIM: A Computational Language for Autonomous, Intelligent and Mobile Agents

This paper proposes a language called CLAIM : Computational Language for Autonomous Intelligent and Mobile agents. CLAIM allows designing Multi-Agent Systems that support both stationary and mobile agents. Agents designed thanks to CLAIM are endowed with cognitive capabilities (e.g. reasoning), are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus. The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the specifications of the MASIF standard (from OMG);i.e. agents can be distributed over several sites and can move from one to another with respect to MASIF specifications. this paper presents the main features of our language CLAIM, resumes the most significant aspects of SyMPA, shows the expressiveness of our language, and discusses the completeness of the mobility.

An unified framework for programming autonomous, intelligent and mobile agents

This paper proposes an unified framework for programming autonomous intelligent and mobile agents. This framework is composed of a language called CLAIM (Computational Language for Autonomous, Intelligent and Mobile Agents) that allows to design Multi-Agent Systems and amulti-platforms ystem(SyM PA) compliant with the standard MASIF (OMG specifications). CLAIM agents are endowed with cognitive capabilities (e.g. reasonning, planning, etc.), are able to communicate with other agents and are mobile (the agents can be distributed over several platforms and can move from one to another). The mobility primitives are inspired from the ambient calculus. This paper presents the main features of CLAIM, resumes the most significant aspects of SyMPA, highlights CLAIMs expressiveness and discusses mobility completeness.

A mobile agents platform: architecture, mobility and security elements

This paper presents a mobile agents platform called SyMPA, compliant with the specifications of the MASIF standard from the OMG, that supports both stationary and mobile agents implemented using the high-level agent-oriented programming language CLAIM. Agents designed thanks to CLAIM are endowed with cognitive capabilities, are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus. The paper is focused on SyMPAs architecture, mobility, implementation and security elements.

Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents

The multi-agent systems (MAS) paradigm is one of the most important and promising approaches to occur in computer science during the 90s. However, for an effective use of the agent technology in real life applications, specific programming languages are required. CLAIM is a high-level agent-oriented programming language that combines cognitive aspects such as knowledge, goals and capabilities and computational elements such as communication, mobility and concurrence in order to reduce the gap between the design and the implementation phase. CLAIM has an operational semantics that is a first step towards the verification of the built MAS. The language is supported by a distributed platform called SyMPA, implemented in Java, compliant with the specifications of the MASIF standard from the OMG, that offers all the necessary mechanisms for a secure execution of a distributed MAS. CLAIM and SyMPA have been used for developing several applications that proved the expressiveness of the language and the robustness of the platform.

Programming mobile intelligent agents: an operational semantics

This work presents the operational semantics of an agent oriented programming language called CLAIM. CLAIM allows the design of multiagent systems that support both stationary and mobile agents. Agents designed using CLAIM are endowed with cognitive capabilities, are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus. The operational semantics reduction rules of CLAIM are illustrated on a practical example.

Himalaya framework: hierarchical intelligent mobile agents for building large-scale and adaptive systems based on ambients

This paper presents a framework called Himalaya that allows to design mobile multi-agent systems (MMAS) deployed on several computers. An MMAS is a set of connected hierarchies of intelligent agents. Every agent (i.e. a node) contains cognitive elements (e.g. knowledge, goals, capabilities), processes and sub-agents. An agent is also mobile, he can move inside his hierarchy or to a remote one. In addition, an agent can dynamically acquire (kind of inheritance) intelligent and computational components from his sub-agents. The mobility and the inheritance as defined in our framework favor a dynamic adaptability and reconfiguring of systems in order to face the increasing complexity of distributed and cooperative applications.

A programming language for autonomous and mobile agents

This paper proposes a language called CLAIM for computational language for autonomous intelligent and mobile agents. CLAIM allows to design multi-agent systems that support both stationary and mobile agents. Agents designed thanks to CLAIM are endowed with cognitive capabilities (e.g. reasoning), are able to communicate with other agents (send and receive several kinds of messages) and are mobile. The primitives of mobility are inspired from the ambient calculus. The CLAIM language is supported by a multi-platform system (SyMPA) compliant with the standard MASIF (OMG specifications); i.e. agents can be distributed over several sites and can move from one to another with respect to MASIF specifications. This paper presents the main features of our language CLAIM and an example to illustrate its applicability.

Mobile Multi-Agent Systems: A Programming Language and Its Semantics

This paper proposes a language called CLAIM and its operational semantics. The agents implemented in CLAIM are endowed with cognitive capabilities, are able to communicate with other agents and are mobile. The primitives of mobility are inspired from the ambient calculus.

Adaptive mobile multi-agent systems

This paper presents a framework called Himalaya enabling to design and implement adaptive and distributed mobile multi-agent systems (MMAS). A distributed MMAS in our framework is a set of hierarchies of intelligent and mobile agents connected with respect to a topology. An MMAS is adaptive if its topology is flexible (agents are created or removed, the links between agents change in a dynamic manner) and if the internal structure of the agents may dynamically change, by acquiring new knowledge or capabilities. The features of Himalaya favor a dynamic adaptability and reconfiguring of systems.