Prozessalgebra - Programmierung und Softwaretechnik (PST ...

Weitere Magazine

Empfehlungen

Info

Inhaltsverzeichnis Literaturhinweise 3 1 Kommunizierende Prozesse 4 1.1 Parallele Prozesse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.2 Prozesskommunikation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 1.3 Formale Theorien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2 Grundlagen der Prozessalgebra 12 2.1 Beschreibung und Verhaltensäquivalenz von Prozessen . . . . . . . . . . . . . . 12 2.2 Basissprache und Bisimulations-Semantik . . . . . . . . . . . . . . . . . . . . . 14 2.3 Axiomatisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3 Kommunizierende Prozesse 19 3.1 Parallelität . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.2 Kommunikation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 3.3 Verklemmung und Restriktion . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 3.4 Denotationelle Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4 Rekursion 29 4.1 Rekursive Spezifikationen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29 4.2 ACP mit Rekursion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32 4.3 Approximation von Prozessen . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 4.4 Sprachvarianten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39 5 Abstraktion 41 5.1 Unsichtbare Aktion und Abstraktionsoperator . . . . . . . . . . . . . . . . . . . 41 5.2 Axiomatisierung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 5.3 Fairness der Abstraktion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 5.4 Beispiel: Das Alternating Bit Protocol . . . . . . . . . . . . . . . . . . . . . . . 49 6 Andere Semantiken 52 6.1 Spur-Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52 6.2 Readiness-Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53 6.3 Failure-Semantik . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 2
Literaturhinweise Begleitende Literatur: Baeten/Weijland: Process Algebra. Cambridge University Press 1990. Baeten (ed.): Applications of Process Algebra. Cambridge University Press 1990. Fokkink: Introduction to Process Algebra. Springer 2000. (zu Kapitel 5:) Bergstra/Klop: Algebra of communicating processes with abstraction. TCS 37, 77-121 (1985). Baeten/Bergstra/Klop: On the consistency of Kooman´s fair abstraction rule. TCS 51, 129-176 (1987). Eine Auswahl weiterer Lehrbücher: Ben-Ari: Principles of concurrent and distributed programming. Prentice Hall 1990. Hennessy: Algebraic Theory of Processes. The MIT Press 1988. Herrtwich/Hommel: Kooperation und Konkurrenz – nebenläufige, verteilte und echtzeitabhängige Programmsysteme. Springer 1989. Hoare: Communicating Sequential Processes. Prentice Hall 1985. Magee/Kramer: Concurrency. Wiley 1999. Milner: Communication and Concurrency. Prentice Hall 1989. 3
Seite 1: LUDWIG-MAXIMILIANS-UNIVERSITÄT MÜ
Seite 5 und 6: 1.2 Prozesskommunikation 5 Zusammen
Seite 7 und 8: 1.2 Prozesskommunikation 7 Zugrunde
Seite 9 und 10: _ "%$ _ '&($)$+*-, _ "10 _2 1.3 Fo
Seite 11 und 12: 1.3 Formale Theorien 11 Prozessalge
Seite 13 und 14: 2.1 Beschreibung und Verhaltensäqu
Seite 15 und 16: £ £ ¡ ¡ 2.2 Basissprache und Bi
Seite 17 und 18: 2.3 Axiomatisierung 17 2.3 Axiomati
Seite 19 und 20: Kapitel 3 Kommunizierende Prozesse
Seite 21 und 22: ¡ ¡ ¡ 3.2 Kommunikation 21 3.2 K
Seite 23 und 24: 3.3 Verklemmung und Restriktion 23
Seite 25 und 26: 3.3 Verklemmung und Restriktion 25
Seite 27 und 28: Intention (£ ∈ P ): £ ♠ ❄
Seite 29 und 30: Kapitel 4 Rekursion 4.1 Rekursive S
Seite 31 und 32: 4.1 Rekursive Spezifikationen 31 Be
Seite 33 und 34: 4.2 ACP mit Rekursion 33 2. (Trivia
Seite 35 und 36: 4.2 ACP mit Rekursion 35 Axiomatisi
Seite 37 und 38: 4.3 Approximation von Prozessen 37
Seite 39 und 40: 4.4 Sprachvarianten 39 Lemma 4.3.3
Seite 41 und 42: Kapitel 5 Abstraktion 5.1 Unsichtba
Seite 43 und 44: £ £ £ 5.1 Unsichtbare Aktion und
Seite 45 und 46: 5.2 Axiomatisierung 45 Weitere Axio
Seite 47 und 48: 5.3 Fairness der Abstraktion 47 d)
Seite 49 und 50: 5.4 Beispiel: Das Alternating Bit P
Seite 51 und 52: ¢ ∈£ ¢ ∈£ 5.4 Beispiel: Das
Seite 53 und 54:
6.2 Readiness-Semantik 53 Beispiele
Seite 55 und 56:
6.3 Failure-Semantik 55 6.3 Failure
Alle anzeigen

Prozessalgebra - Programmierung und Softwaretechnik (PST ...

Erfolgreiche ePaper selbst erstellen

Template löschen?

Als Template speichern?