摘要
动态联盟协同设计组织模型强调动态可重构的组织结构。目前提出的组织模型和建模思想,缺乏对模型中的动态过程的形式化描述,对资源权限的易变性表达不够。对此,将进程代数中的封箱演算引入到动态联盟组织模型建模中,提出了一种基于封箱演算的动态联盟协同设计组织结构描述方法。该方法易于严格地显式表达系统的动态过程和资源权限的易变性,为组织模型的形式化研究提供了一种手段。在此基础上还提出了动态联盟协同设计系统结构和实现策略。
The organization model of collaborative design in dynamic alliance emphasizes the dynamic reconstructable organization structure. The organization models and modeling idea available lack of the formalized describing on dynamic process and enough expressing for the changeability of access authorization for resource. A new kind of the organization structure describing method based on Seal-Calculus of process algebra is presented, which is convenient to express obviously and strictly the dynamic process of the system and the changeability of access authorization for resource, providing a new means for research on formalized organization model of collaborative design in dynamic alliance. Upon this method, the system architecture of collaborative design in dynamic alliance is presented.
基金
广电总局高校科技资助项目(BG0110)。~~
关键词
组织模型
封箱演算
协同设计
进程代数
AGENT
organization model
seal-calculus
computer support collaborative design
process algebra
agent