Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-3416
Main Title: Translational expressiveness: comparing process calculi using encodings
Translated Title: Translational Expressiveness. Vergleich von Prozess Kalkülen mit Hilfe von Kodierungen
Author(s): Peters, Kirstin
Advisor(s): Nestmann, Uwe
Granting Institution: Technische Universität Berlin, Fakultät IV - Elektrotechnik und Informatik
Type: Doctoral Thesis
Language: English
Language Code: en
Abstract: Wir untersuchen die Beziehung zwischen Prozesskalkülen – insbesondere zwischen verschiedenen Varianten des Pi-Kalküls und dem Join-Kalkül – die sich in den verwendeten Interaktionsmechanismen unterscheiden. Dabei unterscheiden wir im Wesentlichen zwischen synchronen und asynchronen Interaktionsmechanismen, als Basisformen von Interaktion in verteilten Systemen. Aufgrund ihrer größeren Ausdrucksstärke werden synchrone Interaktionsmechanismen oft in Spezifikationen benutzt, asynchrone Interaktionsmechanismen lassen sich in der Regel aber leichter in realen Systemen implementieren. Wir untersuchen unter welchen Bedingungen eine Abbildung synchroner Interaktionen in asynchrone Interaktionen möglich ist. Dazu vergleichen wir die Ausdrucksstärke verschiedener Varianten von Prozesskalkülen, indem wir untersuchen, ob zwischen diesen Sprachen eine Kodierung existieren kann. Besonders interessieren wir uns für die Möglichkeit einer Kodierung, welche den Grad der Verteilbarkeit der zu übersetzenden Prozesse bewahrt. Wir diskutieren verschiedene Resultate sowohl für die Möglichkeit als auch für die Unmöglichkeit einer solchen Kodierung zwischen Varianten des Pi-Kalküls und dem Join-Kalkül.
We study the relation between process calculi—in particular between variants of the pi-calculus and the join-calculus—that differ in their either synchronous or asynchronous interaction mechanism. Synchronous and asynchronous interactions are the two basic paradigms of interactions in distributed systems. While synchronous interaction is widely used in specification languages, asynchronous interaction is often better suited to implement real systems. We are interested in the conditions under which synchronous interactions can be implemented using just asynchronous interactions. We compare the different variants of the calculi with respect to their expressive power. To do so we analyse the existence of encodings between the languages, i.e., translations of the processes of one language into processes of another language. In particular we are interested in encodings that preserve distributability, i.e., in translations that to not reduce the degree of concurrency of the translated processes. We discuss positive as well as negative results between synchronous and asynchronous variants of the pi-calculus and the join-calculus.
URI: urn:nbn:de:kobv:83-opus-37495
http://depositonce.tu-berlin.de/handle/11303/3713
http://dx.doi.org/10.14279/depositonce-3416
Exam Date: 19-Sep-2012
Issue Date: 28-Nov-2012
Date Available: 28-Nov-2012
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): (a)synchrone Interaktion
Ausdrucksstärke
Hierarchie
Kodierung
Prozess Kalküle
(a)synchronous interactions
Encodings
Expressive power
Hierarchy
Process calculi
Creative Commons License: https://creativecommons.org/licenses/by-nc-sa/2.0/
Appears in Collections:Technische Universität Berlin » Fakultäten & Zentralinstitute » Fakultät 4 Elektrotechnik und Informatik » Institut für Softwaretechnik und Theoretische Informatik » Publications

Files in This Item:
File Description SizeFormat 
Dokument_36.pdf3,61 MBAdobe PDFThumbnail
View/Open


Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.