In: Proc. 24th Annual Int. Computer Software and Applications Conf. (COMPSAC-2000), 25-27 October 2000, Taipei, Taiwan, pages 503-508. 2000.
Abstract: 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 corresponding time Petri net (TPN) model. Through analysis of these TPN models, wrong and missing information in scenarios can be detected. The proposed approach is illustrated by a course registration problem domain.
Keywords: scenario verification, time Petri nets, use cases.