LTS semantics for use case models
Proceedings of the 2009 ACM symposium on Applied Computing
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Hi-index | 0.00 |
Use case-based behavior modeling of applications provides a modeler with an intuitive way of capturing requirements and therefore is considered to be more usable than other conventional behavior modeling techniques. However, such models lack sufficient structure to allow them to be analyzed and processed automatically. In this paper, we demonstrate how a combination of use case diagrams and UML class diagrams can be converted to extended finite state machine model. This algorithm addresses all standard UML 2.0 use case constructs as well as additional concerns such as conditional updates and exceptions.