Kalkül der kommunizierenden Systeme

Das Kalkül der kommunizierenden Systeme ist eine von Robin Milner eingeleitet Prozesskalkül um 1980 und der Titel eines Buches, das Kalkül beschreibt. Seine Aktionen zu modellieren unteilbaren Kommunikation zwischen genau zwei Teilnehmern. Die Formensprache beinhaltet Grundelemente zur Beschreibung parallel Zusammensetzung, Wahl zwischen den Maßnahmen und den Umfang Restriktions. CCS ist nützlich für die Beurteilung der Richtigkeit der qualitative Eigenschaften eines Systems wie Stillstand oder Livelock.

Nach Milner, "Es gibt nichts kanonischen über die Wahl der Grund Kombinatoren, auch wenn sie mit viel Liebe zum Wirtschaft ausgewählt wurden. Was kennzeichnet unser Kalkül ist nicht die genaue Auswahl von Kombinatoren, sondern die Wahl der Auslegung und der mathematischen Rahmen ".

Die Ausdrücke der Sprache als einer markierten Übergangssystem interpretiert. Zwischen diesen Modellen wird Bisimularität als semantische Äquivalenz verwendet.

Syntax

Angesichts einer Reihe von Aktionsnamen, wird der Satz von CCS-Verfahren durch den folgenden BNF-Grammatik definiert:

Die Teile der Syntax sind in der oben angegebenen Reihenfolge

Verwandte Kalküle und Modelle

  • Communicating Sequential Processes, von Tony Hoare entwickelt wurde, ist eine Sprache, die in einer ähnlichen Zeit, um CCS entstanden.
  • Die pi-Kalkül, von Milner in den späten 80er Jahren entwickelt, bietet Mobilität der Kommunikationsverbindungen, indem Prozesse, die Namen der Kommunikationskanäle einander kommunizieren.
  • PEPA, von Jane Hillston entwickelt einführt Aktivität Timing in Bezug auf exponentialverteilten Raten und probabilistische Auswahl, so dass Performance-Kennzahlen zu bewerten.

Einige andere Sprachen basierend auf CCS:

  • Calculus of Broadcasting Systems
  • Sprache der zeitlichen Reihenfolge Spezifikation

Modelle, die in der Studie von CCS-ähnlichen Systemen verwendet worden sind:

  • Geschichte Monoid
  • Schauspieler-Modell
(0)
(0)
Kommentare - 0
Keine Kommentare

Fügen Sie einen Kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Zeichen übrig: 3000
captcha