基于工作流的在线学习强调利用已有的IT基础设施来实现对学习过程的管理,而对学习过程中学习活动的支持仍由学习管理系统( LMS Learning Management Systems)来完成。然而,要对学习过程进行管理,首先要对学习过程本身进行形式化的描述。如果采用现有的标准对学习过程建模,很难对学习过程进行完整而便利的描述。此外,这些模型还存在一个共同的缺点,缺乏严格的形式化定义,很难支持对学习过程的正确性的分析与验证。针对现状,本文通过分析工作流建模、学习活动建模和工作流网建模,提出一种基于工作流网的学习流模型。此模型采用双层建模方案,即流程逻辑层和流程描述层。在流程描述层将工作流管理联盟提出的XPDL标准与IMS提出的LD(Learning Design)规范相结合,形成学习流模型。学习流模型以XPDL为基础,保留其中参与交互的基础元素,同时结合IMS LD的部分学习领域元素,既保持了XPDL原有的灵活路由结构,又能完整的描述学习活动,适合于学习过程建模。在流程逻辑层则采用扩展的Petri网-工作流网,由于Petri网具有严格的形式化定义,可以利用它来保证流程模型的严密性,并实现对学习流程的有效性、正确性分析验证。此外,完成从流程逻辑层到流程描述层的映射。流程逻辑层保证所建学习流模型的正确性、有效性,流程描述层则保证对所建学习流模型的完整性和灵活性。最后,为了验证学习流模型的合理性和可行性,本文设计并实现了一套学习流建模工具——WBLFM-Maker。通过与其它建模方法的比较分析发现,它既能较完整有效的描述学习流程,又能保证所建流程模型具有严格的形式化定义,支持对学习流程的分析与验证。