@misc{8796,
  author = {Patrizia Scandurra and Andrea Arnoldi and Tao Yue and Marco Dolci},
  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 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.},
  year = {2012},
  journal = {SAC {\textquoteright}12 Proceedings of the 27th Annual ACM Symposium on Applied Computing},
  pages = {1063-1068},
  publisher = {ACM New York},
  address = {New York, NY, USA},
  doi = {10.1145/2245276.2231942},
  editor = {Sascha Ossowski and Paola Lecca},
}