Goal-driven agent-oriented software processes

The quality of software processes is acknowledged as a critical factor for delivering quality software systems. Any initiative for improving the quality of software processes requires their explicit representation and management. A current representational metaphor for systems is agent orientation, which has become one of the recently recognized engineering paradigms. In this article, we argue for the convenience of representing the software process using an agent-oriented language to model it and a goal-driven procedure to design it. Particularly we propose using the i* framework which is both an agent- and a goal-oriented modeling language. We review the possibilities of i* as a software process modeling language, and we also show how success factors can be made explicit in i* representations of the software processes. Finally, we illustrate the approach with an example based on the development of a set of ergonomic and safety software tools.Peer ReviewedPostprint (published version

An Agent Oriented Analysis and Modeling of Airborne Capabilities for Trajectory Based Operations

Current and future air traffic is requiring new procedures and systems to achieve a greater automation of air-traffic operations. Particular difficulty presents the automation of arrival air-traffic operations in terminal areas due to aircraft speeds and environment variability into a delimited airspace where multiple aircraft converge. Several projects have proposed guidelines to implement new operational concepts as well as airborne and ground systems to carry out corresponding procedures. Developing procedures and systems are closely related. Therefore, usually it requires to analyze and to design them in a combined manner. In this paper we present an agent-oriented analysis and modeling of airborne systems capabilities to perform automated arrival and approach procedures based on user preference trajectories. A detailed architecture model of airborne capabilities is achieved through a methodological analysis of an arrival traffic scenario within the trajectory based operations paradigm

Designing a Cockpit Functionalities Architecture for Trajectory Based Operations

Trajectory Based Operations (TBO) will require new procedures and systems to achieve a suitable automation of air traffic operations. Procedures and systems for automated operations are closely related and therefore frequently they need to be modeled in a combined way. Our group is currently employing recent agent-oriented methodological approaches to obtain conceptual models about TBO scenarios. Conceptual models define roles of air traffic entities as well as their interactions together with a detailed description of the entities’ architecture and dynamic behaviour. In this paper we present a cockpit functionality architecture built upon a methodological analysis and design of a TBO scenario as a multi-agent system. The proposed design has the advantage of mapping to an executable model for analytical simulation of TBO concepts and its modular architecture allows for a progressive integration of additional underlying models with specific functionalities

iStarML: The i* mark-up language

Goal-oriented and agent-oriented modelling provides an effective approach to the understanding of nowadays distributed information systems that need to operate in open, heterogeneous and evolving environments. Existing frameworks have been extended along language variants, analysis methods and CASE tools, posing language semantics and tool interoperability issues. We focus on i*-based modelling languages and tools and on the problem of supporting model exchange between them. As a first step towards providing a practical solution, we introduce an XML interchange format called iStarML. In this report, we describe the iStarML format providing examples to illustrate its use.Postprint (published version

Towards interoperability of i* models using iStarML

Goal-oriented and agent-oriented modelling provides an effective approach to the understanding of distributed information systems that need to operate in open, heterogeneous and evolving environments. Frameworks, firstly introduced more than ten years ago, have been extended along language variants, analysis methods and CASE tools, posing language semantics and tool interoperability issues. Among them, the i* framework is one the most widespread. We focus on i*-based modelling languages and tools and on the problem of supporting model exchange between them. In this paper, we introduce the i* interoperability problem and derive an XML interchange format, called iStarML, as a practical solution to this problem. We first discuss the main requirements for its definition, then we characterise the core concepts of i* and we detail the tags and options of the interchange format. We complete the presentation of iStarML showing some possible applications. Finally, a survey on the i* community perception about iStarML is included for assessment purposes.Preprin

An agent oriented analysis and modeling of airborne capabilities for trajectory based operations

Current and future air traffic is requiring new procedures and systems to achieve a greater automation of air-traffic operations. Particular difficulty presents the automation of arrival air-traffic operations in terminal areas due to aircraft speeds and environment variability into a delimited airspace where multiple aircraft converge. Several projects have proposed guidelines to implement new operational concepts as well as airborne and ground systems to carry out corresponding procedures. Developing procedures and systems are closely related. Therefore, usually it requires to analyze and to design them in a combined manner. In this paper we present an agent-oriented analysis and modeling of airborne systems capabilities to perform automated arrival and approach procedures based on user preference trajectories. A detailed architecture model of airborne capabilities is achieved through a methodological analysis of an arrival traffic scenario within the trajectory based operations paradigm. Document type: Conference objec

Adding debugging support to the Prometheus methodology

This paper describes a debugger which uses the design artifacts of the Prometheus agent-oriented software engineering methodology to alert the developer testing the system, that a specification has been violated. Detailed information is provided regarding the error which can help the developer in locating its source. Interaction protocols specified during design, are converted to executable Petri net representations. The system can then be monitored at run time to identify situations which do not conform to specified protocols. A process for monitoring aspects of plan selection is also described. The paper then describes the Prometheus Design Tool, developed to support the Prometheus methodology, and presents a vision of an integrated development environment providing full life cycle support for the development of agent systems. The initial part of the paper provides a detailed summary of the Prometheus methodology and the artifacts on which the debugger is based