CS405 - Introduction to Empirical Modelling 2006/7
Revision notes available
- Some guidance on the exam format and content
- Generic feedback on the WEB-EM-03 submissions (to be read in conjunction with the WEB-EM-03 papers and models)
Some useful diagrams for explaining EM
Timetable
Term 1, weeks 1-10:
- Lecture: Monday 10am in CS101
- Lecture: Wednesday 11am in CS101
- Lab Session: Friday 10am in CS101/CS001 (the IBM lab)
Remember the module forum
Previous material (used in 2005-6) is available for those interested. The current CS405 page is here.
See also:
• The First Warwick Electronic Bulletin on EM
• The Second Warwick Electronic Bulletin on EM
Download the tkeden tool
Coursework
Details of the 2006/7 assignment are now available
Online material
Lectures
- Lecture 1 - Introduction and Orientation (4th October)
Lecture slides: Orientation (in which SBR related Empirical Modelling and Interactive Environments)
Handout: By way of Orientation...
Handout: Redressing the past: liberating computing as an experimental science
Handout: Is Computing an Experimental Science? by Robin Milner - Lecture 2 - EM as a conceptual framework for computing (6th October)
Lecture slides: EM as a conceptual framework for computing - Lecture 3 - Example models and perspectives (11th October)
Lecture slides: Principles, Tools, Examples and Perspective
Handout: Introduction to definitive notatations
EDEN Script: DoNaLD definitions for a room
Online model: roomYung1989 - Lecture 4 - Continuation of Lecture 3 (13th October)
Handout: Computer Programming for Noughts and Crosses: New Frontiers
Handout: David Gooding's notion of construal - Lecture 5 - From programs to models (and back again) (18th October)
Lecture slides: From programs to models (and back again)
Lecture slides: Definitive notations and modelling with definitive scripts
Lecture slides: Modelling with definitive scripts
Handout: The Interpretation of States: A New Foundation for Computation? - Lecture 6 - Continuation of Lecture 5 (20th October)
Lecture slides: A new foundation for computing (really?)
Handout: Harel, Biting the Silver Bullet ....
Handout: Cantwell Smith, Two lessons of Logic - Lecture 7 - Modelling with Definitive Scripts (25th October)
Lecture slides: Modelling with definitive scripts (as used in lecture 5)
Model Demonstration: railwayBeynon2006 and railwayYung1995 - Lecture 8 - A Perspective on Concurrent Systems (27th October)
Lecture slides: Perspectives on Concurrent Systems
Handout: A Perspective on Concurrent System (the version published here has been improved since it was handed out) - Lecture 9 - A continuation of Lecture 8 (1st November)
Online notes: Summary of EM for Concurrent Systems
Handout: Agent Oriented Modelling and the Explanation of Behaviour
Lecture slides: "A story about the Ficts" Slide1, Slide2, Slide3, and Slide4.
Online notes: Interpreting the Ficts fiction - Coursework briefing (given during lecture 9, 1st November)
Slides: The third Electronic Bulletin on Empirical Modelling
Online material: Coursework Briefing 2006/7
- Lecture 10 - (3rd November)
Handout: Empirical Modelling in relation to Concurency
Online notes: Empirical Modelling for the Single Agent
Online notes: William James Quotes
Online notes: Concurrent Systems Modelling: Agentification, Artefacts, Animation
Online notes: OXO paper (This paper was discussed in the lecture) - Lecture 11 - (6th November)
Handout: The LSD Notation for Domain Analysis and Description
Empirical Principles for LSD specification (incorporating LSD for VCCS)
LSD specification for a train arrival-departure protocol - Lecture 12 - LSD Modelling (8th November)
The Railway Disaster Exercises
Model Demonstration: railwayYung1995 , railwayBeynon2006 - Lecture 13 - Group exercises with LSD: Clayton tunnel and Abermule (10th November)
Handout: Talking points for the railway disaster exercises
Model Demonstration: claytontunnelChanHarfield2005
- Lecture 14 - (15th November)
Online notes: Empirical Modelling for Concurrency: the roles of LSD and the ADM
Handout: Some notes on the Tamworth 1870 accident scenario
Online notes: Empirical Modelling Artefacts in Concurrent Systems Modelling (incorporating LSD specification of Harel's digital watch and statechart) - Lecture 15 - (17th November)
Online notes: The Abstract Definitive Machine
slides: ADM from the machine and human perspective
Script: train.am train.s train.e
Model Demonstration: ~wmb/public/projects/simulations/train
Model Demonstration: linesBeynon1991
Handout: An ARCA script to generate a Cayley diagram for S4 (the symmetric group on 4 symbols) - Lecture 16 - (22nd November)
Handout: The ADM in Computer-based Empirical Modelling - Lecture 17 Rethinking Programming - (24th November)
Handout: Rethinking Programming
Slides: Rethinking Programming
Handout: Notes to accompany the "Rethinking Programming" seminar
Handout: Rethinking Programming - Lecture 18 - An introduction to Human Computing (29th November)
Slides: Human Computing
Handout: Man-Computer Symbiosis
Handout: Human Computing: Modelling with Meaning
Handout: Strategic Decision Support Systems: An Experience-Based Approach - Lecture 19 - (1st December)
Handout: Morals of the heapsort modelling exercise
Handout: Software development in EM and engineering design
Handout: Systems development and EM
Handout: Conceptual aspects of dtkeden
Handout: Modelling one square of a draughts board (titled "Projects archive / Draughts") - Using files from draughtsRawles1997
readme 
dmt graph - draughts analysis
- run.e, draughtsdefvars.e, draughtsdefns.e
Handout: Black, Model and Metaphor, Chapter 13
Handout: The Meaning of Modelling - draft (see next lecture) - Lecture 20 Meaning of Modelling - (4th December)
Handout: The Meaning of Modelling and Modelling with Meaning
Slides: Erlkoenig presentation (possibly with demo of the King of Thule model developed by Karl King:
-- see KOT.e in the '~/TEACHING/CS405/CS405-0607/coursework-related/MUSIC/gelpresentation' directory)
- Lecture 21 EM and Education - (6th December)
Model demonstration: The planimeter model from kaleidoscopeBeynon2005 (A model combining a planimeter model with Karl King's VST)
Handout: SQLEDDI
Slides Computer Support for Constructionism in Context (PowerPoint from a tkeden presentation)
Slides Empirical Modelling in support of constructionist learning
Slides: Technology for Education in Developing Countries
- Lecture 22 Coda - (8th December)
Handout: Coda to CS405
Handout: How to write a paper
Slides: a tkeden presentation on SQLEDDI from sqleddiWard2003 (use run.txt on tkeden-1.46)
Handout: Files relating to scicsYung1995
Labs
- Lab 1 - Getting started with tkeden (9th October)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps) - Lab 2 - Repairing the lift (16th October)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps)
Handout: Introduction to definitive notations reference material (pdf)
Handout: Introduction to definitive notations reference material (ps) - Lab 3 - The SCOUT windowing notation (23rd October)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps)
Handout: SCOUT reference guide (pdf) - Lab 4 - Line drawing and animation with DoNaLD (30th October)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps)
Notes: Issues arising from the lab - Meurig Beynon (text) - Lab 5 - Graphical Representation of Dependencies (13th November)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps) - Lab 6 - Notations and Parsing (20th November)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps) - Lab 7 - Distributed modelling with dtkeden (27th November)
Handout: Lab sheet (pdf)
Handout: Lab sheet (ps)
Online notes: The Not So Quick Guide to dtkeden (Section 1 Conceptual Introduction was the 6pp handout)