基于扩充环境演算的虚拟组织建模与分析  

Extended Ambient Calculus Based Virtual Organization Modeling and Analyzing

作　　者：蔡国永[1,2] 高济[1] 黄勇[1] 赵岭忠[3] 

机构地区：[1]浙江大学计算机与软件学院,杭州310027 [2]桂林电子科技大学 计算机与控制学院,桂林541004 [3]桂林电子科技大学计算机与控制学院,桂林541004

出　　处：《模式识别与人工智能》2008年第5期577-585,共9页Pattern Recognition and Artificial Intelligence

基　　金：国家自然科学基金(No.60775029;60663005);广西省自然科学基金(No.0728089)资助项目

摘　　要：针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义.以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例,说明该方法的可用性.该演算文法特点是结合多主体组织管理理论的部门、角色、政策、演员等概念,因而更易于与其它系统高层领域概念分析模型建立关联,有利于系统概念模型到设计模型的平滑过渡.A method of ambient calculus design and analysis is proposed based on the organizational management theory, and its syntax and semantics are presented. An electronic institutional model is mapped to construct the extended ambient calculus and a concrete case is presented to show the feasibility of the proposed method. The characteristic of the method is incorporating organizational concepts to the ambient calculus such as role, policy, actor and unit. Thus, the high level domain concept model can evolve into the design model smoothly in system development.

关 键 词：环境演算 电子机构 多主体系统 虚拟组织 形式化方法 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]