This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring layer of security MAS. capable controlling events during execution system without needing specific implementation in behaviour each agent recognise events. MAS have been used context hybrid intelligence. use requires communication between software agents a...

This paper presents the Agent pattern, a design pattern useful to develop dynamic and distributed applications. The Agent pattern provides a clean and easy way to develop agent-based applications, mainly in open and large-scale distributed environments such as the Internet and application areas such as Electronic Commerce. The Agent pattern encapsulates a business specific class (a specializati...

In open multi-agent systems, agents are mobile and may leave or enter the system. This dynamicity results in two closely related agent communication problems, namely, efficient message passing and service agent discovery. This paper describes how these problems are addressed in the Actor Architecture (AA). Agents in AA obey the operational semantics of actors, and the architecture is designed t...

One of the key arguments for mobile agent systems is the flexible usage of groups of agents. However, none of the existing mobile agent systems supports agent groups. In this paper we introduce our model of agent groups in mobile agent environments. Various entities of an agent group are consecutively identified and their roles within an electronic market scenario thoroughly pictured. We argue ...