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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Pearson Education (2000)
De Landtsheer, R., Letier, E., van Laamsweerde, A.: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models. In: Proceedings 11th IEEE International Conference on Requirements Engineering, pp. 200–210. IEEE Computer Society Press, Los Alamitos (2003)
Hall, J., Jackson, M., Laney, R., Nuseibeh, B., Rapanotti, L.: Relating Software Requirements and Architectures using Problem Frames. In: Proceedings 10th International Joint Conference on Requirements Engineering, pp. 137–144. IEEE Computer Society Press, Los Alamitos (2002)
ICAO, Human Factors in CNS/ATM systems. The development of human-centred automation and advanced technology in future aviation systems’ ICAO Circular 249- AN/149 (1994)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (2000)
Leveson, N., de Villepin, M., Srinivasan, J., Daouk, M., Neogi, N., Bachelder, E., Bellingham, J., Pilon, N., Flynn, G.: A Safety and Human-Centred Approach to Developing New Air Traffic Management Tools. In: Proceedings Fourth USA/Europe Air Traffic Management R&D Seminar (2001)
Liu, L., Yu, E., Mylopoulos, J.: Security and Privacy Requirements Analysis within a Social Setting. In: Proceedings 11th IEEE International Conference on Requirements Engineering, pp. 151–161. IEEE Computer Society Press, Los Alamitos (2003)
Liu, L., Yu, E.: From Requirements to Architectural Design – Using Goals and Scenarios. In: Proceedings first STRAW workshop, pp. 22–30 (2001)
Maiden, N., Gizikis, A.: Where Do Requirements Come From? IEEE Software 18(4), 10–12 (2001)
Maiden, N.A.M., Jones, S.V., Flynn, M.: Innovative Requirements Engineering Applied to ATM. In: Proceedings, A.T.M. (ed.) Proceedings ATM (Air Traffic Management), Budapest, June 23-27 (2003)
Mavin, A., Maiden, N.A.M.: Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking Through Scenarios. In: Proceedings 11th International Conference on Requirements Engineering, pp. 213–222. IEEE Computer Society Press, Los Alamitos (2003)
Nentwich, C., Emmerich, W., Finkelstein, A.C.W.: Flexible Consistency Checking. ACM Transactions on Software Engineering and Methodology 12(1), 28–63 (2003)
Nuseibeh, B., Kramer, J., Finkelstein, A.C.W.: Viewpoints: Meaningful Relationships are Difficult. In: Proceedings 25th IEEE International Conference on Software Engineering, pp. 676–681. IEEE Computer Society Press, Los Alamitos (2003)
Praxis, 2001, REVEAL: A Keystone of Modern Systems Engineering’, White Paper Reference S.P0544.19.1, Praxis Critical Systems Limited (July 2001)
Robertson, S., Robertson, J.: Mastering the Requirements Process. Addison-Wesley, Reading (1999)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley, Reading (1998)
Santander, V., Castro, J.: Deriving Use Cases from Organisational Modeling. In: Proceedings IEEE Joint International Conference on Requirements Engineering (RE 2002), pp. 32–39. IEEE Computer Society Press, Los Alamitos (2002)
Sutcliffe, A.G., Maiden, N.A.M., Minocha, S., Manuel, D.: Supporting Scenario-Based Requirements Engineering. IEEE Transactions on Software Engineering 24(12), 1072–1088 (1998)
Vicente, K.: Cognitive work analysis. Lawrence Erlbaum Associates, Mahwah (1999)
Viller, S., Sommerville, I.: Social Analysis in the Requirements Engineering Process: from Ethnography to Method. In: Proceedings 4th IEEE International Symposium on Requirements Engineering, pp. 6–13. IEEE Computer Society Press, Los Alamitos (1999)
Yu, E., Mylopoulos, J.M.: Understanding Why in Software Process Modelling, Analysis and Design. In: Proceedings, 16th International Conference on Software Engineering, pp. 159–168. IEEE Computer Society Press, Los Alamitos (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maiden, N.A.M., Jones, S.V., Manning, S., Greenwood, J., Renou, L. (2004). Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study. In: Persson, A., Stirna, J. (eds) Advanced Information Systems Engineering. CAiSE 2004. Lecture Notes in Computer Science, vol 3084. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25975-6_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-25975-6_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22151-7
Online ISBN: 978-3-540-25975-6
eBook Packages: Springer Book Archive