A UML rule-based approach for describing and checking dynamic software architectures | IEEE Conference Publication | IEEE Xplore