Cross Viewpoint Consistency in Open Distributed Processing (1995-1997)

(or, informally, the Consistency Project)

Project members

Eerke Boiten
Howard Bowman
John Derrick
Peter Linington
Maarten Steen

Project description (summary)

The aim of the project was to develop tools and techniques that enable the consistency of specifications in the Open Distributed Processing model to be maintained. (Full project description.)

Keywords: ODP, Z, LOTOS, viewpoints

Tutorial

Slides of a tutorial on the project, 90 slides postscript. (168K)

Publications

Project sponsors

WWW links for the project

Project ended, now what?

The official EPSRC funded part of the project ended after February 1997. Its follow-up is:

OpenViews

(officially known as ODP Viewpoints in a Development Framework.)

We have also done further work on

Refinement of State Based Systems

Maintained by: E.A.Boiten

Last modified Feb 1999