Title :
Towards the verification of scenarios with time Petri-nets
Author :
Lee, Jonathan ; Pan, Jiann-I ; Kuo, Jong-Yih ; FanJiang, Yong-Yi ; Yang, Stephen
Author_Institution :
Dept. of Comput. Sci. & Inf. Eng., Nat. Central Univ., Chung-Li, Taiwan
Abstract :
The focus of the paper is on the use of time Petri nets to serve as the verification mechanism for 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 corresponding time Petri nets model (TPN). Through the analysis of these TPN models, wrong information and missing information in scenarios can be detected. The proposed approach is illustrated by a course registration problem domain
Keywords :
Petri nets; program verification; temporal logic; TPN models; acquired scenarios; course registration problem domain; missing information; scenario verification; time Petri nets; timed Petri nets; use cases; user needs; verification mechanism; wrong information; Application software; Computer applications; Computer science; Information analysis; Information management; Programming; Software systems; Timing;
Conference_Titel :
Computer Software and Applications Conference, 2000. COMPSAC 2000. The 24th Annual International
Conference_Location :
Taipei
Print_ISBN :
0-7695-0792-1
DOI :
10.1109/CMPSAC.2000.884773
