Kurzfassung
Ziel dieses Beitrages ist es, eine Möglichkeit zur Modellierung verteilter Systeme aufzuzeigen, die der Idee des Prototyping folgt. Vorgestellt wird ein ablauffähiger Prototyp zur direkten Prozeßsteuerung, der neben einer ausführbaren Spezifikation auch im Sinne einer evolutionären Vorgehensweise eingesetzt werden kann.
Die formale Grundlage dieser operationalen Modellierung bildet ein funktionaler Ansatz, bei dem die notwendige Repräsentation von Zuständen in ein applikatives Zustandstransitions-Modell mündet, wie es in seinen Grundzügen von Backus in seiner Turing Award Lecture vorgestellt wurde. Dieser Beitrag nutzt die Eigenschaften eines solchen applikativen Zustandstransitions-systems — kurz AST-System — und verbindet sie mit den Vorzügen einer netzorientierten Sichtweise in Form von Kanal/Instanz Netzen zu einer ausführbaren Spezifikation verteilter Systeme.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Backus, J.; Can Programming Be Liberated from the Von Neumann Style?; Comm. ACM, Vol. 21, 1978, 613–641
Brinkmann, G.; Igel, B.; Ein Modell zur Spezifikation von fördertechnischen Steuerungs-moduln; Vieweg Angewandte Informatik, 1988, 116–124
Burkart, A.; Einsatz apllikativer Beschreibungsmethoden bei der Steuerung modularer verteilter Stéckgutférderprozesse; Diplomarbeit Universitét Dortmund FB Informatik, 1988
Cardelli, L.; Compiling a Functional Language; ACM Symp. on Lisp and Funct. Progr., 208–217, 1984
Cardelli, L.; Amber; LNCS 242, Springer 1986, 21–47
Cardelli, L.; Wegner, P.; On Understanding Types, Data Abstraction, and Polymorphism ACM Comp. Surveys, Vol 17. 4, 1985, 471–522
Cremers, A.B.; Hibbard, T.N.; The Semantical Definition of Programming Languages in Terms of their Data Spaces; Informatik Fachberichte 1, Springer 1976, 1–11
Cremers, A.B.; Hibbard, T.N.; Formal Modelling of Virtual Machines; IEEE Trans. on Softw. Eng., Sept 1978, 426–436
Cremers, A.B.; Hibbard, T.N.: A Programming Notation for Locally Synchronized Algorithms; in Bertolazzi, P.; Luccio, F. (ed.); VLSI-Algoritms and Architectures, North Holland 1985, 341–376
Damas, L.; Milner, R.; Principal type-schemes for functional programs; Proc. Principles of Programming Languages, ACM 1982, 207–212
Faulk, S.R.; Parnas, D.L.; On Synchronisation in Hard-Real-Time Systems; Comm. ACM Vol. 31, 1988, 274–287
Freisleben, B.; Mechanismen zur Synchronisation paralleler Prozesse; Informatik Fachberichte, Vol 133, Springer 1985
Halstead, R.H. Jr.; Implementation of Multilisp: Lisp on a Multiprocessor; ACM Symp. on Lisp and Funct. Progr., 9–17, 1984
Hindley, R.; The Principal Type-Scheme of an Object in Combinatory Logic; Trans. Am. Math. Soc., Vol 146, 1969, 29–60
Igel, B.; Ausféhrbare Spezifikation eingebetteter technischer Systeme; Diplomarbeit Universitét Dortmund FB Informatik, 1984
Igel, B.; Reichwein, G.; An Example of Communicating Production Systems; Proc. Concurrency 88, Lecture Notes in Computer Science 335, Springer 1988, 307–319
Igel, B.; Applikative Modellierung vernetzter Systeme; Dissertation, Universität Dortmund FB Informatik, Grüne Reihe 296, 1989
Kleinrock, L.; Distributed Systems; Comm. ACM, Vol. 28, 1985, 1200–1213
Milner, R.; A Theory of Type Polymorphism in Programming; Journal of Comp. and Sys. Science, Vol 17, 348–375, 1978
Nikhil, R.S.; Practical Polymorphism; LNCS 201, Springer 1985, 319–333
Patil, S.S.; Climitations and Cababilities of Dijkstra’s Semaphore Primitives Among Processes; MIT-Memo, MAC 57, 121 Feb. 1971
Presser, L.; Multiprogramming Coordination; ACM Comp. Surveys, Vol 71, 1975, 21–44
Radensky, A.; Lazy Evaluation and Nondeterminism Make Backus’ Fp-Systems More Practical; Sigplan Notices, Vol 224, 1987, 33–40
Reisig, W.; Systementwurf mit Netzen; Springer 1985
Spector, A.Z.; Computer Software for Process Control; Scientific American, Vol 2513, 1984, 126–138
Werum, W.; Windauer, H.; Introduction to PEARL - Process and Experiment Automation Realtime Language; Vieweg Verlag, 2.Aufl. 1983
Zave, P.; The operational approach to requirements specification for embedded systems University of Maryland, Th-976, Dec 1980
Zave, P.; Exchange Functions: Interaction Primitives for Specifying Distributed Systems Bell Laboratories, TM–82–11384–13, 1982
Zave, P.; The Operational versus the Conventional Approach to Software Development Comm. ACM Vol. 27, 1984, 104–118
Zave, P.; Berliner E.F.; An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave System; Proc. 9th Int. Conf. on Software Engineering, IEEE 1987, 42–50
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Igel, B. (1989). Applikative Beschreibungsmethoden in Verteilten Prozeßsteuerungen. In: Henn, R.K.H., Stieger, K. (eds) PEARL 89 — Workshop über Realzeitsysteme. Informatik-Fachberichte, vol 231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-75291-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-75291-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51986-7
Online ISBN: 978-3-642-75291-9
eBook Packages: Springer Book Archive