Extension method of Z descriptive language for dynamic software architecture
Xiaoyan Zhu · Journal of Lanzhou University of Technology · 2013
In view of the shortcomings of dynamic evolution description method of current software architecture,and the static feature of many descriptive languages which cannot be used to describe dynamic software architecture,the classic Z descriptive language was extended.The extended Z descriptive language could be used to describe dynamic evolution by means of addition or deletion of components and connectors in the software architecture.After the extension of Z descriptive language,the description rules,component description,connector description and configuration description were given in the concrete.The feasibility of such extension was shown by an actual example.