Object-oriented development in an industrial environment
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Communications of the ACM - Special issue on analysis and modeling in software development
Inquiry-Based Requirements Analysis
IEEE Software
Model checking of hierarchical state machines
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Use case driven object modeling with UML: a practical approach
Use case driven object modeling with UML: a practical approach
Proceedings of the 24th International Conference on Software Engineering
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Translating Use Cases to Sequence Diagrams
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
UML Distilled: A Brief Guide to the Standard Object Modeling Language
UML Distilled: A Brief Guide to the Standard Object Modeling Language
Testable Use Cases in the Abstract State Machine Language
APAQS '01 Proceedings of the Second Asia-Pacific Conference on Quality Software
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Formal Abstract Architecture for Use Case Specifications
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM
COMPSAC '05 Proceedings of the 29th Annual International Computer Software and Applications Conference - Volume 01
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Information and Software Technology
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.