Functional requirements validation by transforming use case models into Abstract State Machines

Authors:
Patrizia Scandurra;Andrea Arnoldi;Tao Yue;Marco Dolci
Affiliations:
DIIMM, Univ. of Bergamo, Italy;DIIMM, Univ. of Bergamo, Italy;Simula Research Laboratory, Oslo, Norway;DIIMM, Univ. of Bergamo, Italy
Venue:
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Year:
2012

Citing 7
Cited 0

Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Operational specification as the basis for rapid prototyping

Proceedings of the workshop on Rapid prototyping
A Scenario-Based Validation Language for ASMs

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
A systematic review of transformation approaches between user requirements and analysis models

Requirements Engineering
Automated transition from use cases to UML state machines to support state-based testing

ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Facilitating the transition from use case models to analysis models: Approach and experiments

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

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.