首页> 外文会议>International Conference on Education and e-Learning Innovations >A Petri-Net model based timing constraints specification for e-learning system
【24h】

A Petri-Net model based timing constraints specification for e-learning system

机译:基于Petri-Net模型的电子学习系统时序约束规范

获取原文

摘要

E-learning has been quite prevailing both in academia and industry. The development of e-learning models is not only addressing the concerns of the learner but also a technological challenge. There must be a business collaborating mechanism in learning process to ensure efficient and effective accomplishment of the learning activities. This paper presents a novel approach to map the collaborating mechanism into an e-learning application which uses the web services technology with a timing constraints specification. Our efforts concentrate on proposing a conceptual framework to conspicuously help designer in the optimizing the e-learning process through a robust comprehension of collaboration relationship between learning objects. Thanks to the transformation of framework to Hierarchical Timed Predicate Petri-Nets model, desirable properties such as deadlock free and safe as well as timing constraints satisfiability can be easily checked by designer.
机译:在学术界和工业中,电子学习一直在普遍存在。电子学习模型的发展不仅涉及学习者的担忧,而且是一种技术挑战。在学习过程中必须有一个商业合作机制,以确保有效和有效地实现学习活动。本文介绍了将协作机制映射到使用Web服务技术的电子学习应用程序与时序约束规范的新方法。我们的努力专注于提出一个概念框架,通过强大地理解学习对象之间的协作关系来优化电子学习过程来实现概念性框架。由于框架转换到分级时间谓词Petri-nets模型,设计者可以容易地检查所需的性能,例如死锁,以及定时约束可满足性。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号