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

^*此作品的通讯作者

University of Bergamo
Simula Research Laboratory

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

11 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	27th Annual ACM Symposium on Applied Computing, SAC 2012
页	1063-1068
页数	6
DOI	https://doi.org/10.1145/2245276.2231942
出版状态	已出版 - 2012
已对外发布	是
活动	27th Annual ACM Symposium on Applied Computing, SAC 2012 - Trento, 意大利期限: 26 3月 2012 → 30 3月 2012

出版系列

姓名	Proceedings of the ACM Symposium on Applied Computing

会议

会议	27th Annual ACM Symposium on Applied Computing, SAC 2012
国家/地区	意大利
市	Trento
时期	26/03/12 → 30/03/12

访问文件

10.1145/2245276.2231942

其它文件与链接

链接到 Scopus 的出版物

引用此

@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. 在 27th Annual ACM Symposium on Applied Computing, SAC 2012. Proceedings of the ACM Symposium on Applied Computing, 页码 1063-1068, 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, 意大利, 26/03/12. https://doi.org/10.1145/2245276.2231942

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

摘要

出版系列

会议

访问文件

其它文件与链接

指纹

引用此