Functional requirements validation by transforming use case models into Abstract State Machines
Patrizia Scandurra, Andrea Arnoldi, Tao Yue, Marco Dolci · 2012
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.