Goal-satisfaction verification to combination of use case components

Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki

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

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

Software engineering
Uncertainty

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

Goal-satisfaction verification to combination of use case components. / Matsuura, Saeko; Ogata, Shinpei; Aoki, Yoshitaka.

ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. ed. / Ernesto Damiani; George Spanoudakis; Leszek Maciaszek; Leszek Maciaszek. SciTePress, 2018. p. 343-350 (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering; Vol. 2018-March).

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

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. ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, vol. 2018-March, SciTePress, pp. 343-350, 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Portugal, 18/3/23. https://doi.org/10.5220/0006785003430350
Matsuura S, Ogata S, Aoki Y. Goal-satisfaction verification to combination of use case components. In Damiani E, Spanoudakis G, Maciaszek L, Maciaszek L, editors, ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. SciTePress. 2018. p. 343-350. (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering). https://doi.org/10.5220/0006785003430350
Matsuura, Saeko ; Ogata, Shinpei ; Aoki, Yoshitaka. / Goal-satisfaction verification to combination of use case components. ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering. editor / Ernesto Damiani ; George Spanoudakis ; Leszek Maciaszek ; Leszek Maciaszek. SciTePress, 2018. pp. 343-350 (ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering).
@inproceedings{def5be6c86d146e383ac3d88768a240a,
title = "Goal-satisfaction verification to combination of use case components",
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.",
keywords = "Model checking, Non-functional requirements, Requirements analysis, Use case",
author = "Saeko Matsuura and Shinpei Ogata and Yoshitaka Aoki",
year = "2018",
month = "1",
day = "1",
doi = "10.5220/0006785003430350",
language = "English",
series = "ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering",
publisher = "SciTePress",
pages = "343--350",
editor = "Ernesto Damiani and George Spanoudakis and Leszek Maciaszek and Leszek Maciaszek",
booktitle = "ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering",

}

TY - GEN

T1 - Goal-satisfaction verification to combination of use case components

AU - Matsuura, Saeko

AU - Ogata, Shinpei

AU - Aoki, Yoshitaka

PY - 2018/1/1

Y1 - 2018/1/1

N2 - 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.

AB - 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.

KW - Model checking

KW - Non-functional requirements

KW - Requirements analysis

KW - Use case

UR - http://www.scopus.com/inward/record.url?scp=85073903157&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85073903157&partnerID=8YFLogxK

U2 - 10.5220/0006785003430350

DO - 10.5220/0006785003430350

M3 - Conference contribution

AN - SCOPUS:85073903157

T3 - ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering

SP - 343

EP - 350

BT - ENASE 2018 - Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering

A2 - Damiani, Ernesto

A2 - Spanoudakis, George

A2 - Maciaszek, Leszek

A2 - Maciaszek, Leszek

PB - SciTePress

ER -