基于封箱演算的形式化组织模型

组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整。

动态联盟协同设计组织模型与系统结构

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

多电视台临时协作的安全模型

多电视台经常需要为完成共同任务并取得各自利益而临时地组织成一种协作的联盟。多电视台的协作增强了组织的复杂性,协作中各自媒体内容的安全性也尤为重要。本文将进程代数中的封箱演算引入到多电视台临时协作组织模型的方法描述中,给出了多电视台临时协作组织模型建模方法和建模工具原型,以形式化的方式体现了多电视台临时协作组织结构的动态性,资源权限的易变性,和对各自资源的安全控制。