click here for POSD home page

3. examples of POSD

3.1 introduction to examples

POSD is a notation for representing the structure of systems. Below is a set of examples to illustrate the capabilities of POSD. Each example defines the POSD capabilities it uses as it uses them. However a full definition of POSD can be seen by clicking here. The examples were developed with ICL funding and the help of the people listed in acknowledgements. Some also benefited from Esprit funding, as indicated below.

3.2 a loyalty scheme for retail

Click here for a simple business example, a retail loyalty scheme.

3.3 a simple hardware system - traffic lights

Click here for a simple hardware example.

3.4 construction supply process

Another part of this POSD presentation shows how a POSD model can be developed by stepwise refinement. The example used there is a construction supply process.

3.5 news propogation business

Click here for a simple business example, news propogation.

3.6 linked retail loyalty schemes

Click here for an extension of the example in section 3.2.

3.7 structuring an IT development project

Example to be provided.

3.8 structure clash in manufacturing

Example to be provided.

3.9 managing a local government project

Example to be provided.

3.10 tendering for a construction project

Example to be provided.



last revision: 1st August 1997