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. The proposed approach is illustrated by a course registration problem domain.
|頁（從 - 到）||503-508|
|期刊||Proceedings - IEEE Computer Society's International Computer Software and Applications Conference|
|出版狀態||已出版 - 2000|
|事件||2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000) - Taipei, Taiwan|
持續時間: 25 10月 2000 → 27 10月 2000