On Generating EFSM Models from Use Cases
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
Bridging the gap: software specification meets intrusion detector
Proceedings of the 2006 International Conference on Privacy, Security and Trust: Bridge the Gap Between PST Technologies and Business Services
LTS semantics for use case models
Proceedings of the 2009 ACM symposium on Applied Computing
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Common semantics for use cases and task models
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
| Hi-index | 0.00 |
Use cases are a method for describing interactions between humans and/or systems. However, despite their popularity, there is no agreed formal syntax and semantics ofuse cases. The Abstract State Machine Language (ASML)is an executable specification language developed at Microsoft Research. In this paper we define an encoding ofuse cases in ASML and demonstrate the advantages by describing techniques to generate test cases and test oraclesfrom the encoding.