Zusammenfassung
“Spezifikations-PEARL”, bestehend aus einer erweiterten Teilmenge von PEARL und natürlichsprachlichen Kommentaren, wird eingeführt. Es wird gezeigt, daß diese Sprache besonders gut zur Spezifikation von Echtzeitanwendungen eingesetzt werden kann. Dies beruht auf der außerordentlich guten Anpassung von PEARL an die Anforderungen der Automatisierungstechnik, an die Begriffswelt der Ingenieure, der leichten Lesbarkeit und auf der Existenz von Sprachmitteln, die über den Umfang klassischer Programmiersprachen weit hinausgehen. Mehrrechner-PEARL ist sogar mehr Spezifikations- als Programmiersprache.
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
A. Ghassemi: Untersuchung der Eignung der Prozeßprogrammiersprache PEARL zur Automatisierung von Folgeprozessen. Dissertation, Universität Stuttgart, 1978.
GI-Fachgruppe 4.4.2 “Echtzeitprogrammierung, PEARL”: PEARL ’90 Sprachreport, Version 1.0. Bonn: Gesellschaft für Informatik, 1993.
W.A. Halang und A.D. Stoyenko: Extending PEARL for Industrial Real-Time Applications. IEEE Software, 10, 4, 65–74, 1993.
D.J. Hatley und I.A. Pirbhai: Strategien für die Echtzeitprogrammierung. München-Wien: Carl Hanser Verlag 1993.
Internationale Norm IEC 1131-3: Programmable Controllers. Part 3: Programming Languages. Genf: International Electrotechnical Commission 1992.
B. Krämer und Luqi: Specification-based software construction. In: B.D. Shriver (Hrsg.), Proc. 23rd Annual Hawaii International Conference on System Sciences, Vol. II. North Hollywood: Western Periodicals Company 1990.
J. Kramer, J. Magee und K. Ng: Graphical Configuration Programming. IEEE Computer, 53–65, Oktober 1989.
J. Kramer, J. Magee und A. Finkelstein: A Constructive Approach to the Design of Distributed Systems. Proc. 10th International Conference on Distributed Computing Systems, Paris, 1990.
R. Lauber: Prozeßautomatisierung, Band 1, 2. Auflage. Berlin-Heidelberg-New York-London-Paris-Tokio: Springer-Verlag 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
Halang, W.A., Krämer, B.J. (1993). PEARL als Spezifikationssprache. In: Holleczek, P. (eds) Pearl 93. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78658-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-78658-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57473-6
Online ISBN: 978-3-642-78658-7
eBook Packages: Springer Book Archive