OASYS is the Online Assessment SYStem, used in the Department of Computer Science at the University of Warwick to help teach Design of Information Structures in 1999-2000 and 2000-2001. The OASYS process involves students sitting a web-based test, creating what is known as a script, which is recorded in a mysql database. After the test, the students mark three scripts created by their peers. These marks are fed back to the originator of the script. The process was designed to give speedy, human feedback. There were four tests in all.
The process is actually driven by the actions of students and a few global observable values, such as "tests in session". For example, a student can take a test if that test is in session, if that test is available (has been written yet!), if they have not already done the test and if they are using a machine with a valid IP address (ie they are sitting in a supervised room). This design allows the system to make local decisions when web pages are served up by students -- there is no persistent "management" process controlling everything, hopefully simplifying implementation and design.
In order to test the design, I created a small Eden model, which contains observables relating to students and administrators actions, and dependencies modelling whether a certain action is possible. Another script then moves this cluster of dependencies through a simulation of the four tests, printing some diagnostic output.
The Eden model gave me confidence that the process design was correct, and I went and implemented it in PHP3. The privileges part of the eventual system turned out well.
To run the model, use 'ttyeden test.e'.
|oasysprivilegesWard2000 is available locally within DCS at /dcs/emp/empublic/projects/oasysprivilegesWard2000|
Uncompressed, oasysprivilegesWard2000 is 27.3 Kbytes (in 6 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
||2288||01:13 PM Oct 17 2002||01:19 PM Jul 27 2017|
||328||10:37 PM Jan 15 2000||01:19 PM Jul 27 2017|
||8837||01:14 PM Oct 17 2002||01:19 PM Jul 27 2017|
||12872||07:31 AM Jan 24 2000||01:19 PM Jul 27 2017|
||2505||07:19 AM Jan 24 2000||01:19 PM Jul 27 2017|
||1121||07:30 AM Jan 24 2000||01:19 PM Jul 27 2017|
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.