The aim of this paper is to describe a basic idea to introduce formal modeling in development and presentation of e-learning systems. By introducing formalism, reasoning on e-learning systems and processes through them can be more easily understood. In particular, we propose to use Harel automata (statecharts) in modeling sequencing and navigation through learning content and learning process.
@article{arxiv.1310.8204,
title = {Sequencing and navigation through learning content},
author = {Gordana Rakic and Ljubomir Jerinic and Zoran Budimac and Mirjana Ivanovic},
journal= {arXiv preprint arXiv:1310.8204},
year = {2013}
}