"WebEx: Web Exercises for RISCAL"
, Serie RISC Report Series, Johannes Kepler University Linz, Austria, RISC, JKU, Hagenberg, Linz, 10-2018
WebEx: Web Exercises for RISCAL
Sprache des Titels:
We report on a software framework "WebEx" for developing web-based student exercises whose correctness is checked with the help of the RISCAL (RISC Algorithm Language) software. This framework allows to generate from an appropriately annotated RISCAL specification file an HTML file that serves as the frontend to a remote execution service. Student input (RISCAL fragments) are transmitted to this execution service which generates from the annotated specification file and the input a plain RISCAL specification on which RISCAL is invoked (in a non-interactive mode); the success status of the execution and the produced output are reported back to the web interface. For each successful exercise the server produces a digitally signed certificate that is returned to the user who may submit this certificate as a proof of successful completion of the exercise (which may be subsequently automatically checked). Furthermore each annotated RISCAL specification may serve as a template that may be instantiated with other data to produce a set of exercise instances. The WebEx software is mostly independent of RISCAL; it may be also used to provide a web front end for other scientific software of a similar nature.
Sprache der Kurzfassung:
RISC Report Series, Johannes Kepler University Linz, Austria