文献类型：期刊文章

作　　者：王永滨[1] 孟跃进[2] 周春来[2] 孟庆龙[2] 张丽[1]

机构地区：[1]北京广播学院计算机与软件学院,北京100024 [2]河北工业大学电器研究所,天津300130

出　　处：《计算机集成制造系统-CIMS》

基　　金：广电总局高校科技资助项目(BG0110)。~~

年　　份：2004

卷　　号：10

期　　号：4

起止页码：367-373

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱演算的动态联盟协同设计组织结构描述方法。该方法易于严格地显式表达系统的动态过程和资源权限的易变性,为组织模型的形式化研究提供了一种手段。在此基础上还提出了动态联盟协同设计系统结构和实现策略。

关 键 词：组织模型  封箱演算  协同设计 进程代数 AGENT

分 类 号：TP391]