基于进程代数的DSS 模型系统建模与实现

把进程代数(process algebra , PA) 引入DSS 模型系统建模,提出一种新的DSS 模型建模理 论体系———DSS 模型代数,它可以描述模型之间激发、选择、重复、同步和并发等行为. 建立了 基于DSS 模型代数的模型系统与组件模型的对应关系,提出了基于组件技术的模型系统实现 方法,并通过一个实例给出实现方法的具体应用.

Modeling and implementing of DSS model system based on process algebra

By introducing the process algebra to the work of describing DSS model system , a new paradigm , called DSS model algebra , for modeling DSS model system is proposed. There are some properties for model communication such as invocation , selection , repeat , synchronization and concurrence involved in the new paradigm. The imple2 ment technology is also discussed. By comparing the DSS model system based on model algebra and model systemof components , it also gives an implement example for model system based on components.