分布式制造调度体系结构的π演算形式化建模

• 作者: 王世进
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 分布式制造调度 控制体系结构 形式化规范 一阶多元π-演算 Agent Holon
• 年，卷（期）: 2010,（9）
• 所属期刊栏目: 博士论坛
• 页码范围: 1-3,7
• 页数: 4页
• 分类号: TH166
• 字数: 4462字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.09.001

摘要

分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础.以Agent(Holon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例,重点对各个实体的通信协调机制进行了形式化分析,并借助计算机工具进行了相应的死锁分析.结果表明了基于一阶多元丌一演算在形式化建模和分析方面的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王世进	同济大学经济与管理学院	11	138	5.0	11.0