资源描述：
《基于进程代数的dss模型系统建模与实现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。
1、第6卷第2期管 理 科 学 学 报Vol.6No.22003年4月JOURNALOFMANAGEMENTSCIENCESINCHINAApr.,2003①基于进程代数的DSS模型系统建模与实现孙 晶,赵会群(北方工业大学信息工程学院,北京100041)摘要:把进程代数(processalgebra,PA)引入DSS模型系统建模,提出一种新的DSS模型建模理论体系———DSS模型代数,它可以描述模型之间激发、选择、重复、同步和并发等行为.建立了基于DSS模型代数的模型系统与组件模型的对应关系,提出了基
2、于组件技术的模型系统实现方法,并通过一个实例给出实现方法的具体应用.关键词:决策支持系统;模型;进程代数;组件技术中图分类号:N945112 文献标识码:A 文章编号:1007-9807(2003)02-0023-060 引 言型表示方法,此类方法的最大特点是用户可以用类似程序设计语言的构模语言构造自己的模型.决策支持系统(decisionsupportsystem,DSS)是本文把进程代数引入DSS模型系统建模与模型驱动的.由于决策领域复杂,DSS模型系统实实现,提出一种基于进程代数的DS
3、S模型建模方现有相当大的难度,难点之一是模型的表示和法,并应用到DSS的实际开发,从理论和实践两操纵.个方面检验提出方法的有效性.[1]Blanning在实体关系模型基础上提出一种基于虚关系(virtualrelation)的模型表示方法,该方1 基础知识法通过模型查询语言对关系表进行操作来完成模型的选择和集成.进程代数PA是从CCS(calculusofcommunicat2[2]Groffrion提出了一种结构化构模语言SML,ingsystems)发展起来的一种形式化的分布式系统该语言通过引入
4、基本实体、复合实体、属性实体、描述语言.它把系统看成由独立实体组成的集合,变量实体、函数实体和测试实体表示模型.SML可实体又称代理(agents),各代理的执行进程是原子[8]显示模型实体间的相互依赖关系,通过转换生成活动(atomicactions)集合,它用于描述系统各代可以运行的模型.理之间的并发(concurrence)、同步(synchronization)[3][4][5]Huh、Lenard、黄梯云等对面向对象的等行为.作为一种工具,它被广泛地应用于计算机模型表示法进行了较深入的研究
5、,对SML方法中系统和通信系统表现行为描述和评价,业已证明[9]模型部件与方法部件,模型部件与数据部件的独PA与Petri网等价,且结构更优.PA定义的运[8]立带来的特性不匹配加以改进,在一定程度上完算如下:善了面向对象的模型表示方法.面向对象的模型1)顺序组合(sequentialcomposition)‘·’ (a,表示能很好地支持构模、集成、共享与重用,所以r)·A表示进程A中的活动顺序执行,a是A中的得到广泛关注.活动,r是活动执行时间.文献[6,7]等提出了一类专用构模语言的模2)选择(
6、selection)‘+’ A+B表示两个进程①收稿日期:2001-10-24;修订日期:2002-07-26.作者简介:孙 晶(1968—),女,硕士,讲师1©1994-2007ChinaAcademicJournalElectronicPublishingHouse.Allrightsreserved.http://www.cnki.net—24—管 理 科 学 学 报 2003年4月可选择其一执行.Behai是模型第i个接触点行为语义描述;3)并发(concurren
7、ce)‘‖’ A‖B表示两个Non-Funci是模型第i个接触点非功能说明,进程中活动独立执行.包括模型的安全性、可靠性说明等.4)协同或同步(cooperation/synchronization)在定义1中模型接口给出了模型的形式化描‘Θ’ AΘB表示两个进程中的同类活动协同操述,它定义了模型的模式.为了方便,一般用元组作,H表示同类活动集.元素(ID)表示模型ID中的一类元素的集合.如5)隐藏运算(encapsulation)‘/’ A/a表示进Publ(C)表示模型C中各接口点Port中Pu
8、bl元素程对活动a的屏蔽.的集合.运算3)是运算4)的特例,即当同步运算中的定义2 设A和B是论域U中的两个模型,H为空时为并发运算.如果A和B满足下列条件,则称B是A的一个进化,记为Evolve(B,A).2 模型代数1)Dom(B)=Dom(A)Dom()表示模型的定义域2.1 模型与模型运算2)Publ(B)BPubl(A)狭义上讲,DSS模型可以是一个数学公式,一3)Extn(B)AExtn(A)个统计分析过程的描述等;广义上讲,DSS模型可4)Priv(B)
