Distributed and Parallel Databases
An Integrated Formal Model of Scenarios Based on Statecharts
Proceedings of the 5th European Software Engineering Conference
Automatic Test Generation: A Use Case Driven Approach
IEEE Transactions on Software Engineering
Supporting use case based requirements engineering
Information and Software Technology
Specifying precise use cases with use case charts
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
An approach for supporting system-level test scenarios generation from textual use cases
Proceedings of the 2008 ACM symposium on Applied computing
| Hi-index | 0.00 |
The ability to express sequencing constraints is critical to use case based software development. These constraints are needed to effectively compose use case behavior and support verification and validation activities such as simulation and testing. In this paper, we consider the addition of use case description elements to explicitly express sequencing constraints between use cases. We introduce two complementary constructs. One allows to specify which use cases need to precede a use case and how these preceding use cases are synchronized. The second construct allows to specify which use cases are enabled from a use case and how these use cases execute concurrently. We relate the introduced elements to UML activity diagrams and implicit sequencing based on preconditions and postconditions.