|Advisor:||Edward A. Lee|
The original CSP model of computation has been extended in two main ways. First, a notion of time has been added whereby each processes can delay for some delta time. It continues when global time has sufficiently advanced. Second, as mentioned above, it is possible to non-deterministically block waiting to send (as well as receive) on any number of channels, something not possible in Hoare's original formulation.
The design of the CSP domain in PtolemyII also deals with issues arising from interacting with different models of computations. These interactions are important for heterogeneous modeling, enabling modeling and design of such systems as embedded systems where resource contention is a vital concern. The points at which mutations can occur is also being evaluated, allowing the system to evolve over the course of its execution, while maintaining a consistent state.
Last updated 03/22/99