In this work, we propose a novel probabilistic modeling language PML-MAS to capture the stochastic characteristics of multi-agent systems (MASs). Moreover, we design a model checking framework for MAS, which is highly extensible. It provides powerful modeling editor, interactive simulator and automatic verifier for MASs. In addition, it can support various MAS model languages via extracting the...

Agent technology is critical in providing solutions to grid computing, including resource selection. Traditionally, agent deliberation offers a deductive process whose deliberation cost is very high and also difficult to measure. We consider the use of Multi-Agent Systems (MAS) for grid selection. Within this domain timing is an important index. Once the client applies for some service, the MAS...

In this paper we present the dynamic aspects of multi-agent systems (MASs) based on the definition of their elements and relationships as proposed in the TAO metamodel. TAO is a conceptual framework based on agent and object abstractions that elicits an ontology connecting distinct abstractions such as objects, agents, organizations, roles and environments, and their relationships. The dynamic ...

Agent oriented applications and agent-based systems are increasingly demanding security guarantees that concern confidentiality, integrity, availability, accounting and non-repudiation in order to be deployed in business applications such as e-commerce, e-finance that include both B2B and B2C transactions. This paper considers the main challenges concerning security that need to be overcome for...

Current business trends, policy markets, production requirements, etc., have created the need for integrating pre-existing Multi Agent Systems (MAS). In the agent-specialized literature, we have not found agent architectures neither methodologies that allow us to carry out recursive and dynamic analysis, design, and implementation of MASs. Several difficult challenges for automated systems can ...

This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is based on design principles that are derived from characteristics of MAS and concept of software architecture which helps to design reusable and wellstructured multi-agent architecture. The extension allows one to use o...

Multi-agent systems (MASs) provide powerful models for representing real-world applications with an appropriate degree of complexity and dynamism. Several industrial experiences have already shown that the use of MAS offers advantages in many different areas such as manufacturing processes, e-Commerce, network management, etc. As MASs in such contexts need to be tested before their deployment a...

Advanced approaches to the construction of software systems can present difficulties to learners. This is true for multi-agent systems (MAS) which exhibit concurrency, non-determinacy of structure and composition and sometimes emergent behavior characteristics. Additional barriers exist for learners in MAS because mainstream MAS technology is young and design methodologies are still evolving. T...

This paper presents a description of the environments of individualized learning (Based on the Intelligent Tutoring Systems, ITS), the Computer Supported Collaborative Learning (CSCL), Multi-Agent Systems (MAS) and the artificial intelligence techniques called: Instructional Planning (IP) and Case-Based Reasoning (CBR). Finally ALLEGRO is presented, a MAS environment of support to the teaching/...

This technical report addresses a particular approach to modeling and analysis of the behavior of large-scale multi-agent systems. A broad variety of multi-agent systems are modeled as appropriate variants of cellular and network automata. Several fundamental properties of the collective dynamics of those cellular and network automata are then formally analyzed. Various loosely coupled large-sc...