scispace - formally typeset
Proceedings ArticleDOI

Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis

Reads0
Chats0
TLDR
The experiences of exploring how i* modelling can be used as a bridge between informal air traffic management (ATM) operational concepts and formal agent-based simulation are presented.
Abstract
This paper presents our experiences of exploring how i* modelling can be used as a bridge between informal air traffic management (ATM) operational concepts and formal agent-based simulation. We report our work on an EU airspace design project that describes a revised concept of operations for lower level airspace around airports, and includes simulation based safety analysis of the critical scenarios. We describe our research towards using i* to address two challenges – how to model the revised concept from the informal concept of operations document, and how to present safety critical scenarios to operational experts. Modelling strategic aspects of a concept of operations is new to ATM, and we draw upon our experiences to provide lessons learned and directions for future work.

read more

Citations
More filters

Designing modeling notations readers understand

TL;DR: This research provides the means necessary to create models so that readers, unfamiliar with the notation, understand, and reduces the misalignment between the modeler’s story and the readers’ perceptions of this story.
Book ChapterDOI

Delivering requirements research into practice: a keynote to the REFSQ'2011 conference

TL;DR: The challenges that researchers face to apply research solutions to requirements practices are reviewed and some of these challenges have been overcome with presentations of cases that show the application of requirements research on large-scale industrial projects.
Book ChapterDOI

Using a Modelling Language to Describe the Quality of Life Goals of People Living with Dementia

TL;DR: The application of the i* goal modelling language to describe the types of and relationships between quality of life goals of people living with dementia was reported, for the first time.
Journal ArticleDOI

Modelling the quality of life goals of people living with dementia

TL;DR: The application of the i* goal modelling language to describe the types of and relationships between quality of life goals of people living with dementia was reported.
DissertationDOI

Automatic Generation of Goal Models from Regulations

TL;DR: This paper aims to provide a chronology of the events leading up to and including the publication of this paper and some of the journal articles in which this work was first published.
References
More filters
Proceedings ArticleDOI

Understanding “why” in software process modelling, analysis, and design

TL;DR: In this paper, a model which captures the intentional structure of a software process and its embedding organization, in terms of dependency relationships among actors, is presented, embedded in the conceptual modeling language Telos.
Proceedings ArticleDOI

Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax

TL;DR: A systematic analysis of the visual syntax of i*, one of the leading goal-oriented languages, is conducted to raise the level of debate and stimulate discussion about visual representation in RE research.
Book ChapterDOI

Model-driven requirements engineering: Synchronising models in an air traffic management case study

TL;DR: This paper describes the application of RESCUE, a process that integrates 4 modelling techniques to model and analyse stakeholder requirements for DMAN, a system for scheduling and managing the departure of aircraft from major European airports.
Journal ArticleDOI

Piecewise deterministic Markov processes represented by dynamically coloured Petri nets

TL;DR: In this paper, a dynamically coloured Petri net (DCPN) is proposed for the specification of a continuous-time Markov chain (CTMC) model, based on Petri nets.
Related Papers (5)