Skip to main content navigation
parent site logoSite logo

Projects archive / Virtual Machine for Chocolate

Code:vmcRun-bol2001
Title:Virtual Machine for Chocolate
Author:Jaratsri Rungrattanaubol
Date:May-2001
Type:model
Funding:PhD - PhD thesis
Short description:A case study to compare EM and CSP
EM Technologies:tkeden, %eden, %scout
Keywords:tutorial
empublic references:
EMpress references:122
Web site references:
Previous locations:
Tour:README

The Vending Machine for Chocolate (VMC) case study is a well-known and basic case study that has been used in the field of CSP (Communicating Sequential Processes). This model is an EM implementation of the VMC case study that is used by Rungrattanaubol in her PhD thesis to compare Empirical Modelling and CSP. The model is a simple chocolate machine that delivers two sizes of chocolate, can only accept 1 or 2p coins and can refund money. [Chris R]

vmcRun-bol2001 is available locally within DCS at /dcs/emp/empublic/projects/vmcRun-bol2001
Download vmcRun-bol2001.tar.gz
Uncompressed, vmcRun-bol2001 is 70.5 Kbytes (in 9 files).
Your download will be smaller as it will be compressed.
Help on extracting the files from the download.
README 841 12:13 AM May 24 2001 04:05 PM Dec 15 2014
README.xml 990 01:45 PM Jan 12 2004 04:05 PM Dec 15 2014
Run.e 54 01:53 PM Jan 12 2004 04:05 PM Dec 15 2014
err-lgchoc.e 120 01:36 PM Dec 13 2001 04:05 PM Dec 15 2014
screenshot.gif 60716 01:48 PM Jan 12 2004 04:05 PM Dec 15 2014
vmc-state.e 1420 03:37 PM May 24 2001 04:05 PM Dec 15 2014
vmc-state.s 6520 08:54 PM Mar 23 2002 04:05 PM Dec 15 2014
vmc-state0.e 1061 03:37 PM May 24 2001 04:05 PM Dec 15 2014
vmc.e 490 03:37 PM May 24 2001 04:05 PM Dec 15 2014

empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.