Introduction to Dynamic POSD

The notes in the following pages resulted from a series of meetings between David Rhydheard, Bob Snowdon, Brian Warboys and myself, Graham Pratten, augmented by insights from meetings with Roger Duck and Jane Searles (you can contact us via email). Work on the notes continues.

summary summarises the aims and results of our project

motivation describes the historic motivation for our project

basic concepts describes the basic ideas behind our modelling style

human interface describes the human interface to our style and the language it supports

programming manual describes and enhances the modelling language

lambda expressions shows how lambda expressions can be represented in our language

change of government shows our modelling style being used for a business process example

implementation provides C# implementations of the tools required for our modelling style - TO BE PRODUCED

conclusions gives conclusions from our work on this project