Skip to main content

Extended KAOS Method to Model Variability in Requirements

  • Conference paper

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 69))

Abstract

This paper presents an approach to requirements engineering in the Cycab domain. Cycabs are public vehicles with fully automated driving capabilities. So far few studies have dealt with expressing such requirements at the highest level of abstraction. Furthermore, during their building, software systems embedded in Cycabs are subject to frequent changes of requirements. Thus, we need to represent a family of Cycabs that can differ according to different options. The proposed approach tries to address these issues by adopting and extending the KAOS goal oriented method. The main objective is to provide a process to define and adapt specific requirements models from a generic model, according to different situations made available to the stakeholders.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anton, A.I.: Goal based requirements Analysis. In: The 2nd Int. Conf. on RE (1996)

    Google Scholar 

  2. Baille, G., et al.: The INRIA Rhônes-Alpes Cycab, Technical Report N°0229 (1999), ISSN 0249-0803

    Google Scholar 

  3. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-oriented Requirements Acquisition. Science of Computer (1993)

    Google Scholar 

  4. Lamsweerde, A.: Goal-oriented Requirements Engineering: A guided tour. In: Int. Symposium on Requirements Engineering, Toronto (2001)

    Google Scholar 

  5. Gnaho, C., Al: A Tool for Modeling Variability at Goal Level. In: Third Int. Workshop on Variability Modelling of Software-intensive Systems, VaMoS (2009)

    Google Scholar 

  6. Halmans, G., Pohl, K.: Communicating the variability of a software product family to customers, Software and System Modeling. Springer, Heidelberg (2003)

    Google Scholar 

  7. Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S.: Feature-oriented domain analysis (FODA) feasibility study CMU/SEI-90-TR-21, Univ. Pittsburgh, Pennsylvania (1990)

    Google Scholar 

  8. Kang, K., Kim, S., Lee, J., et al.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering 5, 143–168 (1998)

    Article  Google Scholar 

  9. Lamsweerde, A.: From Systems Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  10. Liaskos, S., Lapouchnian, A., Yu, Y., Yu, E., Mylopoulos, J.: On Goal-based Variability Acquisition and Analysis. In: 14th IEEE Int. Conf. on Requirements Engineering (2006)

    Google Scholar 

  11. Liaskos, S., Jiang, L., Lapouchnian, A., Wang, Y., Yu, Y., Sampaio do Prado Leite, J.C., Mylopoulos, J.: Exploring the Dimensions of Variability: a Requirements Engineering Perspective. In: 1st Int. Workshop on Variability Modelling of Software-intensive Systems, VaMoS (2007)

    Google Scholar 

  12. Objectiver Requirement Engineering tool, http://www.objectiver.com/

  13. Parent, M.: Automated public vehicle: a first step towards the automatic highway. In: The Proc. Of the World Congress on Intelligent transport systems (October 1997)

    Google Scholar 

  14. Prieto-Diaz, R.: Implementing Faceted Classification for software reuse. Communications of the ACM 34(5) (1991)

    Google Scholar 

  15. Rolland, C., Souveyet, C., Ben Achour, C.: Guiding Goal Modelling Using Scenarios. IEEE Transactions on Software Engineering (1998)

    Google Scholar 

  16. Semmak, F., Brunet, J.: Variability in Goal-oriented Domain Requirements. In: Morisio, M. (ed.) ICSR 2006. LNCS, vol. 4039, pp. 390–394. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Semmak, F., Al: Extended KAOS to support Variability for Goal oriented Requirements reuse. In: Int. Workshop Model Driven Information Systems Engineering with Caise 2008 (2008)

    Google Scholar 

  18. TACOS project, ANR-06-SETIN-017, programme SETIN 2006, http://tacos.loria.fr

  19. Van Gurp, J., Bosch, J., Svahnberg, M.: On the notion of variability in Software Product Lines. In: Proceedings of the Working IEEE/IFIP Conference on Software Architecture (2001)

    Google Scholar 

  20. Yu, E.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: 3rd IEEE International Symposium on Requirements Engineering, pp. 226–235. ACM Press, New York (1997)

    Chapter  Google Scholar 

  21. Gonzales-Baixauli, M.A., Laguna, J.C.: Sampaio do Prado Leite Using Goal-models to analyse variability. In: 1st Workshop on VAMOS, Limerick, Ireland (2007)

    Google Scholar 

  22. Broy, M.: Requirements Engineering for Embedded Systems. In: The proceedings of Femsys (1997)

    Google Scholar 

  23. Bachmann, F., Bass, L.: Managing variability in software architecture. ACM Press, NY (2001)

    Book  Google Scholar 

  24. Griss, M., Favaro, J., d’Alessandro, M.: Integrating feature modeling with the Rseb. In: Proc. Of the 5th int. Conference of Software Reuse (1998)

    Google Scholar 

  25. Czarnecki, K., Helsen, S., Eisenecker, U.: Formalizing cardinality-based feature models and their specialization. Software Process Improvement and Practise 10(1), 7–29 (2005)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Semmak, F., Gnaho, C., Laleau, R. (2010). Extended KAOS Method to Model Variability in Requirements. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds) Evaluation of Novel Approaches to Software Engineering. ENASE ENASE 2009 2008. Communications in Computer and Information Science, vol 69. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14819-4_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-14819-4_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-14818-7

  • Online ISBN: 978-3-642-14819-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics