Modelling and Analyzing Adaptive Self-Assembly Strategies with Maude