Constructing SCORM compliant course based on high-level Petri nets

被引:16
|
作者
Su, JM
Tseng, SS
Chen, CY
Weng, JF
Tsai, WN
机构
[1] Natl Chiao Tung Univ, Dept Comp & Informat Sci, Hsinchu 300, Taiwan
[2] Natl Chiao Tung Univ, Dept Comp Sci & Informat Engn, Hsinchu 300, Taiwan
关键词
adaptive learning environment; high-level Petri nets (HLPN); SCORM; course sequencing; learning activity;
D O I
10.1016/j.csi.2005.04.001
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different e-learning system, Sharable Content Object Reference Model (SCORM) is the most popular standard among existing international standards. In SCORM standard, the Sequencing and Navigation (SN) defines the course sequencing behavior, which controls the sequencing, selecting and delivering of a course, and organizes the content into a hierarchical structure, namely Activity Tree (AT). However, the structures with complicated sequencing rules of Activity Tree (AT) in SCORM make the design and creation of course sequences hard. Therefore, how to provide a user-friendly authoring tool to efficiently construct SCORM compliant course becomes an important issue. However, before developing the authoring tool, how to provide a systematic approach to analyze the sequencing rules and to transform the created course into SCORM compliant are our concerns. Therefore, in this paper, based upon the concept of Object Oriented Methodology (OOM), we propose a systematic approach, called Object Oriented Course Modeling (OOCM), to construct the SCORM compliant course. High-Level Petri Nets (HLPN), which is a powerful language for system modeling and validation, are applied to model the basic sequencing components, called Object-Oriented Activity Tree (OOAT), for constructing the SCORM course with complex sequencing behaviors. Every OOAT as a middleware represents a specific sequencing behavior in teaming activity and corresponding structure with associated sequencing rules of AT in SCORM. Thus, these OOATs can be efficiently used to model and construct the course with complex sequencing behaviors for different teaming guidance. Moreover, two algorithms, called PN2AT and AT2CP, are also proposed to transform HLPN modeled by OOATs into a tree-like structure with related sequencing rules in Activity Tree (AT) and package the AT and related physical teaming resources into a SCORM compliant course file described by XML language, respectively. Finally, based upon the OOCM scheme, a prototypical authoring tool with graphical user interface (GUI) is developed. For evaluating the efficiency of the OOCM approach compared with existing authoring tools, an experiment has been done. The experimental results show that the OOCM approach is workable and beneficial for teachers/ instructional designers. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码:336 / 355
页数:20
相关论文
共 50 条
  • [21] Generalised composition operations for high-level Petri nets
    Best, Eike
    Lavrov, Alexander
    Fundamenta Informaticae, 1999, 40 (2-3): : 125 - 163
  • [22] PUTTING HIGH-LEVEL PETRI NETS TO WORK IN INDUSTRY
    VANDERAALST, WMP
    COMPUTERS IN INDUSTRY, 1994, 25 (01) : 45 - 54
  • [23] Reinforcement learning for high-level fuzzy Petri nets
    Shen, VRL
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2003, 33 (02): : 351 - 362
  • [24] Formal verification method of simulation scenario based on high-level Petri nets
    Control and Simulation Center, Harbin Institute of Technology, Harbin 150001, China
    Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
  • [25] Formal aspects for semantic service modeling based on high-level Petri nets
    Koehler, Michael
    Ortmann, Jan
    INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE FOR MODELLING, CONTROL & AUTOMATION JOINTLY WITH INTERNATIONAL CONFERENCE ON INTELLIGENT AGENTS, WEB TECHNOLOGIES & INTERNET COMMERCE, VOL 1, PROCEEDINGS, 2006, : 107 - +
  • [26] Formal verification of complex business processes based on high-level Petri nets
    Kheldoun, Ahmed
    Barkaoui, Kamel
    Ioualalen, Malika
    INFORMATION SCIENCES, 2017, 385 : 39 - 54
  • [27] A high-level Petri nets-based approach to verifying task structures
    Lee, J
    Lai, LF
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2002, 14 (02) : 316 - 335
  • [28] User interface prototyping based on UML scenarios and high-level Petri nets
    Elkoutbi, M
    Keller, RK
    APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 166 - 186
  • [29] A Stock Market Prediction System Based on High-Level Fuzzy Petri Nets
    Shen, Rong-Kuan
    Yang, Cheng-Ying
    Shen, Victor R. L.
    Li, Wei-Chen
    Chen, Tzer-Shyong
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2018, 26 (05) : 771 - 808
  • [30] Web-based Simulation of Production Schedules with High-level Petri Nets
    Simon, Carlo
    32ND EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2018), 2018, : 275 - 281