Clear justification of modeling decisions for goal-oriented requirements engineering | Requirements Engineering Skip to main content
Springer Nature Link
Log in

Clear justification of modeling decisions for goal-oriented requirements engineering

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

Abstract

Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If the requirements engineer does not justify why one clear form of requirements is chosen over others, the subsequent modeling decisions cannot be justified either. If arguments for clarification and modeling decisions are instead explicit, justifiably appropriate instances of goal models can be constructed and additional analyses applied to discover richer sets of requirements. The paper proposes the “Goal Argumentation Method (GAM)” to fulfil three roles: (i) GAM guides argumentation and justification of modeling choices during the construction or critique of goal model instances; (ii) it enables the detection of deficient argumentation within goal model instances; and (iii) it provides practical techniques for the engineer to ensure that requirements appearing both in arguments and in model instance elements are clear.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (Japan)

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

Similar content being viewed by others

Notes

  1. No restrictions are placed on the way domain knowledge is represented—both informal and formal representations of stakeholders’ knowledge about the domain are allowed in \({{\mathcal{A}}}.\)

  2. Similar can be said for “day” in “same day” but the example focuses on “day minus one” only.

  3. The reader is reminded that the present work is not one focused on linguistics, so that no specific references will be given beyond overview and extensive discussions from the aforementioned field. For instance, no minority positions are mentioned herein. For details, the reader will refer to the works cited within the given references.

  4. It is, however, significant to note that the choice of derivation is critical if the aim is to build arguments automatically from a knowledge base: in case, e.g., arguments for requirements are to be obtained automatically from a knowledge base, the derived arguments will differ depending on the chosen derivation. It is obvious that following the above suggestions would require a knowledge base which contains defeasible rules.

  5. In the remainder, the subscript K will be omitted, since no knowledge base other than K (which is taken here to contain any knowledge that the stakeholders can provide) will be used.

  6. Note that the argument is extracted from the tree by ensuring minimality, according to Definition 6, so that some branches of the tree need not be maintained.

References

  1. ATLAS.ti Scientific Software Development GmbH. ATLAS.ti—The Knowledge Workbench. Available online at http://www.atlasti.com

  2. Bach K (1998) Ambiguity. In: Craig E (ed) Routledge encyclopedia of philosophy online. Routledge, London

    Google Scholar 

  3. Barker C (2006) Vagueness. In: Brown K (ed) Encyclopedia of language and linguistics, 2nd edn. Elsevier, Amsterdam

    Google Scholar 

  4. Bennett B (1998) Modal semantics for knowledge dealing with Vague concepts. In: Proceedings of international conference on principles of knowledge representation and reasoning

  5. Berry D, Kamsties E (2005) The syntactically dangerous all and plural in specifications. IEEE Softw 22(1):55–57

    Article  Google Scholar 

  6. Besnard P, Hunter A (2001) A logic-based theory of deductive arguments. Artif Intell 128(1–2):203–235

    Article  MathSciNet  MATH  Google Scholar 

  7. Bowen JP, Hinchey MG (1999) High-integrity system specification and design. Springer FACIT Series, London

    Google Scholar 

  8. Castro J, Kolp M, Mylopoulos J (2002) Towards requirements-driven information systems engineering: the Tropos project. Info Sys 27(6):365–389

    Article  MATH  Google Scholar 

  9. Cavalli-Sforza V, Suthers DD (1994) Belvedere: an environment for practicing scientific argumentation. Worksh Comput Dialectics

  10. Chantree F, Nuseibeh B, de Roeck A, Willis A (2006) Identifying nocuous ambiguities in natural language requirements. In: Proceedings of international conference on requirement engineering

  11. Chesñevar CI, Maguitman AG, Loui RP (2000) Logical models of argument. ACM Comput Surv 32(4):337–383

    Article  Google Scholar 

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

    MATH  Google Scholar 

  13. CMSI (1992) CM/1 Product description. Corporate Memory Systems, Inc., 8920 Business Park Dr., Austin, Texas

  14. Conklin J, Begeman ML (1988) gIBIS: a hypertext tool for exploratory policy discussion. ACM Trans Info Syst 6(4):303–331

    Article  Google Scholar 

  15. Conklin J, Selvin A, Buckingham Shum S, Sierhuis M (2001) Facilitated hypertext for collective sensemaking: 15 years on from gIBIS. In: Proceedings of ACM conference on hypertext and hypermedia

  16. Curtis B, Krasner H, Iscoe N (1988) A field study of the software design process for large systems. Commun ACM 31(11):1268–1287

    Article  Google Scholar 

  17. Dardenne A, van Lamsweerde A, Fickas S (1993) Goal-directed requirements acquisition. Sci Comput Program 20:3–50

    Article  MATH  Google Scholar 

  18. Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of ACM SIGSOFT symposium foundations of software engineering

  19. Donzelli P (2004) A goal-driven and agent-based requirements engineering framework. Req Eng 9(1):16–39

    Article  Google Scholar 

  20. Eurocontrol (1999) ATM user requirements document volume 1 and Volume 2. European Air Traffic Control Harmonisation and Integration Programme, Ref FCO.ET1.ST04.DEL01, European Organisation for the Safety of Air Navigation

  21. Fellbaum C (1998) WordNet: a lexical reference system and its application. MIT Press, Cambridge

    Google Scholar 

  22. Ford M, Billington D (2000) Strategies in human nonmonotonic reasoning. Comput Intell 16(3):446–468

    Article  Google Scholar 

  23. Fuxman A, Liu L, Mylopoulos J, Pistore M, Roveri M, Traverso P (2004) Specifying and analyzing early requirements in Tropos. Req Eng 9(2):132–150

    Article  Google Scholar 

  24. Gillon BS (1990) Ambiguity, generality, and indeterminacy: tests and definitions. Synthese 85:391–416

    Article  MathSciNet  Google Scholar 

  25. Graff D (2000) Shifting sands: an interest-relative theory of vagueness. Philos Top 20:45–81

    Google Scholar 

  26. Halpern JY (2004) Intransitivity and vagueness. In: Proceedings of international conference on princip of knowledge representation and reasoning

  27. Hitchcock D (2007) The concept of argument, and informal logic. In: Gabbay D, Thagard P, Woods J (eds) Philosophy of logic, handbook of the philosophy of science 5. Elsevier, Dordrecht (in press)

  28. Hospers J (1953) An introduction to philosophical analysis. Prentice-Hall, Englewood Cliffs

    Google Scholar 

  29. Kaci S, van der Torre L (2007) Preference-based argumentation: arguments supporting multiple values. Int J Approx Reason (in press)

  30. Kamsties E, Berry D, Peach B (2001) Detecting ambiguities in requirements documents using inspections. In: Proceedings workshop inspection in software engineering

  31. Karacapilidis N, Papadias D (2001) Computer supported argumentation and collaborative decision making: the HERMES system. Info Syst 26:259–277

    Article  MATH  Google Scholar 

  32. Kavakli P, Loucopoulos P (2005) Goal modeling in requirements engineering: analysis and critique of current methods. In: Krogstie J, Halpin T, Siau K (eds) Information modeling methods and methodologies (Advanced Topics of Database Research). IDEA Group

  33. Kennedy C (2007) Vagueness and grammar: the semantics of relative and absolute gradable predicates. Linguist Philos (in press)

  34. Lee J (1991) Extending the Potts and Bruns model for recording design rationale. In: Proceedings of international conference on software engineering

  35. Lee J, Lai K-Y (1991) What’s in the design rationale? Hum Comput Interact 6(3–4):251–280

    Article  Google Scholar 

  36. Letier E (2001) Reasoning about agents in goal-oriented requirements engineering. PhD Thesis, Département d’ingénierie informatique, Université catholique de Louvain

  37. Letier E, van Lamsweerde A (2004) Reasoning about partial goal satisfaction for requirements and design engineering. ACM Sigsoft Softw Eng Notes 29(6):53–62

    Article  Google Scholar 

  38. Liu XF, Yen J (1996) An analytic framework for specifying and analyzing imprecise requirements. In: Proceedings of international conference on software engineering

  39. Liu L, Yu E (2004) Designing information systems in social context: a goal and scenario modeling approach. Info Syst 29:187–203

    Article  Google Scholar 

  40. Louridas P, Loucopoulos P (2000) A generic model for reflective design. ACM Trans Softw Eng Meth 9(2):199–237

    Article  Google Scholar 

  41. Maclean A, Young RM, Belotti VME, Moran TP (1991) Questions, options, and criteria: elements of design space analysis. Hum Comput Interact 6(3–4):201–250

    Article  Google Scholar 

  42. March JG (1978) Bounded rationality, ambiguity, and the engineering of choice. Bell J Econ 9(2):587–608

    Article  Google Scholar 

  43. Margalit A (1983) A Review of Scheffler (1979). J Philos 80:129–137

    Article  Google Scholar 

  44. Mylopoulos J, Chung L, Nixon B (1992) Representing and using nonfunctional requirements: a process-oriented approach. IEEE Trans Softw Eng 18(6):483–497

    Article  Google Scholar 

  45. Pohl K (1993) The three dimensions of requirements engineering. In: Proceedings of international conference of advanced infomation system engineering

  46. Prakken H, Vreeswijk G (2002) Logical systems for defeasible argumentation. In: Gabbay D, Guenther F (eds) Handbook of philosophical logic, 2nd edn. Kluwer, Dordrecht, pp 219–318

  47. Ramesh B, Dhar V (1992) Supporting systems development by capturing deliberations during requirements engineering. IEEE Trans Softw Eng 18(6):498–510

    Article  Google Scholar 

  48. Ravin Y, Leacock C (eds) (2000) Polysemy: theoretical and computational approaches. Oxford University Press, New York

  49. Richman RJ (1959) Ambiguity and Intuition. Mind, New Series 68 269:87–92

    Article  Google Scholar 

  50. Rittel HWJ, Webber MM (1973) Dilemmas in a general theory of planning. Policy Sci 4:155–169

    Article  Google Scholar 

  51. Searle JR (1969) Speech acts: an essay in the philosophy of language. Cambridge University Press, London

  52. Shum BS, Hammond N (1994) Argumentation-based design rationale: what use at what cost? Int J Hum Comput Stud 40(4):603–652

    Article  Google Scholar 

  53. Simari GR, Loui RP (1992) A mathematical treatment of defeasible reasoning and its implementation. Artif Intell 53:125–157

    Article  MathSciNet  Google Scholar 

  54. Smolensky P, Fox B, King R, Lewis C (1987) Computer-aided reasoned discourse, or how to argue with a computer. In: Guindon R (ed) Cognitive science and its applications for human computer interaction. Erlbaum, Hillsdale, pp 109–162

    Google Scholar 

  55. Sorensen R (2003) Vagueness. In: Zalta EN (ed) The Stanford encyclopedia of philosophy. Stanford University, Stanford

  56. Toulmin S (1958) The uses of arguments. Cambridge University Press, London

  57. van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: Proceedings of interantional conference on requirement engineering

  58. van Lamsweerde A, Darimont R, Massonet Ph (1992) The Meeting Scheduler Problem: Preliminary Definition. Département d’ingénierie informatique, Université catholique de Louvain

  59. Williamson T (1994) Vagueness. Routledge, London

  60. Yu E (1994) Modelling strategic relationships for process reengineering. PhD Thesis, (also Tech. Report DKBS-TR-94-6) Dept. of Computer Science, University of Toronto

  61. Yu E (1997) Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of international symposium on requirement engineering

  62. Zave P, Jackson M (1997) Four dark corners of requirements engineering. ACM Trans Softw Eng Meth 6(1):1–30

    Article  Google Scholar 

Download references

Acknowledgments

The first author acknowledges funding from the Belgian ICM/CIM Doctoral Fellowship Program.

Author information

Authors and Affiliations

  1. Information Management Research Unit (IMRU), University of Namur, 8, rempart de la vierge, 5000, Namur, Belgium

    Ivan J. Jureta & Stéphane Faulkner

  2. Institut d’Informatique, University of Namur, 21, Rue Grandgagnage, 5000, Namur, Belgium

    Pierre-Yves Schobbens

Authors
  1. Ivan J. Jureta
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Stéphane Faulkner
    View author publications

    You can also search for this author inPubMed Google Scholar

  3. Pierre-Yves Schobbens
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Ivan J. Jureta.

Additional information

A preliminary version of this paper appears in Proceedings of the 14th International Requirements Engineering Conference (RE’06).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jureta, I.J., Faulkner, S. & Schobbens, PY. Clear justification of modeling decisions for goal-oriented requirements engineering. Requirements Eng 13, 87–115 (2008). https://doi.org/10.1007/s00766-007-0056-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00766-007-0056-y

Keywords