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
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.
| Publication Type: | Article |
|---|---|
| Publisher Keywords: | Science & Technology, Technology, Computer Science, Information Systems, Computer Science, Theory & Methods, Computer Science |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology > Computer Science > Human Computer Interaction Design |
Download (1MB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login