Norm驱动的虚拟组织关键技术研究

本项目采用符号学(Semiotics)中的Norm研究在复杂动态环境下虚拟组织的建模、语义、流程和模型的验证和仿真。具体研究Norm规则的分类细化、规则的推理演绎、规则的语义以及与之驱动的状态机模型；基于Norm的组织（个人）特征和状态描述、虚拟组织的建模方法、智能柔性流程建模和虚拟组织的验证和仿真。该方法能够很好的描述虚拟组织的动态结构特性和动态过程特征，采用智能柔性流程保证虚拟组织内的协同工作正确高效的完成，利用与Norm相结合的自动机验证和仿真技术能够检验虚拟组织模型是否满足预期的目标，实现资源共享和协同工作，使模型更具有适应性和实用性。该研究在理论方面突破以前虚拟组织模型仅仅侧重结构的缺陷，将结构、过程、验证和仿真等各种元素有机结合；在实践方面也将对基于虚拟组织方式工作的网格分析设计和开发应用产生进一步的推动作用。