Verifying scenarios with time Petri-nets

Information and Software Technology

Volumn 43, Issue 13, 2001, Pages 769-781

  Lee, Jonathan ^a   Pan, Jiann I ^b   Kuo, Jong Yih ^c  

^a NATIONAL CENTRAL UNIVERSITY   (Taiwan)

^b CHIENKUO TECHNOLOGY UNIVERSITY   (Taiwan)

^c FU JEN CATHOLIC UNIVERSITY   (Taiwan)

Author keywords

Requirements engineering; Scenarios; Time Petri nets; Use case; Verification

Indexed keywords

COMPUTER SYSTEMS; INFORMATION ANALYSIS; PETRI NETS; REQUIREMENTS ENGINEERING;

SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0035889360     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(01)00184-7     Document Type: Article

References (32)

1. Utilizing scenarios in the software development process
2. Modeling and verification of time dependent systems using time petri nets
3. Use case maps as architectural entities for complex systems
4. The scenario perspective on system development
5. Requirements development in scenario-based design
6. Integration of sequential scenarios
7. A service creation environment based on scenarios
8. Making use of scenarios for validating analysis and design
9. Requirements elicitation and validation with real world scenes
10. Automated consistency checking of requirements specifications
11. Scenario-based techniques for supporting the elaboration and validation of formal requirements
12. Formal approach to scenario analysis
13. Screen-based scenario generator: A tool for scenario-based
14. A. Scenario-based, a scenario-based methodology for conducting requirements elicitation
15. Scenario-based analysis of software architecture
16. Analyzing user requirements by use cases: A goal-driven approach
17. Integration and analysis of use cases using modular Petri-nets in requirements engineering
18. Developing initial ooa models
19. Recoverability of communication protocols
20. Petri nets: Properties, analysis and application
21. Inquiry-based requirements analysis
22. Getting started: Using use cases to capture requirements
23. An experimental study of fault detection in user requirements documents
24. From scenarios to timed automata: Building specifications from users requirements
25. Supporting scenario-based requirements engineering
26. Scenarios in system development: Current practice