Sciweavers

Share
SIGSOFT
2000
ACM

The universe model: an approach for improving the modularity and reliability of concurrent programs

10 years 7 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement 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. We illustrate the advantages of this approach by applying it to a real-world example. Categories and Subject Descriptors
Reimer Behrends, Kurt Stirewalt
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where SIGSOFT
Authors Reimer Behrends, Kurt Stirewalt
Comments (0)
books