Developing a generic request-processor for systems with limited request processing resources

Venter, H. (Heinrich) (2008-03)

Thesis (MScIng)--University of Stellenbosch, 2008.


ENGLISH ABSTRACT: This thesis describes the design, modelling and implementation of a prototype request- processing software system, which can be used as the basis for a request processing frame- work for systems with limited request processing resources. Due to design constraints, the request-processor system described here consists of multiple processes. It is problematic to prove that a multiple process design satis es the conditions of a set of prede ned requirements. One way to verify that such a multiple process design works as intended, is to use modelchecking tools. The system was veri ed for correctness and translated into a working prototype soft- ware system.

AFRIKAANSE OPSOMMING: Hierdie tesis beskryf die ontwerp, modellering en implementering van 'n prototipe versoek- verwerking-sagtewarestelsel. Die stelsel kan gebruik word om 'n versoekverwerkings- raamwerk te ontwerp vir stelsels met beperkte versoekverwerkingshulpbronne. Die ver- soekverwerkingsstelsel bestaan uit veelvoudige prosesse. Die veelvoudige proses-ontwerp was die direkte gevolg van stelselbeperkings. Dit is problematies om te bewys dat 'n multi-proses-ontwerp korrek funksioneer. Mod- elchecking-sagteware kan gebruik word om te veri eer of 'n stelsel korrek funksioneer. Die korrektheid van die stelsel is geveri eer voordat die nale prototipe ge¨implementeer is.

Please refer to this item in SUNScholar by using the following persistent URL:
This item appears in the following collections: