Towards the verification of scenarios with time Petri-nets

Jonathan Lee; Jiann I. Pan; Jong Yih Kuo; Yong Yi Fanjiang; Stephen Yang

Towards the verification of scenarios with time Petri-nets

Jonathan Lee, Jiann I. Pan, Jong Yih Kuo, Yong Yi Fanjiang, Stephen Yang

研究成果: 雜誌貢獻 › 會議論文 › 同行評審

4 引文斯高帕斯（Scopus）

摘要

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.

原文	???core.languages.en_GB???
頁（從 - 到）	503-508
頁數	6
期刊	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

引用此

@article{3821f978f1a0409ba279a5527754cac1,

title = "Towards the verification of scenarios with time Petri-nets",

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 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.",

author = "Jonathan Lee and Pan, {Jiann I.} and Kuo, {Jong Yih} and Fanjiang, {Yong Yi} and Stephen Yang",

year = "2000",

language = "???core.languages.en_GB???",

pages = "503--508",

journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",

issn = "0730-3157",

note = "2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000) ; Conference date: 25-10-2000 Through 27-10-2000",

}

TY - JOUR

T1 - Towards the verification of scenarios with time Petri-nets

AU - Lee, Jonathan

AU - Pan, Jiann I.

AU - Kuo, Jong Yih

AU - Fanjiang, Yong Yi

AU - Yang, Stephen

PY - 2000

Y1 - 2000

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0034512289&partnerID=8YFLogxK

M3 - 會議論文

AN - SCOPUS:0034512289

SN - 0730-3157

SP - 503

EP - 508

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

T2 - 2000 IEEE 24th Annual International Computer Software and Applications Conference (COMPSAC 2000)

Y2 - 25 October 2000 through 27 October 2000

ER -

Towards the verification of scenarios with time Petri-nets

摘要

指紋

引用此