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

Formal modeling of architecture with π-calculus for distributed manufacturing scheduling

作　　者：王世进[1] 

机构地区：[1]同济大学经济与管理学院管理科学与工程系,上海200092

出　　处：《计算机工程与应用》2010年第9期1-3,7,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.70901058);国家自然科学基金重大项目(No.70832005)~~

摘　　要：分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agen(tHolon)的制造调度控制体系结构模型为对象,在比较现有形式化方法优劣的基础上,提出基于一阶多元π-演算的体系结构形式化建模和分析方法,并以一种基于Holon的柔性制造车间生产调度控制体系结构为实例,重点对各个实体的通信协调机制进行了形式化分析,并借助计算机工具进行了相应的死锁分析。结果表明了基于一阶多元π-演算在形式化建模和分析方面的有效性。Good formal design of control architecture for distributed manufacturing scheduling is the basis to the consistency and efficiency of the next developed system.This paper studies the formal specification problem of Agent or Holon-based control architecture for manufacturing scheduling.Based on the comparisons of existing formal specification methods,this paper proposes a first-order polyadic π-calculus based formal design and analysis method.Then,a case of Holon-based control architecture for manufacturing scheduling in flexible shop floor is investigated.Especially,its communication and negotiation mechanism is modeled with first-order polyadic π-calculus and its deadlock is analyzed correspondingly.The results show that the first-order polyadic π-calculus is an easier and effective way for formal specification of Agent or Holon-based control architecture for distributed manufacturing scheduling.

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

分 类 号：TH166[机械工程—机械制造及自动化]