Internet Parallel Computing Archive

Parallel : Occam : Utilities : Odt

[ News | IPCA | Mirrors | Add | Search | Mail | Help | WoTUG ]

occam Design Tool
The occam Design Tool (ODT) is an interactive graphical environment for the specification and partial implementation of concurrent systems and enables structured design of parallel systems through hierarchies of communicating process networks.

ODT has knowledge of various paradigms for process synchronisation -- whose correct application secures guarantees of freedom from deadlock, livelock and starvation -- and enforces that correct application by the designer.

The tool also generates program skeletons that handle the parallel and communication aspects of the system implementation. The target programming language has to be one whose formal semantics respect the mathematical model (CSP) under which the design rules were able to be proven -- currently, this is occam. By targeting occam, we derive the further benefit of eliminating unguarded race hazards.

Author: Dave Beckett (D.J.Beckett@ukc.ac.uk)



Copyright © 1993-2000 Dave Beckett & WoTUG