Claus Dendorfer

Learn More
Some extensions of the basic formalism of stream processing functions are useful to specify complex structures such as operating systems. In this paper we g i v e the foundations of higher order stream processing functions. These are functions which send and accept not only messages representing atomic data, but also complex elements such a s functions.(More)
The use of the formal design method FOCUS is illustrated by an example development of the so-called Stenning-protocol. The development process starts from global, non-constructive service specifications and ends in executable programs of the protocol entities. The four abstraction levels of FOCUS — trace specification, functional specification, abstract(More)
Focus is a framework for the systematic formal speciication and development o f distributed interactive systems and their components. Focus provides models, formalisms and veriication calculi for the stepwise speciication and development, transformation and veriication of such systems. Focus aims at the modular development and implementation of distributed(More)
Zusammenfassung Als Fallstudie wird ein Teil eines realen Betriebssystems formal spezifiziert, nämlich das Postsystem des Multiprocessor Multitasking Kernel MMK. Der verwendete Formalismus basiert auf der Beschreibung von stromverarbeiten-den Funktionen mit Prädikaten. Da es sich für die Spezifikation als nützlich erweist, den Zustand des Postsystems(More)
  • 1