摘要

为了对E-learning的学习过程建模,采用双层建模技术,下层是语言描述层,以WfMC提出的XPDL为基础,结合学习领域的具体领域特征,对学习过程进行形式化描述,上层是流程逻辑层,采用对象Petri网实现,可以对下层模型进行数学上的分析、验证,保证所建模型的正确性、完整性,同时又可解决普通Petri网在规模过大时容易出现的状态爆炸问题。

全文