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.