Skip to main content
SpringerLink
Log in

Generating requirements from systems models using patterns: a case study

  • Original article
  • Published:
Requirements Engineering Aims and scope Submit manuscript

Abstract

Academic research has produced many model-based specification and analysis techniques, however, most organisations continue to document requirements as textual statements. To help bridge this gap between academic research and requirements practice, this paper reports an extension to the RESCUE process in which patterns for generating requirements statements from i* system models were manually applied to i* models developed for a complex air traffic control system. The paper reports the results of this application and describes them with examples, the benefits of the approach to the project, and ongoing research to implement these patterns in the REDEPEND modelling tool to make requirements engineers more productive. We review similar work on requirements modelling and expression, and compare our work to it to demonstrate the proposed advance in the state of the art. Finally the paper discusses future uses of requirements generation from model patterns in RESCUE.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6

Similar content being viewed by others

References

  1. De Landtsheer R, Letier E, van Laamsweerde A (2003) Deriving tabular event-based specifications from goal-oriented requirements models. In: Proceedings of the 11th IEEE international conference on requirements engineering, IEEE Computer Society Press, pp 200–210

  2. Yu E, Mylopoulos JM (1994) Understanding “why” in software process modelling, analysis and design. In: Proceedings of the 16th international conference on software engineering, IEEE Computer Society Press, pp 159–168

  3. Robertson S, Robertson J (1999) Mastering the requirements process. Addison Wesley, Longman

  4. Maiden NAM, Jones SV, Manning S, Greenwood J, Renou L (2004a) Model-driven requirements engineering: synchronising models in an air traffic management case study. In: Proceedings of the CaiSE’2004. Springer, Berlin Heidelberg New York. LNCS 3084, pp 368–383

  5. Mavin A, Maiden NAM (2003) Determining socio-technical systems requirements: experiences with generating and walking through scenarios. In: Proceedings of the 11th international conference on requirements engineering, IEEE Computer Society Press, pp 213–222

  6. Maiden NAM, Pavan P, Gizikis A, Clause O, Kim H, Zhu X (2002) Making decisions with requirements: integrating i* goal modelling and the AHP. In: Proceedings of the REFSQ’2002 workshop, Essen, Germany, 9–10 September 2002

  7. Maiden NAM, Manning S, Robertson S, Greenwood J (2004b) Integrating creativity workshops into structured requirements processes. In: Proceedings of the DIS’2004, ACM Press, Cambridge, pp 113–122

  8. Baddeley AD (1990) Human memory: theory and practice. Lawrence Erlbaum Associates, Hove

    Google Scholar 

  9. Gross D, Yu E (2001) Evolving system architecture to meet changing business goals: an agent and goal-oriented approach. In: Proceedings of the STRAW’2001 workshop

  10. Chung L, Nixon B, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer, Dordrecht

    MATH  Google Scholar 

  11. Sindre G, Firesmith DG, Opdahl A (2003) A reuse-based approach to determining security requirements. In: Proceedings of the REFSQ 2003 workshop, Essener Informatik Beitrage, pp 127–136

  12. Rolland C, Souveyet C, Ben Achour-Salinesi C (1998) Guiding goal modelling using scenarios. IEEE Trans Softw Eng Spec Issue Scenario Manage 24(12):1055–1071

    Article  Google Scholar 

  13. Praxis (2001) REVEAL: a keystone of modern systems engineering. White Paper Reference S.P0544.19.1, Praxis Critical Systems Limited, July 2001

  14. Hammond J, Rawlings R, Hall A (2001) Will it work? In: Proceedings of the 5th IEEE international symposium requirements engineering, IEEE Computer Society, pp 102–109

  15. Castro JFB, Kolp M, Mylopoulos J (2002) Towards requirements driven information systems engineering: the Tropos Project, information systems. Holanda 27(6):365–389

    MATH  Google Scholar 

  16. van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of the 5th IEEE international symposium on requirements engineering, IEEE Computer Society Press, pp 249–263

  17. van Lamsweerde A (2004) Goal-oriented requirements engineering: a roundtrip from research to practice. In: Proceedings of the 12th IEEE international conference on requirements engineering, IEEE Computer Society Press, pp 4–7

  18. Gross D, Yu E (2001) Evolving system architecture to meet changing business goals: an agent and goal-oriented approach. In: Proceedings of the STRAW’2001 workshop

  19. Darimont R, Delor E, Roussel J-L, Rifaut A (2002) Requirements engineering with Grail/Kaos. In: Industrial presentation, IEEE joint international conference on requirements engineering industrial presentations, pp 135–146

  20. Maiden NAM, Jones S, Flynn M (2003) Innovative requirements engineering applied to atm. In: Proceedings of the ATM’2003 conference, June 2003, Budapest

Download references

Acknowledgements

The authors wish to thank all members of the DMAN project team.

Author information

Authors and Affiliations

  1. Centre for HCI Design, City University, Northampton Square, London, EC1V OHB, UK

    N. A. M. Maiden, S. Manning & S. Jones

  2. National Air Traffic Services, Lancaster Place, London, UK

    J. Greenwood

Authors
  1. N. A. M. Maiden
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Manning
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. S. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. Greenwood
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to N. A. M. Maiden.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Maiden, N.A.M., Manning, S., Jones, S. et al. Generating requirements from systems models using patterns: a case study. Requirements Eng 10, 276–288 (2005). https://doi.org/10.1007/s00766-005-0010-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00766-005-0010-9

Keywords

Search

Navigation