Zusammenfassung
Die Erfahrung der industriellen Softwareerstellung lehrt, daß die meisten Softwarefehler bereits vor der eigentlichen Implementierungsphase gemacht werden. Korrektheitsprüfungen sollten somit in den frühen Phasen der Softwareentwicklung durchgeführt werden. Ein Ansatz zum Auffinden möglicher Fehler während der Entwurfsphase, ist das dynamische Ausführen der Spezifikation. In dem vorliegenden Artikel beschreiben wir, wie Spezifikationen von Echtzeitsystemen mittels Graphgrammatiken interpretiert, d.h. ausführbar gemacht werden können. Prozeßgraphen beschreiben die Ablaufstrukturen einzelner Prozesse des Echtzeitsystems. Die Semantik des Sendens und Empfangens von Nachrichten wird mittels Graphproduktionen beschrieben. Das dynamische Verhalten kommunizierender Prozesse ergibt sich aus der Anwendung der Graphproduktionen auf die Prozeßgraphen. Der vorgestellte Interpretierer ist eingebettet in eine Entwicklungsumgebung für verteilte Anwendungen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
Denert, E: Software Engineering. Springer, 1991.
Deutsches Institut für Normung: DIN 55350,1985.
Deutsches Institut für Normung: Informationstechnik — Begriffe, DIN 44300, 1985.
Boehm, B.: Software Engineering Economies. Prentice Hall International, Englewood Cliffs, 1983.
Fleischmann, A.: Ein Konzept zur Darstellung und Realisierung von verteilten Prozeßautomatisierungssystemen. Dissertation. Universität Erlangen-Nürnberg, 1984.
Feder, Ch.: Ein Interpretierer für PASS-Spezifikationen basierend auf einem Graphersetzungssystem. Diplomarbeit. Universität Erlangen-Nürnberg, 1986.
Holleczek, P., Andres, Ch.: A Programming Environment for Distributed Realtime Applications. 22nd Annual Hawaii International Conference on System Sciences. 1989. pp. 673–682.
Nagl, M.: Graph-Grammatiken — Theorie, Anwendungen, Implementierung. Vieweg-Verlag, Braunschweig, 1979.
Sommerville, I.: Software Engineering. Addison Wesley, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feder-Andres, C. (1993). Interpretation graphischer Echtzeit-Spezifikationen mittels Graphgrammatiken. In: Holleczek, P. (eds) Pearl 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78658-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-78658-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57473-6
Online ISBN: 978-3-642-78658-7
eBook Packages: Springer Book Archive