Task management strategies for automatic task generation and verification

In this research, we propose a strategy to support automatic task generation and verification for subjects that require handling mathematical formulas. The importance of supporting automatic problem generation is to reduce the teacher's efforts and to personalize e-learning tasks for students enforcing their understanding of a subject. Also, the automatic verification strategy provides immediate feedback. Our approach is based on a standardization of learning tasks by providing a formal definition of the structure of a learning activity. As e-Learning platforms are evolving towards service-orientation, we prototype our strategy by developing an e-Learning component that can be used as a stand-alone application, or its logic can be exposed as a set of services for external applications.