Skip to main content navigation
parent site logoSite logo

Projects archive / OASYS Privileges

Title:OASYS Privileges
Author:Ashley Ward
Funding:PhD - PhD thesis
Short description:Model to check data-driven class test process
EM Technologies:ttyeden, %eden
empublic references:
EMpress references:
Web site references:
Previous locations:~ashley/PhD/Tkeden/Expts/OASYSPrivileges

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
Download oasysprivilegesWard2000.tar.gz
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.
README.xml 2288 01:13 PM Oct 17 2002 01:19 PM Jul 27 2017
display.e 328 10:37 PM Jan 15 2000 01:19 PM Jul 27 2017
opscreenshot.gif 8837 01:14 PM Oct 17 2002 01:19 PM Jul 27 2017
out 12872 07:31 AM Jan 24 2000 01:19 PM Jul 27 2017
rules.e 2505 07:19 AM Jan 24 2000 01:19 PM Jul 27 2017
test.e 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.