【作者】 蔡国永； 高济； 董荣胜；

【Author】 CAI Guo-yong1, GAO Ji2, DONG Rong-sheng1 (1 School of Computer and Control, Guilin University of Electronic Technology, Guiling 541004, China; 2 School of Computer and Software, Zhejiang University, Hangzhou 310027, China)

【机构】 桂林电子科技大学计算机与控制学院； 浙江大学计算机与软件学院；

【摘要】 在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题。电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持。以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程。电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现。更多还原

【Abstract】 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.更多还原