Research on Software Architecture Consistency Analysis Based on π Calculus
Jin Liu · 2011
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.