Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Timetable S4: edition 1

Module S4 Definitive Methods for Concurrent Systems Modelling

Timetable


Monday 14 December 1992

09.15 Module Overview / slides

09.45 Lecture 1: General Principles of Definitive Programming

10.30 Demonstration: The Vehicle Cruise Control Simulation (VCCS) / Diagrams / notes for demo

11.00 Coffee

11.15 Lecture 2 Introducing Definitive Notations / slides

12.00 Demonstrations and Tutorial on DoNaLD

01.00 Lunch

02.00 Lecture 3 Introduction to EDEN programming / slides

02.45 Demonstrations and Tutorial on EDEN / Experiments with the room model

03.15 Tutorial and Laboratory: Animating a Cricket Field

04.00 Tea

04.15 Laboratory Practical exercises with EDEN

05.00 Seminar 1: The Definitive Programming Project Reviewed / slides


Tuesday 15 December 1992 [timetable for the day]

09.00 Lecture 4: Visualisation and Concurrent Systems Modelling / slides

09.45 Demonstration: Visual Interfaces with SCOUT and DoNaLD

11.00 Coffee

11.15 Lecture 5: An introduction to Scout / slides

12.00 Tutorial and Laboratory: The electronic cricket scorebook

01.00 Lunch

02.00 Tutorial on the Scout-Donald-Eden system / the Jugs interface case study

02.45 Tutorial and Laboratory: Scorebook, scorecard and scoreboard

04.00 Tea

04.15 Laboratory (supported by more advanced features of the Scout-Donald-Eden environment)

05.00 Seminar 2: Programming as Modelling preceded by Programming in the Victorian style [MCK]


Wednesday 16 December 1992

09.00 Lecture 6: Agent-Oriented Modelling for Discrete Event Systems

10.00 Demonstration: The Railway Station Animation

10.20 Tutorial: LSD specification of the VCCS

11.00 Coffee

11.15 Lecture 7: Principles of LSD specification / slides

12.00 Case studies: Telephone, Railway Station Animation, Electronic Catflap (cf. LSD examples)

01.00 Lunch

02.00 Tutorial and Laboratory: LSD specifications for cricketer agents cf. draft LSD for fielder / LSD for fielder

04.00 Tea

04.15 Laboratory

05.00 Seminar 3: Foundations of Programming


Thursday 17 December 1992

09.00 Lecture 8: The Abstract Definitive Machine / slides

10.00 Tutorial: Animating LSD specifications in the ADM / notes on the am interpreter

Laboratory Testing the telephone (cf. Telephone animation and testing from Appendix 7 of Mike Slade's MSc thesis)

11.00 Coffee

11.15 Lecture 9: Observations, continuity and events / slides

12.00 Tutorial: Linking the ADM and EDEN

01.00 Lunch

02.00 Laboratory: Cricketing events, and animation in the ADM and EDEN

04.00 Tea

04.15 Laboratory

05.00 Seminar 4: Definitive Methods for Programming and Parallelism (notes by Paul Ness after Baldwin) / outline


Friday 18 December 1992

09.00 lecture 10: Extensions and Issues for LSD and EDEN / slides

10.00 Tutorial and Demonstration: The Digital Watch and Statechart Animation

11.00 Coffee

11.15 Laboratory and Individual Consultations

01.00 Lunch

02.00 Seminar 5: Future Research Directions and Projects

03.00 Concluding Discussion

03.45 Module Debriefing

04.00 Tea / End

Some of the resources are later versions of those used in 1992 -- for instance, the source of the digital watch model in 1991-2 is in ~/ADMIN/MSc/MSc.92/harel


Assignment related information