Kurzfassung
Mit der Technik der Programmtransformation werden beim Entwurf sequentieller Programme Erfolge in der Qualitätssicherung und Produktivitätssteigerung erzielt. Die Transformationstechnik unterstützt den Entwurf dadurch, daß Regeln zur schrittweise verfeinernden Umformung von Programmen zur Verfügung gestellt werden. Korrekte Anwendungen der Regeln führen zu korrekten Verfeinerungen im Entwurf.
Ziel der vorgestellten Arbeiten ist es, eine derartige Methode für den Entwurf von Kommunikationssoftware aus Protokollspezifikationen zu entwickeln. Die Grundlagen bilden dabei die Spezifikationssprache CSM (Constructive Specification Method), in der alle Entwurfsstadien von der Protokollspezifikation bis hin zur detaillierten Softwarespezifikation dargestellt werden konnen, und eine Menge darauf abgestimmter Transformationsregeln.
Der Beitrag stellt die auf dem Konzept erweiterter endlicher Automaten basierende Spezifikationstechnik CSM und die hierfür entwickelten Transformationsregeln vor und erläutert die Entwurfsmethode an einem Beispiel.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
O. Drobnik Software-Technologie für Kommunikationstechnik Informationstechnik it, 1(1986), 44–52.
Estelle, A Formal Description Technique based on an Extended State Transition Model ISO Second Draft Proposal DP9074, August 1986
SDL, Specification and Description Language CCITT Recommendations Z.100-Z.104, 1984
J. Freudenmann Entwurf von Kommunikationssoftware in der konstruktiven Technik CSM Interner Bericht Nr. 16/85, Fakultät für Informatik, Universität Karlsruhe, Dez. 1985
H. Krumm Spezifikation, Implementierung und Verifikation von Kommunikationsdiensten für verteilte DV-Systeme. Dissertation, Universität Karlsruhe, 1984.
S. S. Muchnick, N. D. Jones (eds.) Program Flow Analysis Theory and Applications Prentice Hall, Englewood Cliffs, New Jersey, 1981
G. Goos, J. Hartmanis (ed.) The Munich Project CIP Volume I: The Wide Spectrum Language CIP-L Springer, Heidelberg 1985
H. Partsch, R. Steinbrüggen Program Transformation Systems Computing Surveys, Volume 15, Number 3, September 1983
W. Rüb, G. Schrott Automatische Generierung problemangepasster Prozessrechnerbetriebssysteme Angewandte Informatik, 1, 7(1980).
N. Wirth Program Development by Stepwise Refinement CACM. Volume 14. Number 4, 1971. 221–227.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Freudenmann, J. (1987). Entwicklung von Kommunikationssoftware auf der Basis der Transformationstechnik. In: Gerner, N., Spaniol, O. (eds) Kommunikation in Verteilten Systemen. Informatik-Fachberichte, vol 130. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71655-3_58
Download citation
DOI: https://doi.org/10.1007/978-3-642-71655-3_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17213-0
Online ISBN: 978-3-642-71655-3
eBook Packages: Springer Book Archive