Skip to main content
SpringerLink
Log in

2-dip-dfs: Algorithm to Detect Conflict Between Two Goal Selection Criteria

  • Conference paper
  • First Online:
Requirements Engineering Toward Sustainable World (APRES 2016)

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

Included in the following conference series:

  • 579 Accesses

Abstract

In the requirements elicitation stage of goal-oriented requirements engineering, there is often a conflict between two goal selection criteria. This conflict can be detected by analyzing all pairs of each goal selection criterion for each subgoal graph with two layers in a goal graph. In this study, we defined a conflict between two goal selection criteria as a situation in which the selected child goal of a parent goal is different between one goal selection criterion in the pair and the other. On this basis, we proposed a metric called 2-dip(g) for detecting conflicts. Based on 2-dip(g), we developed an algorithm that can detect all conflicts in a goal graph. Because the algorithm uses a depth-first search, we called it 2-dip-dfs. By applying the algorithm result to a real goal graph, we demonstrated that 2-dip-dfs functions as designed.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    A Boolean fomula is in CNF if and only if it is in the form \(\bigwedge _{i}\bigvee _{j}l_{ij}\), where \(l_{ij}\) are literals. A literal is an atomic formula or its negation. A disjunction \(\bigvee _{j}l_{j}\) is called clause.

References

  1. Aho, A.V., Hopcroft, J.E., Ullman, J.D.: Data Structures and Algorithms. Addison Wesley, Amsterdam (1983)

    MATH  Google Scholar 

  2. Alexander, I., Beus-Dukic, L.: Discovering Requirements. John Wiley & Sons, New York (2009)

    Google Scholar 

  3. Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Cliffs (1981)

    MATH  Google Scholar 

  4. Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. Artif. Intell. 18, 159–171 (2005)

    Article  Google Scholar 

  5. Horkoff, J., Yu, E.: Analyzing goal models - different approaches and how to choose among them. In: Proceedings of the 11th SIGAPP ACM Symposium on Applied Computing (SAC 2011), pp. 675–682 (2011)

    Google Scholar 

  6. Kaiya, H., Horai, H., Saeki, M.: AGORA: attributed goal-oriented requirements analysis method. In: Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering (RE 2002), pp. 13–22 (2002)

    Google Scholar 

  7. Kaiya, H., Shinbara, D., Kawano, J., Saeki, M.: Improving the detection of requirements discordances among stakeholders. Requirements Eng. 10(4), 289–303 (2005)

    Article  Google Scholar 

  8. van Lamsweerde, A., Darimont, R., Letier, E.: Managing conflicts in goal-driven requirements engineering. IEEE Trans. Softw. Eng. (TSE) 24(11), 908–926 (1998). Special Issue on Managing Inconsistency in Software in Software Developtment

    Article  Google Scholar 

  9. Mylopoulos, J.: Goal-oriented requirements engineering: Part II. In: Presentation Slides of the 14th IEEE International Requirements Engineering Conference (RE 2006) (2006). https://files.ifi.uzh.ch/rerg/arvo/events/RE06/ConferenceProgram/RE06_slides_Mylopoulos.pdf

  10. Mylopoulos, J., Castro, J., Kolp, M.: Tropos: a framework for requirements-driven software development. In: Information Systems Engineering: State of the Art and Research Themes, pp. 261–273. Springer, Berlin (2000)

    Google Scholar 

  11. Nilsson, N.J.: Principles of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo (1980)

    MATH  Google Scholar 

  12. Robertson, S., Robertson, J. (eds.): Mastering the Requirements Process: Getting Requirements Right, 3rd edn. Addison-Wesley Professional, Boston (2012)

    Google Scholar 

  13. Saito, S., Yamamoto, S.: An attributed-based goal selection analysis method. J. Jpn Soc. Manage. Inf. 15(3), 37–50 (2006). [in Japanese]

    Google Scholar 

  14. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. John Wiley & Sons, Chichester (2009)

    Google Scholar 

  15. Yamamoto, S., Kaiya, H., Cox, K., Bleinstein, S.: Goal oriented requirements engineering trends and issues. IEICE Trans. Inf. Syst. E89-D(11), 2701–2711 (2006)

    Google Scholar 

  16. Yu, E., Giorgini, P., Maiden, N., Mylopoulos, J.: Social Modeling for Requirements Engineering. The MIT Press, Cambridge (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Industrial and Systems Engineering, College of Science and Engineering, Aoyama Gakuin University, Tokyo, 252-5258, Japan

    Shin’ichi Sato

Authors
  1. Shin’ichi Sato
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shin’ichi Sato .

Editor information

Editors and Affiliations

  1. Dept. of Software and Computer Engin., Ajou University, Suwon, Kyonggi-do, Korea (Republic of)

    Seok-Won Lee

  2. The Open University of Japan , Chiba, Japan

    Takako Nakatani

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Sato, S. (2016). 2-dip-dfs: Algorithm to Detect Conflict Between Two Goal Selection Criteria. In: Lee, SW., Nakatani, T. (eds) Requirements Engineering Toward Sustainable World . APRES 2016. Communications in Computer and Information Science, vol 671. Springer, Singapore. https://doi.org/10.1007/978-981-10-3256-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-3256-1_6

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-3255-4

  • Online ISBN: 978-981-10-3256-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation