Module S4 Empirical Modelling for Concurrent Systems

Timetable



Monday 3rd March 1997: Semantics of Interaction
 
 
0915 Module Overview and Introduction (Slides)
0945 Demonstration: The Vehicle Cruise Control System
1000 Lecture 1: A Perspective on Concurrent Systems (Slides)
1100 Coffee
1115 Tutorial 1: Introduction to tkeden (Slides)
1145 Demonstration: Jugs, Urchin cricket
1200 Laboratory
1300 Lunch
1400 Tutorial 2: Introduction to Definitive Notations (Slides)
1545 Demonstration: The Roomviewer
1515 Exercises in tkeden animation: The cricket field
1600 Tea
1615 Lecture 2: Empirical Modelling for the Single Agent
1700 Laboratory: OXO-like models

Tuesday 4th March 1997: Agency in Concurrent Systems
 
 
0900 Lecture 3: Concurrent Systems Modelling: Agentification, Artefacts, Animation  (Slides)
0945 Demonstration: Railway Animation
1000 Lecture 4: The LSD Notation for Agent Specification  (Slides)
1100 Coffee
1115 Tutorial 3: Principles of LSD specification  (Slides 1,  Slides 2)
1200 Case studies: Telephone, Railway Station Animation, Electronic Catflap etc.
1300 Lunch
1400 Lecture 5: Artefacts in Visualisation and Concurrent Systems Modelling  (Slides)
1445 Demonstration: Visual Interfaces with SCOUT and DoNaLD, Digital Watch
1500 Tutorial and Laboratory: Cricket Scoreboard, OXO display + The Jugs interface in SCOUT (Slides)
1600 Tea
1615 Tutorial 4: An Introduction to Scout  (Slides)
1700 Tutorial and Laboratory: Constructing Artefacts using tkeden

Wednesday 5th March 1997: Explanatory and Empirical Modelling
 
 
0900 Lecture 6: Empirical Modelling as Explanatory Modelling
0945 Back to the Future: Current Computing in Railway History  (Slides)
1030 A Practical Exercise on LSD: Historical Railway Accidents
1100 Coffee
1115 Case study: Historical Railway Accidents
1200 Discussion of Railway Accidents
1300 Lunch
1400 Video: One Day in Severn
1430 Tutorial 4: Observables in Railway Interaction
1500 Laboratory: Integrating Cricket Models
1600 Tea
1645 Seminar 1: Concurrent Engineering for Concurrent Systems
1700 Laboratory

Thursday 6th March 1997: Modelling System Behaviour
 
 
0900 Lecture 7: The Abstract Definitive Machine  (Slides)
1000 Tutorial: Animating LSD specifications in the ADM
1015 Case studies: Beetles, Classroom Interaction, Cricket, Railway Animation
1100 Coffee
1115 Lecture 8: The ADM in Computer-Based Empirical Modelling  (Slides)
1200 Tutorial: Linking the ADM and EDEN - OXO in the ADM
1300 Lunch
1400 Laboratory and Review of Previous Projects
1600 Tea
1615 Seminar 2: From Principles vs. Pragmatism to Principled Pragmatism
1700 Laboratory

Friday 7th March 1997
 
 
0900 Lecture 9: Issues for EM, Future Research Directions and Projects  (Slides)
1000 Laboratory and Individual Consultations
1100 Coffee
1115 Laboratory and Individual Consultation
1200 Concluding Discussion
1245 Module Summary and Debriefing
1300 Lunch / End