||A Process Language Runtime for the .NET Platform
||Probst, Christian W. (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||Process languages, also known as process algebras or process calculi, are languages
that are built up of distinct processes communicating with each other.
Different process languages have different constructs, but most of the prominent
ones have a common subset of constructs. That subset includes action prexing,
parallel composition of subprocesses and non-deterministic choice between
The .NET platform is a popular development platform. One of its strengths is
that it supports multiple languages running on the same underlying virtual machine.
The languages compile down to a common bytecode format which means
that the languages can interoperate and different parts of the same application
can be built in different languages.
This thesis explores how well process languages can be integrated into the .NET
environment and how they can interoperate with code written in other languages.
The design and implementation of an extensible compiler back-end and
a runtime library for process languages are presented, as well as two case studies
of languages implemented using the common compiler and runtime, and a
graphical tool to interact with running process language applications. Finally,
a quick overview is given of how to integrate a process language into a state-ofthe-
art integrated development environment.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2009-07-21
Update date: 2010-08-25