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

摘要：

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

关键词：分布式制造调度、控制体系结构、形式化规范、一阶多元π-演算、Agent、Holon

所属期刊栏目：46

分类号：TH166

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 70901058;国家自然科学基金重大项目the Grand National Natural Science Foundation of China under Grant 70832005

在线出版日期：2010-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1-3,7