The Language Factories


dol2bip is a tool for the translation of application software described in the DOL (Distributed Operation Layer, ETHZ) framework into an application software model in BIP. The underlying semantic model of DOL is Kahn process networks. The description consists of two parts:

  • the process network structure, described in XML
  • the process behavior, described in C, one process per file

For each process, there are two particular functions that have to be provided, respectively init and fire. Moreover, processes use specific primitives to communicate (DOL_write/DOL_read to write/read data from the channels). This page provide the links to download the tool as well as documentation about installing and running the tool. Some examples and case studies are also provided.


The package is bundled with the standard BIP distribution and hence it also includes the BIP compiler and runtime

 System Requirements

  • Linux
  • Java 1.6.

 Installing the Toolchain

Extract the archive on your system:

~ $ tar zxf BIP.linux.x86.tar.gz

Point the environment variable BIP2_HOME to this new directory.

for c-shell

~ $ setenv BIP2_HOME $PWD/BIP.linux.x86

for bash

~ $ export BIP2_HOME=$PWD/BIP.linux.x86

The dol2bip translator is invoked by running the $BIP2_HOME/bin/dol2bip executable.

 Coding guidelines for process description in C

The C source description for a processes must obey the following:

  • No C++ style variable declaration, e.g., for (int i = 0; i < ...) ... Instead, do int i; for (i = 0; i < ...) ...
  • The structure that defines the local variables (state) of a process must have the predefined name _local_states.

 Running an example

Example source structure: Each example folder must contain the application process network description as an XML file, and a src/ folder containing the C files describing the processes (one C file per process).

Example 1: Generator-Square-Consumer: This example is adapted from the DOL distribution. The figure below illustrates the process network.

The process network in describes in the file example1.xml.

The behavior of processes generator, consumer and square are described respectively in the files generator.c, consumer.c and square.c. The complete source is here.

To translate the DOL specifiation into BIP and execute the BIP model, do the following steps:

  • Step1: Generate BIP application software model
    ~ $ $BIP2_HOME/bin/dol2bip -f example1.xml
    Creating tmp folder...
    Parsing file : /tmp/DOL2BIP4507904712346052284tmp/libSW.bip
    Generating model : libSW.timod
    Generating model : libSW.model
    Scanning process network ...
    Process name:    generator
    Scanning source: generator.c
    Process name:    consumer
    Scanning source: consumer.c
    Process name:    square
    Scanning source: square.c
    Finished generation of example1_SWModel.bip
    Deleting tmp folder

    The application software BIP model is generated in the file example1_SWModel.bip. This can be compiled and executed using the BIP compiler and runtime as follows:

  • Step2: Compile
    ~ $ $BIP2_HOME/bin/bipc -f example1_SWModel.bip --genC-execute
    BIP Compiler. Version: frontend: trunk@3019, backend:trunk@3018
    Parsing file : /local/basu/junk/example1/example1_SWModel.bip
    Generating model : example1_SWModel.timod
    Generating model : example1_SWModel.model
    Parser exiting with no errors.
    C code generated
  • Step3: Build
    ~ $ make -f
  • Step4: Execute
    ~ $ ./example1_SWModel.bip.x --quiet
    BIP mono-threaded engine. Version: Engines: trunk@1457
    consumer: 0.000000
    consumer: 1.000000
    consumer: 4.000000
    consumer: 9.000000
    consumer: 16.000000
    consumer: 25.000000
    consumer: 36.000000
    consumer: 49.000000
    consumer: 64.000000
    consumer: 81.000000
    consumer: 100.000000
    consumer: 121.000000
    consumer: 144.000000
    consumer: 169.000000
    consumer: 196.000000
    consumer: 225.000000
    consumer: 256.000000
    consumer: 289.000000
    consumer: 324.000000
    consumer: 361.000000

Contact | Site Map | Site powered by SPIP 4.2.13 + AHUNTSIC [CC License]

info visites 4001385