Forthcoming articles

 


International Journal of Agent-Oriented Software Engineering

 

These articles have been peer-reviewed and accepted for publication in IJAOSE, but are pending final changes, are not yet published and may not appear here in their final order of publication until they are assigned to issues. Therefore, the content conforms to our standards but the presentation (e.g. typesetting and proof-reading) is not necessarily up to the Inderscience standard. Additionally, titles, authors, abstracts and keywords may change before publication. Articles will not be published until the final proofs are validated by their authors.

 

Forthcoming articles must be purchased for the purposes of research, teaching and private study only. These articles can be cited using the expression "in press". For example: Smith, J. (in press). Article Title. Journal Title.

 

Articles marked with this shopping trolley icon are available for purchase - click on the icon to send an email request to purchase.

 

Articles marked with this Open Access icon are freely available and openly accessible to all without any restriction except the ones stated in their respective CC licenses.

 

Register for our alerting service, which notifies you by email when new issues of IJAOSE are published online.

 

We also offer RSS feeds which provide timely updates of tables of contents, newly published articles and calls for papers.

 

International Journal of Agent-Oriented Software Engineering (7 papers in press)

 

Regular Issues

 

  • A user-centred social commitment model for location sharing applications in the family life domain   Order a copy of this article
    by Alex Kayal, Willem-Paul Brinkman, Mark Neerincx, M. Birna Van Riemsdijk 
    Abstract: Mobile location-sharing technology is used increasingly by parents to know where their children are. It is our aim to make such technology more flexible in adapting to the particular social context in which it operates. We propose to realize this by allowing users to specify norms that govern the respective social contexts, to which the application should adapt at run-time to provide tailored support. The challenge we address in this paper is the development of a normative model tailored for mobile applications that support location sharing in family life. The novelty of our work lies in the fact that we employ empirical user-centered design methods and techniques for developing the model in an iterative and "bottom-up" way. This results in two main contributions: 1) a normative model, specifically a social commitment model, for family life location sharing applications shown to be useful and usable, and 2) a demonstration of how user-centered design can be employed to develop a normative model for social applications.
    Keywords: Social media; location sharing; social commitments; normative frameworks; user values.

Special Issue on: EMAS 2016 Multiagent Systems Engineering and Applications

  • Augmenting Agent Computational Environments with Quantitative Reasoning Modules and Customizable Bridge Rules   Order a copy of this article
    by Stefania Costantini, Andrea Formisano 
    Abstract: There are many examples where large amounts of data might be potentially accessible to an agent, but the agent is constrained by the available budget since access to knowledge bases is subject to fees. Also, there are several activities that an agent might plan and perform on the web where one or more stages imply the payment of fees. For instance, consider the issue of buying resources in a cloud computing context where the objective of the agent is to obtain the best possible configuration of a certain application within given budget constraints. In this paper we consider the software-engineering problem of how to practically empower agents with the capability to perform budget-constrained reasoning in a uniform and principled way. To this aim, we enhance the ACE component-based agent architecture by means of a device for practical and computationally affordable quantitative reasoning, whose results actually determine one or more courses of agent's actions, also according to policies/preferences. We further enhance the ACE framework by making the agent-components interaction mechanism parametric with respect to the actual modules that an agent may dynamically decide to exploit. We discuss the proposed extensions on a realistic case-study.
    Keywords: Processes and methodologies for MAS development; Software architectures and design patterns for MAS; Declarative approaches to engineering agents systems.

  • Improving Flexibility and Dependability of Remote Patient Monitoring with Agent-Oriented Approaches   Order a copy of this article
    by Davide Ancona, Angelo Ferrando, Viviana Mascardi 
    Abstract: Context: Remote Patient Monitoring (RPM) enables physicians to perform diagnosis and/or treatment remotely through sensors connected via a communication network. Dependability and flexibility are recognized as two key technological requirements for RPM take off. Research question: We address the questions of how RPM systems designed and implemented as multiagent systems (MASs) can ensure flexibility and dependability, and which agent-oriented approach if any is more suitable to achieve this goal. Method: We analyzed five state-of-the-art agent-oriented approaches suitable to engineer dependable and/or flexible systems. We planned to adopt the winner approach to realize a working prototype able to show the potential of an agent- oriented approach to RPM. Results: No approach among the five dominates the others w.r.t. all the ten features that drove our analysis. In absence of a winner, we selected the approach we are more familiar with, namely parametric trace expressions. We used them to verify properties modeling existing medical guidelines and to developed a prototype where newborns suffering from hypoglycemia must be continuously monitored at home. Conclusions: Parametric trace expressions proved to be suitable for engineering flexible and dependable RPM systems. This finding can be generalized: agent- oriented approaches showing features similar to those of parametric trace expressions can serve to achieve the same goal.
    Keywords: Flexibility; Dependability; Remote Patient Monitoring; Protocol-Driven Agents; Self-adaptive Agents; Parametric Trace Expressions.

  • Protocol and Role: Abstraction Mechanisms in Agent Oriented Programming Languages   Order a copy of this article
    by Bent Bruun Kristensen 
    Abstract: The language mechanisms protocol and role are used in order to organize the interaction structures between agents in multi-agent systems. Agents are internally organized by means of roles, roles are related as protocols, and agents send messages to each other through their related roles. The comprehensive and complex interaction structures between agents are conceptualized by protocol and role, and these abstraction mechanisms are used in the description of interaction structures. The description of the interaction structures between agents becomes understandable and the development process of multi-agent systems becomes efficient and flexible. The language mechanisms are illustrated by means of a supporting application framework.
    Keywords: Multi-agent system; Abstraction mechanism; Protocol; Role; Application framework; Agent oriented programming language.

  • Automating Failure Detection in Cognitive Agent Programs   Order a copy of this article
    by Vincent Koeman, Koen Hindriks, Catholijn Jonker 
    Abstract: Debugging is notoriously difficult and time consuming but also essential for ensuring the reliability and quality of a software system. In order to reduce debugging effort and enable automated failure detection, we propose an automated testing framework for detecting failures in cognitive agent programs. Our approach is based on the assumption that modules within such programs are a natural unit for testing. We identify a minimal set of temporal operators that enable the specification of test conditions and show that the test language is sufficiently expressive for detecting all failure types of an existing failure taxonomy. We also introduce an approach for specifying test templates that supports a programmer in writing tests. Furthermore, empirical analysis of agent programs allows us to evaluate whether our approach using test templates adequately detects failures, and to determine the effort that is required to do so in both single and multi agent systems. We also discuss a concrete implementation of the proposed framework for the GOAL agent programming language that has been developed for the Eclipse IDE. With the use of this framework, evaluations have been performed based on test files and according questionnaires that were handed in by 94 novice programmers.
    Keywords: multi-agent systems; testing; verification.

  • Experimental Analysis of the Effect of Filtering Perceptions in BDI Agents   Order a copy of this article
    by Marcio Fernando Stabile Junior, Carlos Eduardo Pantoja, Jaime Simão Sichman 
    Abstract: One of the BDI paradigm's major concerns is the lack of control over the agents' perceptions. Without having any form of goal-directed perceptions, agents may be flooded by irrelevant information thus causing an unjustified increase in processing time. This issue becomes critical when one needs to develop agents to be integrated with virtual environments or simulators, or even in the case of embedded agents, as robots. In order to provide greater control on the agents' perceptions and to reduce their time response, this work proposes to incorporate a filtering perception mechanism within the Jason interpreter, aiming to eliminate irrelevant perceptions in order to reduce processing time. To this end, some types of pre-defined filters proposed in the literature have been implemented and their effect experimentally evaluated in three different simulated and one embedded agent experiments. Using a full factorial experiment design, a technique used in computer systems performance analysis, it was shown that applying perception filters can reduce up to 80\% of an agent's processing time, without significantly affecting its performance measured in terms of its utility function.
    Keywords: BDI agents; Evaluating agent systems; Perceptual filtering.

  • A Multi-Agent Platform for the Deployment of Ambient Systems   Order a copy of this article
    by Amal El Fallah - Seghrouchni, Ferdinand Piette 
    Abstract: With the explosion of the Internet of Things (IoT), various kinds of connected devices are disseminated in the user's environment. Each device produces data and tries to provide context-aware services to users. This increases the complexity of the environment and introduces the important question about the privacy of user's information. That is why a correct management of these new environments is essential. Particularly, to decide which connected devices can be used by an application in order to provide services to the users is critical. The solution we propose in this paper relies on a Multi-Agent platform for the configuration and the deployment of distributed applications in smart environments. This solution takes into consideration the heterogeneity of the devices and the dynamic of the environment and provides some methods to tackle the privacy issue. This paper presents the key points of our solution : (1) an ontology allowing the description of the environment using graphs (the available hardware entities and the applications to be deployed); (2) a distributed algorithm capable of reasoning on these descriptions to decide which hardware entities of the infrastructure have to be used to deploy a specific application; (3) a goal-directed Multi-Agent System (MAS) as a well-adapted paradigm to provide a clear separation between the applicative and the infrastructure layers.
    Keywords: Deployment; Ambient Intelligence; Internet of Things and Agents; Multi-agent system; Goal-driven agents; Privacy management.