Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho


In this paper we apply a certain kind of variability in KAOS goal and responsibility models: links can be conditioned depending on the choice of variants. These variants are grouped in facets and organized in a variant tree having a metagraph semantics: instances are all the goal/responsibility graphs generated when all variants are fixed. We use a case study from the land transportation domain: a simplified cycab (or cybercar) with some variants. The overall case study is part of the ANR TACOS project, whose final aim is to define a component-based approach to specify systems with high-level safety requirements.


  1. Arango G., 1994. Domain Analysis Methods, in Software Reusability, Eds by W. Schäfer, R.Prieto Diaz & M. Matsumoto, Ellis Horwood.
  2. Bachmann F., Bass L., 2001, Managing variability in software architecture, ACM Press.
  3. Bennasri S., Souveyet C., and Rolland C., 2004. Modeling variability in requirements with maps, Advances in Information Systems.
  4. Dardenne A., van Lamsweerde A. and Fickas S., 1993. Goal-oriented Requirements Acquisition, Science of Computer.
  5. Halmans G., Pohl K., 2003. Communicating the variability of a software product family to customers, Software and System Modeling, Springer-Verlag.
  6. Heaven W., Finkelstein A., 2004. An UML profile to support requirements engineering with Kaos, IEE Proceedings Software, vol. 151 10-27.
  7. Jacobson I., Griss M., Johnsson P., 1997. Software Reuse: Architecture, Process and Organization for Business Success, Addison Wesley.
  8. Kang K., Kim S., Lee J. et al., 1998. FORM: A FeatureOriented Reuse Method with Domain-Specific Reference Architectures, Annals of Software Engineering, 5 143-168.
  9. Liaskos S., Lapouchnian A., Yu Y., Yu E. and Mylopoulos J., 2006. On Goal-based Variability Acquisition and Analysis, 14th IEEE Int. Conf. on Requirements Engineering.
  10. Liaskos S. & al., 2007. Exploring the Dimensions of Variability: a Requirements Engineering Perspective, Int. Workshop on Variability Modelling of Softwareintensive Systems.
  11. Lutz R., 1993. Analysing Software Requirements Errors in Safety-Critical, Embedded Systems, First IEEE International Symposium on Requirements Engineering 126-133.
  12. Rolland C., Souveyet C., BenAchour C., 1998. Guiding Goal Modelling Using Scenarios, IEEE Transactions on Software Engineering, Special issue on scenario Management 1055-1071.
  13. Safety-Critical Systems: Challenges and Directions, 2002. ACM Press, 24th International Conference on Software Engineering 547-550.
  14. Semmak F., Brunet J., 2005. Un métamodèle orienté buts pour spécifier les besoins d'un domaine, 22e INFORSID conference, 115-132, Hermès Ed., Grenoble, France.
  15. Semmak F., Brunet J., 2006. Variability in Goal-oriented Domain Requirements, 9th Int. Conference on Software Reuse (ICSR), LNCS vol. 4039, Springer Verlag.
  16. The Standish Group, Chaos, 1995. Standish group internal report.
  17. van Gurp J., Bosch J., Svahnberg M., 2001. On the notion of variability in Software Product Lines, Proceedings of the Working IEEE/IFIP Conference on Software Architecture.
  18. van Lamsweerde A., 2003. From Systems Goals to Software Architecture, Formal Methods for Software Architectures, LNCS vol. 2804, Springer.
  19. Yu E., 1997. Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, 3rd IEEE Int. Symposium on Requirements Engineering 226- 235.

Paper Citation

in Harvard Style

Brunet J., Semmak F., Laleau R. and Gnaho C. (2008). USING VARIANTS IN KAOS GOAL MODELLING . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 339-344. DOI: 10.5220/0001709103390344

in Bibtex Style

author={Joël Brunet and Farida Semmak and Régine Laleau and Christophe Gnaho},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},

in EndNote Style

JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
SN - 978-989-8111-38-8
AU - Brunet J.
AU - Semmak F.
AU - Laleau R.
AU - Gnaho C.
PY - 2008
SP - 339
EP - 344
DO - 10.5220/0001709103390344