Functional requirements validation by transforming use case models into abstract state machines

Patrizia Scandurra; Andrea Arnoldi; Tao Yue; Marco Dolci

doi:10.1145/2245276.2231942

Functional requirements validation by transforming use case models into abstract state machines

Patrizia Scandurra^*
, Andrea Arnoldi
, Tao Yue
, Marco Dolci

^*Corresponding author for this work

University of Bergamo
Simula Research Laboratory

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

11 Scopus citations

Abstract

Use cases are commonly used to structure and document functional requirements while formal methods, such as Abstract State Machines (ASMs), are helpful to specify the behavior of a system and serve to validate system requirements. Therefore, automated support for the transition from use cases to formal models would provide significant, practical help for validating system requirements. This paper proposes the framework AsmetaRE to automatically transform Use Cases Models into ASM executable specifications, and then validate systems requirements through simulation and scenario-based simulation of the generated ASMs with the help of the ASM analysis toolset ASMETA.

Original language	English
Title of host publication	27th Annual ACM Symposium on Applied Computing, SAC 2012
Pages	1063-1068
Number of pages	6
DOIs	https://doi.org/10.1145/2245276.2231942
State	Published - 2012
Externally published	Yes
Event	27th Annual ACM Symposium on Applied Computing, SAC 2012 - Trento, Italy Duration: 26 Mar 2012 → 30 Mar 2012

Publication series

Name	Proceedings of the ACM Symposium on Applied Computing

Conference

Conference	27th Annual ACM Symposium on Applied Computing, SAC 2012
Country/Territory	Italy
City	Trento
Period	26/03/12 → 30/03/12

Keywords

abstract state machines
requirements validation
use cases

Access to Document

10.1145/2245276.2231942

Cite this

@inproceedings{bb2de8cfd85b4edb97bffea2313da0a8,

title = "Functional requirements validation by transforming use case models into abstract state machines",

abstract = "Use cases are commonly used to structure and document functional requirements while formal methods, such as Abstract State Machines (ASMs), are helpful to specify the behavior of a system and serve to validate system requirements. Therefore, automated support for the transition from use cases to formal models would provide significant, practical help for validating system requirements. This paper proposes the framework AsmetaRE to automatically transform Use Cases Models into ASM executable specifications, and then validate systems requirements through simulation and scenario-based simulation of the generated ASMs with the help of the ASM analysis toolset ASMETA.",

keywords = "abstract state machines, requirements validation, use cases",

author = "Patrizia Scandurra and Andrea Arnoldi and Tao Yue and Marco Dolci",

year = "2012",

doi = "10.1145/2245276.2231942",

language = "英语",

isbn = "9781450308571",

series = "Proceedings of the ACM Symposium on Applied Computing",

pages = "1063--1068",

booktitle = "27th Annual ACM Symposium on Applied Computing, SAC 2012",

note = "27th Annual ACM Symposium on Applied Computing, SAC 2012 ; Conference date: 26-03-2012 Through 30-03-2012",

}

Scandurra, P, Arnoldi, A, Yue, T & Dolci, M 2012, Functional requirements validation by transforming use case models into abstract state machines. in 27th Annual ACM Symposium on Applied Computing, SAC 2012. Proceedings of the ACM Symposium on Applied Computing, pp. 1063-1068, 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, Italy, 26/03/12. https://doi.org/10.1145/2245276.2231942

Functional requirements validation by transforming use case models into abstract state machines. / Scandurra, Patrizia; Arnoldi, Andrea; Yue, Tao et al.
27th Annual ACM Symposium on Applied Computing, SAC 2012. 2012. p. 1063-1068 (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Functional requirements validation by transforming use case models into abstract state machines

AU - Scandurra, Patrizia

AU - Arnoldi, Andrea

AU - Yue, Tao

AU - Dolci, Marco

PY - 2012

Y1 - 2012

N2 - Use cases are commonly used to structure and document functional requirements while formal methods, such as Abstract State Machines (ASMs), are helpful to specify the behavior of a system and serve to validate system requirements. Therefore, automated support for the transition from use cases to formal models would provide significant, practical help for validating system requirements. This paper proposes the framework AsmetaRE to automatically transform Use Cases Models into ASM executable specifications, and then validate systems requirements through simulation and scenario-based simulation of the generated ASMs with the help of the ASM analysis toolset ASMETA.

AB - Use cases are commonly used to structure and document functional requirements while formal methods, such as Abstract State Machines (ASMs), are helpful to specify the behavior of a system and serve to validate system requirements. Therefore, automated support for the transition from use cases to formal models would provide significant, practical help for validating system requirements. This paper proposes the framework AsmetaRE to automatically transform Use Cases Models into ASM executable specifications, and then validate systems requirements through simulation and scenario-based simulation of the generated ASMs with the help of the ASM analysis toolset ASMETA.

KW - abstract state machines

KW - requirements validation

KW - use cases

UR - https://www.scopus.com/pages/publications/84863599754

U2 - 10.1145/2245276.2231942

DO - 10.1145/2245276.2231942

M3 - 会议稿件

AN - SCOPUS:84863599754

SN - 9781450308571

T3 - Proceedings of the ACM Symposium on Applied Computing

SP - 1063

EP - 1068

BT - 27th Annual ACM Symposium on Applied Computing, SAC 2012

T2 - 27th Annual ACM Symposium on Applied Computing, SAC 2012

Y2 - 26 March 2012 through 30 March 2012

ER -

Functional requirements validation by transforming use case models into abstract state machines

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this