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

Formalized Organization Model Based on Seal-calculus

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

Organization is the main formalization in group confrontation. A consummate organization model is beneficial for raising recognition＇s precision and efficiency. Seal is an extension of the π -calculus with process mobility. A formalized organization model and a Role-Based method of forming a hierarchy organization based on Seal-Calculus were proposed, and a new means for research on formalized organization model in dynamic organization was provided. The organization dynamic variety was discussed because of the role change.