ntccSim卡

ntccSim：一个定时并发进程的仿真工具。ntccSim是avisa研究组用并发约束编程（CCP）语言Mozart Oz开发的一个仿真工具，目的是在Frank Valencia博士提出的一种定时CPP过程演算ntcc中运行程序规范。ntccSim允许模拟基本ntcc构造的操作行为，以及声明过程和递归过程定义。该工具的一个重要特性是可以在同一个模型中包含多个约束系统。例如，有限域上的约束（FD）和实区间（XRI）被用来实现一些基于约束的生物系统计算模型。在当前版本的ntccSim中，仅支持这两个约束系统。