基于π演算的软件体系结构一致性分析研究

体系结构是系统的高层抽象和集成蓝图，基于形式化方法描述和分析体系结构能在系统开发早期发现体系结构层面的错误并提升体系结构的质量。基于体系结构的πadl形式化规约，结合体系结构领域的需求和特点，运用π演算基本理论形式化定义了系列概念和多种进程关系，并以此作为理论基础，提出了πadl规约的8种一致性分析方法，用以提高体系结构规约和系统组装的质量。