动态联盟中协同设计系统模型.pdfVIP

动态联盟中的协同设计系统模型+ 刘静1，王永滨2 (t北京广播学院信息工程学院。北京100024：2河北工业大学电器研究所-天津300130) 摘要：为了研究企业动态联盟中协同设计系统的特性，相关的形式化研究是非常必要的．论文给出了可体现系统 配置灵活一|生的Ⅱ．演算模型．这将成为研究系统动态行为的基础，对实现技术的选择和系统开发策略的制定具有指导作 用． 关键词：动态联盟：协同设计；n．演算 中图分类号：THl28 文献标识码：A F 故此模型可以用来描述结构不断变化的并发系统。 1 引言 设名字用小写的字母或单词表示，进程用大写的 字母或单词表示；进程可定义如下： 在企业动态联盟中，协同设计的各方，分布在不 P：：=0In(z)．P|：(Y)．PIPIQIP+QI(-)P【，=，】PI!P 同地点，依靠计算机网络，进行协同合作，完成共同 其中： o：表示非话动进程． 的设计任务。由于动态联盟的暂时性，而各联盟企业 口fx)Pr这里口指某一通道的输入端，先通过口从通道的另 软硬件平台不同，要求系统设计软件支持系统具有可 端接受名y，再激活进程P{v，x)(表示用Y代替进程P中所订的 工)． 移植性：由于组织结构的多变性，设计人员和系统资 口(v)P：口指某…通j苣的输出端，先通过口向通道的另一端输出名 源经常需要重组和调动，要求协同设计系统提供的服 v．再激活进程P． 务、资源及设计人员接口具有配置的可移动性、灵活 P—HQ：进程的不确定计算形式．执行P或Q． PIQ：P和Q并行执行，可通过共享通道彼此通信． 性(如即插即用)及系统的安全性等。 (x)P：该进程中x是进程P的局域名． “计算机支持的协同设计”缩写为CSCD，为了 【J=Y】P；如果J=y．则激活进程P． ·P：任意个进程P的副本． 研究企业动态联盟中CSCD系统的特性，相关的形式 rn(P)：进程P的自由名集． 化研究是非常必要的。该系统是典型的分布式系统， 其特点是并发和通信。n．演算111是近年来发展起来的 3形式化模型 适合于描述结构不断变化的并发系统的进程代数，多 用于描述分布式系统中的移动计算。适合动态联盟中 这里给出的企业动态联盟中的协同设计系统模 CSCD系统的形式化建模。通过形式化的方法刻画系 统的结构和行为特征，有利于研究系统的动态行为， 掌握系统结构和运行特性，体现动态联盟中CSCD系成一个设计团队，由一个主设计专家负责，这里称其 统配置的可移动性、灵活性要求，并有利于系统的维 护和验证。论文给出了显示动态联盟中cscD系统特 和功能AGENT组成。总体结构成联邦式。为了体现 性的n-演算模型，以便理解系统动态运行过程，指导 系统的开放性，各AGENT可相互通信、共享资源和 系统开发。在此基础上，指出利用CORBA、XML和 相互提供服务。为了满足动态联盟对协同设计系统灵 JAvA实现该模型是合适的。 活性要求，这些AGENT应具有配置的可移动性，而 AGENT提供的服务及相关资源应作到即插即用。 2 7r．演算