世界经济全球化趋势的迅猛发展,对企业灵活的市场应变能力和柔性的管理体制提出了更高的要求。为了适应这一变化,虚拟组织应运而生。虚拟组织能够动态地整合处于不同地理位置的资源和实体,实现共享和协同工作,提高组织的核心竞争力,快速响应市场的需求。同时,虚拟组织的动态性、分布性和敏捷性等特征增加了系统复杂性,提高了任务失败的概率,也导致现有的处理方法难以取得理想的效果。Norm丰富的语义表达能力使描述虚拟组织中组织成员、资源、功能和流程之间的复杂约束条件、动态协作关系和异常情况处理成为可能。本文对Norm支持的虚拟组织框架、流程管理模型、角色权限模型、状态机验证模型和组织—资源—功能模型进行了研究,以期增强虚拟组织模型的柔性、动态性和语义完整性,最终能够提高系统分析的准确性和有效性,为系统开发提供全面准确的用户需求。 本文主要内容如下: Norm支持的虚拟组织架构。包括了虚拟组织支撑平台和工具、组织—资源—功能模型、基于Norm的流程模型和角色权限模型、基于状态机的验证和仿真模型。整个框架以Norm的描述和验证为理论基础,结合状态机的表达能力,把虚拟组织的各个组成部分集成在一起,明晰地体现了它们之间的关系,实现了虚拟组织的系统化描述。 基于Norm的流程模型。在流程控制中增加了实时的状态信息,利用形式化的Norm来描述流程的动态变化,通过Norm把流程变化和系统状态动态地结合起来,解决了流程控制中的动态性和选择性问题;并把流程的Norm描述和状态机理论结合起来,提出了流程状态机模型,来验证Norm描述中的语义冲突及其完整性。另外提供了相关的语义完整性证明和检验算法。 基于Norm的角色、行为和规则模型(RBR-model)。首先对Norm进行了分类,然后分析了虚拟组织中角色和行为权限之间的动态关系,给出了利用Norm来动态关联角色和行为的方法,并提出了RBR-model。同时,结合RBR-model和状态机理论提出了RBR状态机模型,该模型可以检测规则描述的语义冲突,验证规则集合的完备性,并为系统的模拟仿真提供了理论基础。 虚拟组织的组织、资源和功能模型及其相互关系。分析了虚拟组织中组织模型、资源模型和功能模型的相互关系,给出了相应的形式化定义,同时,提出了组织模型和资源模型的构建方法及相关算法。最后通过功能模型把资源模