核电企业信息系统组织模型及形式化描述

袁 锋，宋亚峰,2，李旭东

（1.核工业计算机应用研究所，北京 100048；2.中国科学院研究生院，北京 100049）

组织机构是各机构和公司的基础架构以及正常运转的重要基础，它是为了优化管理和生产而建立的企业人员的集合，这个集合具有一定的内部层次和隶属结构，具有一定的职能和责任，并需要在指定时间内完成指定任务。每一个组织有一个最高管理决策者，组织成员具有一定的职责、权利和技能，成员之间根据组织结构阐述一定的权利和义务关系[1]。

组织机构是企业进行事务处理和实现业务功能的基础，任何信息系统都是建立在相应的组织模型基础上的，在信息系统建设过程中，组织机构建模是重要的基础性工作之一。科学合理的组织机构是NEIS具有鲁棒性和可扩充性的前提，也是核电异构信息系统有机集成的基础。核电企业因其特殊性，除了具有普通企业的属性外又有其特殊属性，因此有必要将核电组织机构从现实世界中抽象出来，并用一种形式化方法对其进行描述，形成核电企业信息系统组织模型。

1 研究现状

组织模型是重要的基础模型，同时也是当前研究的热点之一。Michael分析了组织元素和业务流程间的关系，提出了面向工作流程的组织元模型，该模型表达了组织单元、组织职位、资源、角色、能力等概念，将组织单元分解为临时组织单元和永久组织单元[2]；Nasser等人长期进行组织模型的研究，针对动态的开发环境，建立了虚拟组织模型（Virtual Organization,VO），并在此基础上又建立了基于访问控制的组织模型[3-5]；……