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

第 6 卷第 2 期 管 　理 　科 　学 　学 　报 Vol. 6 No. 2 　　　　　　　　　 　　　　　　　　　　　　 2003 年 4 月 JOURNAL OF MANAGEMENT SCIENCES IN CHINA Apr. , 2003 基于进程代数的 DSS 模型系统建模与实现① 孙　晶 , 赵会群 (北方工业大学信息工程学院 , 北京 100041) ( ) 摘要 :把进程代数 process algebra , PA 引入DSS 模型系统建模 ,提出一种新的 DSS 模型建模理 论体系 ———DSS 模型代数 ,它可以描述模型之间激发、选择、重复、同步和并发等行为. 建立了 基于 DSS 模型代数的模型系统与组件模型的对应关系 ,提出了基于组件技术的模型系统实现 方法 ,并通过一个实例给出实现方法的具体应用. 关键词 :决策支持系统 ; 模型 ; 进程代数 ; 组件技术 ( ) 中图分类号:N94512 　　　文献标识码 :A 　　　文章编号 :1007 - 9807 2003 02 - 0023 - 06 0 　引　言 型表示方法 ,此类方法的最大特点是用户可以用 类似程序设计语言的构模语言构造自己的模型. 决策支持系统( ) 本文把进程代数引入 DSS 模型系统建模与 decision support system ,DSS 是 模型驱动的. 由于决策领域复杂,DSS 模型系统实 实现 ,提出一种基于进程代数的 DSS 模型建模方 现有相当大的难度 , 难点之一是模型的表示和 法 ,并应用到 DSS 的实际开发 , 从理论和实践两 操纵. 个方面检验提出方法的有效性. Blanning[1 ]在实体关系模型基础上提出一种 ( ) 基于虚关系 virtual relation 的模型表示方法 ,该方 1 　基础知识 法通过模型查询语言对关系表进行操作来完成模 ( 型的选择和集成. 进程代数 PA 是从 CCS calculus of communicat Groffrion[2 ]提出了一种结构化构模语言 SML , ing systems) 发展起来的一种形式化的分布式系统 该语言通过引入基本实体、复合实体、属性实体、 描述语言. 它把系统看成由独立实体组成的集合 , ( ) 变量实体、函数实体和测试实体表示模型.