RETRACTED: Specification and verification of dynamic evolution of software architectures

This article has been retracted: please see Elsevier Policy on Article Withdrawal (http://www.elsevier.com/locate/withdrawalpolicy).This article has been retracted at the request of the Editor-in-Chief.This paper has been withdrawn as it became apparent that a second, virtually identical article was published at about the same time in Journal of Software. The two papers had very similar content, addressing the same problem with similar techniques. Following a detailed investigation, with the support of the authors, the differences in the text and the techniques used were considered too minor.