Translating a Configuration Language to the pi-Calculus
Giovanny F. Lucero
Fábio Q. B. da Silva
UFPE
In Configuration Programming, distributed systems are described using a
two level language: a programming level and a configuration level.
Configuration Programming thus separates the description of program
structure from the programming of computational components.
In the present paper we provide the semantics for the configuration level
of a language which allows dynamic reconfigurations.
The semantics is given by translating the language into the pi-calculus.
Keywords: Configuration Programming, Formal Semantics, pi-calculus
.