Goal-satisfaction verification to combination of use case components

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

Functional requirements of a system can be specified by fundamental use cases that satisfy "the effective and useful scenarios in the system usage" so as to meet "the goal of the system". Ambiguous non-functional requirements against the system goal often cause uncertainty of use cases and scenarios at the early stage of software development. In this paper, from the viewpoint of non-functional requirements that are included in the goal, we discuss how to check satisfaction of the goal due to the combination of functional requirements during requirements analysis using an example.

Original languageEnglish
Title of host publicationENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
EditorsErnesto Damiani, George Spanoudakis, Leszek Maciaszek, Leszek Maciaszek
PublisherSciTePress
Pages343-350
Number of pages8
ISBN (Electronic)9789897583001
DOIs
Publication statusPublished - 2018 Jan 1
Event13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018 - Funchal, Portugal
Duration: 2018 Mar 232018 Mar 24

Publication series

NameENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering
Volume2018-March

Conference

Conference13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018
CountryPortugal
CityFunchal
Period18/3/2318/3/24

    Fingerprint

Keywords

  • Model checking
  • Non-functional requirements
  • Requirements analysis
  • Use case

ASJC Scopus subject areas

  • Computer Science Applications
  • Software

Cite this

Matsuura, S., Ogata, S., & Aoki, Y. (2018). Goal-satisfaction verification to combination of use case components. In E. Damiani, G. Spanoudakis, L. Maciaszek, & L. Maciaszek (Eds.), ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (pp. 343-350). (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; Vol. 2018-March). SciTePress. https://doi.org/10.5220/0006785003430350