Skip to main content
SpringerLink
Log in

Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach

  • Conference paper
Computational Logic in Multi-Agent Systems (CLIMA 2012)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 7486))

Included in the following conference series:

Abstract

Requirements engineering research has for long recognized the leading role of goals as requirement artifacts during the requirements engineering specification processes. Given the large number of artifacts created during the requirements specification and the continuous evolution of these artifacts, reasoning about them remains a challenging task. Moreover, the rising complexity of the target domain under consideration during the requirements engineering process as well as the growth of geographically distributed projects explain why the number of collected requirements as well as their complexity also increase. In this context, providing support to stakeholders in achieving a common understanding of a set of goal-based requirements, in consolidating them and keeping them consistent over time is another challenging task. In this paper, we propose an approach to detect consistent sets of goal-based requirements and maintain their consistency over time. Our approach relies on argumentation theory which allows to detect the conflicts among elements called arguments. In particular, we rely on meta-argumentation, which instantiates abstract argumentation frameworks, where requirements are represented as arguments and the standard Dung-like argumentation framework is extended with additional relations between goal-based requirements.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ab Aziz, R., Zowghi, D., McBride, T.: Towards a Classification of Requirements Relationships. In: 21st International Conference on Software Engineering and Knowledge Engineering, pp. 26–32 (2009)

    Google Scholar 

  2. Amyot, D., Mussbacher, G.: User Requirements Notation: The First Ten Years, The Next Ten Years. Journal of Software 6(5), 747–768 (2011)

    Article  Google Scholar 

  3. Bagheri, E., Ensan, F.: Consolidating multiple requirement specifications through argumentation. In: 26th Symposium on Applied Computing, pp. 659–666 (2011)

    Google Scholar 

  4. Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artif. Intell. 171(10-15), 675–700 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  5. Baroni, P., Cerutti, F., Giacomin, M., Guida, G.: Afra: Argumentation framework with recursive attacks. Int. J. Approx. Reasoning 52(1), 19–37 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  6. Besnard, P., Hunter, A.: Elements of argumentation. MIT Press (2008)

    Google Scholar 

  7. Boella, G., van der Torre, L., Villata, S.: On the Acceptability of Meta-arguments. In: International Conference on Intelligent Agent Technology, pp. 259–262 (2009)

    Google Scholar 

  8. Boella, G., Gabbay, D.-M., van der Torre, L., Villata, S.: Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93(2-3), 297–355 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  9. Boella, G., Gabbay, D.M., van der Torre, L., Villata, S.: Support in abstract argumentation. In: 3rd International Conference Computational Models of Argument, pp. 40–51. IOS Press (2010)

    Google Scholar 

  10. Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Modeling Early Requirements in Tropos: A Transformation Based Approach. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 151–168. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Cayrol, C., Lagasquie-Schiex, M.-C.: Coalitions of arguments: A tool for handling bipolar argumentation frameworks. Int. J. Intell. Syst. 25(1), 83–109 (2010)

    Article  MATH  Google Scholar 

  12. da Costa Pereira, C., Tettamanzi, A., Villata, S.: Changing ones mind: Erase or rewind? In: 22nd International Joint Conference Artificial Intelligence, pp. 164–171 (2011)

    Google Scholar 

  13. Dung, P.-M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–357 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  14. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the Tropos methodology. In: Agent-oriented Software Development, vol. 18(2), pp. 159–171 (2005)

    Google Scholar 

  15. Goknil, A., Kurtev, I., van den Berg, K., Veldhuis, J.-W.: Semantics of trace relations in requirements models for consistency checking and inferencing. Software and System Modeling 10(1), 31–54 (2011)

    Article  Google Scholar 

  16. Ingolfo, S., Siena, A., Mylopoulos, J.: Establishing Regulatory Compliance for Software Requirements. In: 30th IEEE International Requirements Engineering Conference, pp. 47–61 (2011)

    Google Scholar 

  17. Jakobovits, H., Vermeir, D.: Robust semantics for argumentation frameworks. J. Log. Comput. 9(2), 215–261 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  18. Jureta, I., Mylopoulos, J., Faulkner, S.: Analysis of Multi-Party Agreement in Requirements Validation. In: 17th IEEE International Requirements Engineering Conference, pp. 57–66 (2009)

    Google Scholar 

  19. van Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: Fifth IEEE International Symposium on Requirements Engineering, vol. 249 (2001)

    Google Scholar 

  20. van Lamsweerde, A., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering 24(11), 908–926 (1998)

    Article  Google Scholar 

  21. Modgil, S., Bench-Capon, T.J.M.: Metalevel argumentation. J. Log. Comput. 21(6), 959–1003 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  22. Pohl, K.: Requirements Engineering. Fundamentals, Principles, and Techniques. Springer (2010)

    Google Scholar 

  23. Rolland, C., Prakash, N., Benjamen, A.: A Multi-Model View of Process Modelling. Requirement Engineering 4(4), 169–187 (1999)

    Article  Google Scholar 

  24. Villata, S., Boella, G., van der Torre, L.: Argumentation Patterns. In: 8th International Workshop on Argumentation in Multi-Agent Systems, pp. 133–150 (2011)

    Google Scholar 

  25. Villata, S., Boella, G., Gabbay, D.M., van der Torre, L.: Arguing about the Trustworthiness of the Information Sources. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol. 6717, pp. 74–85. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  26. Yu, E.: Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: 3rd IEEE Int. Symp. on Requirements Engineering, pp. 226–235 (1997)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université de Nice Sophia Antipolis, France

    Isabelle Mirbel

  2. INRIA Sophia Antipolis, France

    Serena Villata

Authors
  1. Isabelle Mirbel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Serena Villata
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, L69 3BX, Liverpool, UK

    Michael Fisher

  2. University of Luxembourg, 6 Rue Richard Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Leon van der Torre

  3. Department of Information and Computing Sciences, Utrecht University, Princetonplein 5, 3584 CC, Utrecht, The Netherlands

    Mehdi Dastani

  4. Queensland Research Laboratory, NICTA, 4067, St. Lucia, QLD, Australia

    Guido Governatori

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mirbel, I., Villata, S. (2012). Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach. In: Fisher, M., van der Torre, L., Dastani, M., Governatori, G. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2012. Lecture Notes in Computer Science(), vol 7486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32897-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-32897-8_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-32896-1

  • Online ISBN: 978-3-642-32897-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation