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

Research on Software Architecture Consistency Analysis Based on π Calculus

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

As the blueprint for software development,software architecture deals with design and implementation of high level structure of software systems.Describing and analyzing software architecture based on formal approach can substantially detect architectural mismatches in the early stage of system development and then improve the architecture quality effectively.Based on formal architectural description language π ADL and taken into consideration of the characteristics and requirements of software architecture,a collection of concepts and process relationships were defined formally using π calculus theory as a theory foundation,then eight static check methods to determine consistency of π ADL architecture specifications were developed,which can significantly raise the qualities of architectural specifications and system composition.