Return to Workshop Listing| Author: | Reimer Behrends |
| Advisor: | Dr. Kurt Stirewalt |
| Email: | behrends@cse.msu.edu; http://www.cse.msu.edu/~behrends |
We present the universe model, a new approach to concurrency management that isolates concurrency concerns and represents them in the modular interface of a component. This approach improves program comprehension, module composition, and reliability for concurrent systems. The model is founded on designer-specified invariant properties, which declare a component's dependencies on other concurrent components. Process scheduling is then automatically derived from these invariants.