AuthorsP. Scandurra, A. Arnoldi, T. Yue and M. Dolci
EditorsS. Ossowski and P. Lecca
TitleFunctional Requirements Validation by Transforming Use Case Models Into Abstract State Machines
Afilliation, , Software Engineering
Project(s)The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2012
Conference NameSAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing
Pagination1063-1068
PublisherACM New York
Place PublishedNew York, NY, USA
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 signi{fi}cant, practical help for validating system requirements. This paper proposes the framework AsmetaRE to automatically transform Use Cases Models into ASM executable speci{fi}cations, and then validate systems requirements through simulation and scenario-based simulation of the generated ASMs with the help of the ASM analysis toolset ASMETA.

DOI10.1145/2245276.2231942
Citation KeySimula.simula.1702