Zusammenfassung
Es wird eine Spezifikationsmethodik erläutert, die auf drei Typen von Modellen (“abstrakten Prozeßlenkungssystemen„) beruht. Dies sind a. kontinuierliche Modelle, b. aktionsorientierte Modelle und c. datenorientierte Modelle. (a. ist aus Regel- und Steuerungstechnik gut bekannt; b. und c. werden näher erläutert.)
Aktionsorientierte Modelle beschreiben die abstrakte “task„-Struktur; Elemente sind “conditions„, d.s. Aussagen über den Systemzustand, und Aktionen, d.s. sequentielle Prozesse, die von Änderungen im Systemzustand ausgelöst werden.
Datenorientierte Modelle enthalten die Eigenschaften der im Prozeß manipulierten Objekte in einem relationalen Datenmodell. Aktionen werden als “Transformationsrechte„ spezifiziert.
Wechselwirkungen zwischen den Blöcken der Teilmodelle werden mittels
“Kommunikationsdaten„ beschrieben, die genau definierte räumliche und zeitliche Gültigkeitsbereiche haben.
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
W.-M. Dehnert/V. Haase: High Level Language Structures for distributed real-time programming, SOCOCO 79, Prag (1979)
E.W. Dijkstra: A Discipline of Programming. EngLewood Cliffs (1976)
P. Elzer: Strukturierte Beschreibung von Prozeßsystemen, Dissertation Univ. Erlangen-Nürnberg (1978)
P.D. Griem: Approaching an easy-to-learn method of programming real-time parallel processes. IFAC/IFIP Workshop on Real-Time Programming, Paris (1976)
V. Haase: Notizen zur Konstruktion von Realzeit-Software, München (1978)
V. Haase/H. Hailing: Descriptions of Real-Time Applications using the guarded Commands Concept. AFCET Workshop: Global Description Methods, Paris (1977)
H. Hailing et al: A Step towards Application Oriented Specifications. Real-Time Data 79, Berlin (1979) — Bericht über Arbeiten der Special Interest Group on Application oriented Specifications in Purdue Europe -
G. Hommel (ed.): Verfahren und Hilfsmittel für Spezifikationen und Entwurf von Prozeßautomatisierungssystemen. KfK-PDV 154, Karlsruhe (1978)
— Übersicht über verschiedene Spezifikationstechniken (PSL/PSA, EPOS, MASCOT u.a.)
M.A. Jackson: Principles of Program Design, London (1975)
R. Lauber: Prozeßautomatisierung I, Berlin/Heidelberg (1976)
D.T. Ross: Structured Analysis, IEEE SE-3, 16–34 (1977)
E.S. Savas: Computer Control of Industrial Processes, New York (1965)
G. Schlageter/W. Stucky: Datenbanksysteme, Stuttgart (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Haase, V.H. (1979). Modelle zur Spezifikation von Prozesslenkungssystemen. In: Böhling, K.H., Spies, P.P. (eds) GI — 9. Jahrestagung. Informatik-Fachberichte, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67444-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-67444-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09664-1
Online ISBN: 978-3-642-67444-0
eBook Packages: Springer Book Archive