Computer Science ›› 2011, Vol. 38 ›› Issue (4): 196-198.
Previous Articles Next Articles
REN Hong-min,LIU Jin
Online:
Published:
Abstract: Abstract 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 for many 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.
Key words: Software architecture,Architecture analysis,Formal method, π calculus
REN Hong-min,LIU Jin. Research on Software Architecture Consistency Analysis Based on π Calculus[J].Computer Science, 2011, 38(4): 196-198.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I4/196
Cited