电子机构的进程代数模型研究
在开放异构的环境下,实现自治主体间可信的业务协同系统仍是一个困难的问题.电子机构为分析该类问题提供了一种较好的概念框架,但它对分布协同系统的设计实现阶段还缺乏有效支持.以进程代数理论为基础,提出一种适合电子机构的进程演算语言,给出了其形式语法和操作语义,并以具体实例说明了该方法的使用过程.电子机构的进程代数方法更加适合于电子机构的设计、分析确认与实现.
电子机构 进程代数模型 协同系统 自治主体 设计规约
蔡国永 高济 董荣胜
桂林电子科技大学,计算机与控制学院,广西,桂林,541004 浙江大学,计算机与软件学院,浙江,杭州,310027
国内会议
南宁
中文
74-77
2007-10-12（万方平台首次上网日期，不代表论文的发表时间）