A framework for software architecture refactoring using model transformations and semantic annotations | IEEE Conference Publication | IEEE Xplore