.png){kind=icon}
返回
Verification of problem-based learning systems using modified petri nets
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2012.05.019.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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. (C) 2012 Elsevier Ltd. All rights reserved.
Keyword:
Problem-based learning (PBL)
Web-based instruction system
Petri net theory
Minimal siphon
UML activity diagram
AF net
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
7.5
论文数:
3.0W
被引数:
10.2W
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏
查看更多内容