Verification of problem-based learning systems using modified petri nets

University of Taipei > 理學院 > 資訊科學系 > 期刊論文 > Item 987654321/16003

請使用永久網址來引用或連結此文件: http://utaipeir.lib.utaipei.edu.tw/dspace/handle/987654321/16003

題名:	Verification of problem-based learning systems using modified petri nets
作者:	Shen, Victor R.L.;Wang, Yu-Ying;Yang, Cheng-Ying;楊政穎;Yeh, Szu-Tso
貢獻者:	臺北市立教育大學資訊科學系
關鍵詞:	Problem-based learning (PBL);Web-based instruction system;Petri net theory;Minimal siphon;UML activity diagram;AF net
日期:	2012-11
上傳時間:	2017-07-31 13:35:33 (UTC+8)
摘要:	In this paper, we intend to verify a web-based system on problem-based learning (PBL). To consider the design flow of the web-based PBL system, it is essential to avoid the potential hazard introduced by a logically incorrect system design. In order to eliminate the potential hazard, we define a new class of Petri net, namely, an Activity Flow (AF) net, which is suitable to be converted from a UML (Unified Modeling Language) activity diagram. Through the siphon-based deadlock detection of the AF net, we can find whether there is a process hazard in the UML activity diagram or not. This is helpful to implement the PBL system and to ensure the correct activities and the right control flow. In addition, we attempt to enhance the quality of the system verification by using a questionnaire. Thus we can interpret the user’s level of satisfaction with the designed PBL system. These two verification approaches bring us to achieve an adequately positive response to the web-based PBL system.
關聯:	Expert Systems with Applications，39(16)，P.12636-12649
顯示於類別:	[資訊科學系] 期刊論文

文件中的檔案:

沒有與此文件相關的檔案.

在uTaipei中所有的資料項目都受到原著作權保護.

資料載入中.....