Zusammenfassung
Im vorangehenden Kapitel wurde bereits auf den Zusammenhang zwischen Spezifikation und Implementation eingegangen. Dabei wurde der spezielle Fall betrachtet, in dem lediglich die Zustandsdarstellung geändert wird, die Struktur der Modulklassen und ihrer Operationen aber bis auf die Formulierung der Initialisierungs-, PRE-, NBL- und EFFECTS-Prädikate unverändert bleibt. Damit kann die Spezifikation hinsichtlich der Zustandsdarstellung in eine maschinennahe Form gebracht werden. Im Rahmen einer Implementierung müssen darüber hinaus die NBL- und EFFECTS-Prädikate in eine Form gebracht werden, die den durch die Maschinenbefehle vorgegebenen Möglichkeiten entspricht. Im allgemeinen erfordert dies, einzelne Aktivitäten der Spezifikation in der Implementation durch mehrere zu ersetzen, die in geeigneter Reihenfolge auszuführen sind. Dadurch wird die funktionale Struktur verändert und man bezeichnet diese Vorgehensweise als funktionale Verfeinerung. Die Betrachtung der dabei auftretenden Probleme bildet den Schwerpunkt dieses Kapitels.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1991 B. G. Teubner Stuttgart
About this chapter
Cite this chapter
Hofmann, F. (1991). Prozeßsysteme. In: Betriebssysteme: Grundkonzepte und Modellvorstellungen. Leitfäden der angewandten Informatik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-93998-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-322-93998-2_2
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-12474-0
Online ISBN: 978-3-322-93998-2
eBook Packages: Springer Book Archive