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

Abstract

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. We illustrate the advantages of this approach by applying it to a real-world example.

BibTeX

@inproceedings{Behrends-Stirewalt:FSE00,
  author    = {Reimer Behrends and
               Kurt Stirewalt},
  title     = {The universe model: an approach for improving the modularity and reliability of concurrent programs},
  booktitle = {FSE},
  pages     = {20--29},
  publisher = {{ACM}},
  year      = {2000},
}

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

Abstract

Related papers