Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises
0 likes124 views
Wodel-edu is a Model Driven Engineering solution developed by researchers at Universidad Autónoma de Madrid for generating and evaluating diagram-based exercises, primarily focused on Deterministic Finite Automata (DFA) exercises. It supports five types of exercises and aims to expand to other domains, providing a tool to ease the workload of professors in generating a high volume of exercises. Future developments include validating these exercises in real university courses and creating additional types of exercises.
Wodel-Edu: An MDE Solution for the Generation and Evaluation of Diagram-based Exercises
- 1. P. Gómez-Abajo , A. Rico-Fernández, E. Guerra, J. de Lara Modelling&Software Engineering Research Group http://miso.es Universidad Autónoma de Madrid (Spain) WODEL-EDU: AN MDE SOLUTION FOR THE GENERATION AND EVALUATION OF DIAGRAM-BASED EXERCISES October 2021
- 2. OVERVIEW OF THE APPROACH 2
- 3. OVERVIEW OF THE APPROACH 2 Wodel-Edu demo
- 4. 3 Wodel & Wodel-Edu website: http://gomezabajo.github.io/Wodel/
- 5. • Generation of exercises for DFA • Currently, the evaluation of the exercises for DFA in a real university course is a work under review • Generated for Moodle, mobile apps and the web • Five different kinds of exercises currently supported • Future work • New kinds of exercises • Exercises for other domains: class diagrams, electronic circuits, and so on • Evaluate the generated exercises in real university courses 4 CONCLUSIONS & FUTURE WORK
- 6. • There is a lack of frameworks to generate domain-independent exercises • There is a need to generate a high number of exercises • An assistance tool of this kind would alleviate much of the professors’ work • Extension of the Wodel tool for model mutation to generate and evaluate diagram-based exercises for any domain: Wodel-Edu 5 PROBLEM PROPOSED SOLUTION
- 7. WODEL DSL Wodel for model mutation with: • High level mutation primitives • Domain independent • Compiled to Java code Extensible execution services • Mutant validation • Equivalent mutants' detection • Registry of the applied mutation operators • Extensible for post-processing applications Development services • Seed model synthesis • Mutation footprints 6
- 8. WODEL EXAMPLE 7 generate 4 mutants in "out/" from "models/" metamodel "http://fa.com" with blocks { mts "modifies the target State of a Transition" { modify target tar from one Transition to other State }}