An experimental study of fault detection in user requirements documents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Requirements Elicitation and Validation with Real World Scenes
IEEE Transactions on Software Engineering
Making Use of Scenarios for Validating Analysis and Design
IEEE Transactions on Software Engineering
Scenario-Based Analysis of Software Architecture
IEEE Software
Scenarios in System Development: Current Practice
IEEE Software
Proceedings of the 2009 ACM symposium on Applied Computing
Verification of Use Case with Petri Nets in Requirement Analysis
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part II
| Hi-index | 0.00 |
The focus of this paper is on the use of time Petri-nets to serve as the verification mechanism for the acquired scenarios. Use cases are used to elicit the user needs and to derive the scenarios. After specifying all possible scenarios, each of them can be transformed into its correspondent time Petri-nets model (TPN). Through the analysis of these TPN models, wrong information and missing information in scenarios can be detected. A course registration problem domain illustrates the proposed approach.