Skip to main content Skip to navigation

First assignment for MSc students 2011-12

This year there is an additional assignment for the MSc students studying CS405. This assignment is worth 10% of the total credit for the module: the rest of the credit to be made up by the principal coursework exercise (a submission to WEB-EM-8 worth 50%) and the written examination in Term 3 (worth 40%). The purpose of the assignment is to help the MSc students in preparing their submissions for WEB-EM-8. Though MEng students are not obliged to carry out this assignment, they are encouraged to study the models themselves in collaboration with the MSc students, as this may also be beneficial where their submissions to WEB-EM-8 are concerned.

The assignment is an exercise in construal comprehension and exposition to be carried out as groupwork. As set out in the table below, you have been allocated an existing construal developed in EDEN to study, which is presented in the Empirical Modelling presentation environment ("EMPE") together with a short introductory slide. Your task will be to develop your understanding of the construal through identifying and documenting the observables, dependencies and agency in your allocated model, and to explain and demonstrate your findings in a short presentation of the construal that makes use of the EMPE. Your EMPE presentation will be assessed in a 10 minute group oral presentation to take place from 12 noon to 1.30 pm in CS0.01 on Tuesday of Week 7 (15th November).

Student ID Forename Surname Model
0823244/3 Richard Cartwright cricketscoringPether  
0821769/3 Robert Steele cricketscoringPether  
1063531/1 Jona Gjini pjawns [Martin and Bowen]  
1156267/1 Aastha Kakaria pjawns [Martin and Bowen]  
1164291/1 Sharon Secondus pjawns [Martin and Bowen]  
1058233/1 Yi Zhou bubblesortBeynon  
1160398/1 Zhetong Fang bubblesortBeynon  
1161169/1 Jilong Qin beamdetectorRoe  
1164200/1 Tie Chen beamdetectorRoe  
1060969/2 Yu pang Yip nimLeeke  
1155566/2 Yile Liu nimLeeke  
1157177/1 Lung Li vimodesBeynon  
1161118/1 Michael Lau vimodesBeynon  

In order to tackle the comprehension exercise, you will first need to develop a basic understanding of the principal EDEN notations (Eden, Scout and Donald) covered in the forthcoming EM labs and lectures. You will also be given additional documentation, guidance and specific tools to assist you in your task. The first of these is a tool that will help you to extract and record observables in the given models (see below). Since not all the features you will encounter in the models are covered explicitly in the lab sessions, and some are not prominently documented, you should keep in close touch with the module tutors and organisers by contacting them in person or posting your questions on the module Forum.

Further guidance on various aspects of your exercise are given overleaf.

Using the Empirical Modelling Presentation Environment (EMPE): Details of how to use the EMPE are available from this link on the module website. As explained there, you will find many examples of the use of the EMPE in the public directory: /dcs/emp/empublic/teaching/cs405/UsingEMPE. These include stubs for the presentations that you have to develop in connection with your comprehension exercise. Each construal has an individual subdirectory in which you will find a run.eden file that when executed using tkeden will generate a stub for your EMPE presentation. In each presentation you will find 9 slides preceding the opening slide: these give you general guidance on how to use the EMPE which you should study carefully. Note in particular the crucial role of the 'Copy definitions' button in recording your work so that it persists after the EMPE environment is closed. You should also be aware of the benefits of the 'Show tkeden' feature which gives access to the real Eden Input Window and the output window in which the results of queries can be inspected.

Additional resources: Each of the construals you study has a different character, and is best understood in conjunction with additional resources (these include specialised documentation of models and notations, EM papers and links to related models etc). Details of such resources are given here.

The symbol info tool: Within the /dcs/emp/empublic/teaching/cs405/UsingEMPE directory, you can find the syminfoBeynon2011 subdirectory. Executing the run.eden file within this subdirectory using tkeden launches a basic tool that can be used to explore and record observables within any model that has been loaded into the same environment. Instructions on how to use this tool are given in the README within this subdirectory. (For convenience, they are also presented here.)

Identifying observables: In order to use the symbol info tool effectively, you need to be able to identify observables in your construal. Once some initial observables have been recorded, you can expect to find others by consulting their definitions, but it is also helpful to use constructs such as ?v; in Eden to find out how the observable v is defined and what other observables depend upon it. You can also study a construal by viewing the Eden / Donald / Scout definitions via the View menu on the EDEN Input Window, and by inspecting the History of your interaction. Note that viewing operations of this nature are best carried out with the basic construal loaded without the EMPE wrapper in place, since the EMPE itself generates so many additional observables. The symbol info tool only records the Eden definitions of observables, but it is useful to be aware of the form that definitions in other definitive notations take when translated into Eden. For this purpose, you will find it helpful to note that ?v; operates in Eden, Scout and Eddi, and that conventions of the following kind apply to other translations: door/hinge in %donald becomes _door_hinge in Eden, Scout windows and Eddi tables are recorded in long EDEN lists of a special format, and scoreboardwin.content in %angel becomes scoreboardwin_content in Eden.

The Dependency Modelling Tool (DMT): The DMT is a tool for graphical display of dependencies between EDEN observables that was devised by Allan Wong in 2003 (see dmtWong2003). The outputdefns.e file is a small file of Eden commands that can be used with the symbol info tool to output the definitions of observables that you have recorded. This will enable you to develop a visualisation of dependencies in your construal using the DMT .

For your assignment, following the guidance given in Lab 6, you will be expected to produce a BOSS submission (these should be identical for all team members) and a short EMPE presentation together with a handout of not more than 5 A4 pages that demonstrates your understanding of the observables, dependencies and agency within your allocated construal. By default, the mark out of 10 given to your groupwork will be assigned to all group members. If there is any question that this allocation of marks is unfair, arbitration will be via individual discussions with group members.