Zusammenfassung
Es wurde ein formales Modell für objektbasierte Systeme vorgestellt. Diese bauen auf dem Konzept der Ein-/Ausgabebeschreibungen auf und repräsentieren selbst wieder Ein-/Ausgabebeschreibungen. Dadurch sind objektbasierte Systeme sehr gut ineinander zu schachteln. In diesem Abschnitt wird eine Klasse von Ein-/Ausgabebeschreibungen definiert, die durch endliche und rekursive Komposition von objektbasierten Systemen erzeugt werden können.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Naundorf, H. (1997). Komposition. In: Ein denotationales Modell für parallele objektbasierte Systeme. MuPAD Reports. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94700-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-322-94700-0_8
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-519-02197-1
Online ISBN: 978-3-322-94700-0
eBook Packages: Springer Book Archive