|
|
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 | 09:54 AM Apr 02 2007 |
README.xml |
990 | 01:45 PM Jan 12 2004 | 09:54 AM Apr 02 2007 |
Run.e |
54 | 01:53 PM Jan 12 2004 | 09:54 AM Apr 02 2007 |
err-lgchoc.e |
120 | 01:36 PM Dec 13 2001 | 09:54 AM Apr 02 2007 |
screenshot.gif |
60716 | 01:48 PM Jan 12 2004 | 09:54 AM Apr 02 2007 |
vmc-state.e |
1420 | 03:37 PM May 24 2001 | 09:54 AM Apr 02 2007 |
vmc-state.s |
6520 | 08:54 PM Mar 23 2002 | 09:54 AM Apr 02 2007 |
vmc-state0.e |
1061 | 03:37 PM May 24 2001 | 09:54 AM Apr 02 2007 |
vmc.e |
490 | 03:37 PM May 24 2001 | 09:54 AM Apr 02 2007 |
empublic system initially created by Ashley Ward with assistance from Chris Roe and Meurig Beynon.
