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

Maiden, N., Jones, S., Manning, S., Greenwood, J. & Renou, L. (2004). Model-driven requirements engineering: Synchronising models in an air traffic management case study. Lecture Notes in Computer Science: Advanced Information Systems Engineering, 3084, pp. 368-383. doi: 10.1007/978-3-540-25975-6_27

[img]
Preview
PDF
Download (1MB) | Preview

Abstract

Different modelling techniques from different disciplines are needed to model complex socio-technical systems and their requirements. 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. It describes how human activity, use case and i* modelling were applied and integrated using synchronisation checks to model requirements on DMAN. Synchronisation checks applied at predefined stages in RESCUE revealed omissions and potential inconsistencies in the models and stakeholder requirements that, in turn, led to improvements to the models and resulting specification. The paper ends with implications for requirements model integration, and describes future work to extend and apply RESCUE.

Item Type: Article
Uncontrolled Keywords: Science & Technology, Technology, Computer Science, Information Systems, Computer Science, Theory & Methods, Computer Science
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: School of Informatics > Centre for Human Computer Interaction Design
URI: http://openaccess.city.ac.uk/id/eprint/2797

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics