Zusammenfassung
Die Methode der Strukturierten Analyse stellt eine weit verbreitete Methode zur Unterstützung der Systemanalyse und des Systementwurfs dar. Die von Hatley eingeführten Erweiterungen erlauben eine weitergehende Modellierung auch von Echtzeitverhältnissen, wie sie in vielen technischen Systemen vorliegen. Die Mächtigkeit dieser Methode (SA/RT) ist leider beschränkt, da weder anspruchsvolle Prozeßabläufe (z.B. zu synchronisierende Prozesse) beschrieben werden können, noch die formalen Eigenschaften der zusätzlich verwendeten Diagramme/Tabellen automatische Analysen oder Simulationen unterstützen. Im Rahmen dieser Abhandlung beschreiben wir eine Kombination der Strukturierten Analyse mit der der Petri-Netze (SA/PN). Dadurch wird die Modellierung und Simulation weitaus komplexerer Prozeßabläufe ermöglicht. Ferner können alle Eigenschaften der formal sehr weit entwickelten Petri-Netze bei der Prüfung der erstellten Modelle genutzt werden.
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
Balzert: Die Entwicklung von Software-Systemen. Reihe Informatik/34, BI-Wissenschaftsverlag.
Franzen/Relewicz: Systemanalyse und Simulation mit Petri-Netzen. In: Fachberichte Simulation, Band 10, Springer Verlag 1988.
Hatley/Pirbhai: Strategies for Real-Time System Specification. New York, Dorset House Publishing 1987.
McMenamin/Palmer: Strukturierte Systemanalyse. Hanser Verlag.
Reisig: Petri-Netze, Eine Einführung. Springer Verlag 1985.
Sommerville: SOFTWARE Engineering Addison Wesley.
Ward, Mellor: Structural Development for Real-Time Systems. Vol. 1–3, Eaglewood Cliffs: Yourdon Press 1985
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Franzen, H., Siegel, G. (1991). Die Methode der Strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung. In: Timm, M. (eds) Requirements Engineering ’91. Informatik-Fachberichte, vol 273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76622-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-76622-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54025-0
Online ISBN: 978-3-642-76622-0
eBook Packages: Springer Book Archive