An Agent-Oriented Methodology for the Development of Secure Agent-Based Systems

An agent –based distributed system that assists health and social care professional to provide health and social care in a more efficient way than current systems. Applying agent technology, in the development of health and social care information systems, allows to provide functionalities such as reduction of professionals’ workload and efficiency of care procedures, that current web-based and database systems fail to provide. Although current health and social care information systems provide advantages over paper-based approaches, they fail to adequate provide the main reason of using computer systems in the health and social care setting, which is to reduce the workload and make procedures easier and quicker for health and social care professionals and thus improve the quality of care for the patients

A Security-Aware Metamodel for Multi-Agent Systems (MAS)

This paper adopts a model-based security (MBS) approach to identify security requirements during the early stages of multi-agent system development. Our adopted MBS approach is underpinned by a metamodel independent of any specific methodology. It allows for security considerations to be embedded within any situated agent methodology which then prescribes security considerations within its work products. Using a standard model-driven engineering (MDE) approach, these work products are initially constructed as high abstraction models and then transformed into more precise models until code-specific models can be produced. A multi-agent system case study is used to illustrate the applicability of the proposed security-aware metamodel

Analysing Security Requirements of Information Systems using Tropos

Security is an important issue when developing complex information systems, however very little work has been done in integrating security concerns during the analysis of information systems. Current methodologies fail to adequately integrate security and systems engineering, basically because they lack concepts and models as well as a systematic approach towards security. We believe that security should be considered during the whole development process and it should be defined together with the requirements specification. This paper introduces extensions to the Tropos methodology to accommodate security. A description of new concepts is given along with an explanation of how these concepts are integrated to the current stages of Tropos. The above is illustrated using an agent-based health and social care information system as a case study

A Natural Extension of Tropos Methodology for Modelling Security

Although security is an important issue when developing complex computerised systems, very little work has been done in integrating security concerns in the agentoriented methodologies. This paper introduces extensions to the Tropos methodology to accommodate security. A description of new concepts is given along with an explanation of how these concepts are integrated to the current stages of Tropos. The above is illustrated using an agent-based health and social care information system as a case study

Extending the Unified Modeling Language to Model Mobile Agents

Mobile Agents represent a crucial part in most agent-based systems. However, very little work has taken place in modelling such systems and, up to now, none of the existing agent oriented methodologies provide concepts and notations to fully capture mobile agents. In this work we are presenting extensions to the Unified Modeling Language (UML) to model mobile agents. We use three different scenarios to illustrate the proposed extensions

Secure Tropos: An Agent Oriented Software Engineering Methodology for the Development of Health and Social Care Information Systems

A huge amount of health and social care related information needs to be stored and analysed; with the aid of computer systems this can be done faster and more efficiently. As a result, computerised health and social care information systems are gaining popularity. The development of such systems, mostly so far, follows an ad-hoc pattern. However, in order to effectively deal with the characteristics of such systems such as size, security, unpredictability, and openness; appropriate software engineering methodologies and paradigms should be employed for their development. This paper defines a set of requirements that a methodology should demonstrate and it argues for the appropriateness of the Secure Tropos agent oriented methodology for the development of health and social care information systems. The applicability of the methodology is demonstrated with the aid of a real-life case study, the electronic Single Assessment Process system, an information system to support integrated assessment of the health and social care needs of older people. The application of the proposed methodology on the case study indicated that the methodology satisfies the identified requirements

Secure Information Systems Engineering: A Manifesto

In this paper, we lay down the agenda for a discipline that is meant to promote research on increasing the development of secure information systems. In particular, we introduce areas related to the development of secure information systems; we identify limitations of existing approaches and the barriers that currently limit research and we discuss the characteristics for an engineering discipline for the development of secure information systems, its principles and the challenges that must be addressed

Advanced Information Systems Engineering: 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings

International audienc