ntccSim

A simulation tool of timed concurrent processes

ntccSim is a simulation tool developed by AVISPA Research Group in the Concurrent Constraint Programming (CCP) language Mozart-Oz in order to run program specifications in ntcc, a timed CPP process calculus proposed by Dr. Frank Valencia. ntccSim allows one to simulate the operational behaviour of the basic ntcc constructs as well as to declare procedure and recursive process definitions. An important feature of this tool is that several constraint systems can be included in the same model. For instance, constraints over finite domains (FD) and real intervals (XRI) have been used to implement some constraint-based computational models of biological systems. In the current version of ntccSim only these two constraint systems are supported.

You can download the simulator from here.


How to configure the tool?
In the file ntccSim.oz, edit the path where the file RI.ozf is placed
Compile the file ntccSim.oz (ozc -c ntccSim.oz)
This process generates the file ntccSim.ozf


How to use the tool?
In your source file, edit the path where the file ntccSim.ozf is placed.
In your source file, edit the path where the file RI.ozf is placed.


Examples

The FD example (ejemploFD.oz) is executed from the Mozart environment.

The XRI examples (senode.oz, genode.oz, lacode.oz and operon.oz) are executed from a console application by using the makefile.
make clean deletes the files generated after a simulation process. For that reason, it must be always executed.
make generates the executable file with the simulation.
zrall changes the character ~ to - . This must be done to feed gnuplot with the simulation results.


A normal simulation process can be done in this way (case genode.oz):

make clean
make
./ode
./zrall
gnuplot xygens
showimage xygens.png