Hongzhen Xu, Guosun Zeng. Modeling and Verifying Composite Dynamic Evolution of Software Architectures using Hypergraph Grammars. International Journal of Software Engineering and Knowledge Engineering, 23(6):775-800, 2013. [doi]
Abstract is missing.