电子机构的进程代数模型研究  

Process Algebraic Model of Electronic Institution

作　　者：蔡国永[1] 高济[2] 董荣胜[1] 

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

出　　处：《微电子学与计算机》2007年第10期74-77,共4页Microelectronics & Computer

基　　金：广西自然科学基金项目(0728089)

摘　　要：在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程。电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现。Developing dependable distributed collaboration system is still a challenge work in an open and heterogeneous environment. Although electronic institution provides a promising way towards modeling the problem, there are some shortages when concerning the design and construction of such a system. Based on the well founded process algebraic theory, an electronic institution oriented calculus language is presented to specify the complex interaction patterns appearing in institutional design level. The formal defined syntax and operational semantic of the calculus language are presented. A proof of concept implementation has been working out with the proposed approach. The experience shows a lot of advantages when developing such type of institutional based collaboration systems with the proposed process algebraic approach.

关 键 词：电子机构 进程代数 分布协同 自治主体 设计规约 

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