Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

PDF-Datei  Modelling Operating System Structures by Timed Stream Processing Functions

Technical Report

Author:Manfred Broy, Claus Dendorfer
Abstract:Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. In this paper we give the foundations of higher order stream processing functions. These are functions which send and accept not only messages representing atomic data, but also comlpex elements such as functions. Some special notations are introduced for the specification and manipulation of such functions. A representation of time is outlied wich enables us to model time dependent bahaviour. Finally, we demonstrate hwo characteristic operating system structures can be modelled by timed higher order stream processing functions.

(c) 1999-2006 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact