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

• 作者: 董荣胜 蔡国永 高济
• 来源期刊: 微电子学与计算机
• 关键词: 电子机构 进程代数 分布协同 自治主体 设计规约
• 年，卷（期）: 2007,（10）
• 页码范围: 74-77
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.10.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高济	浙江大学计算机与软件学院	113	1578	22.0	34.0
2	蔡国永	桂林电子科技大学计算机与控制学院	98	400	12.0	15.0
3	董荣胜	桂林电子科技大学计算机与控制学院	115	1521	13.0	37.0