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