Dynamic software architectures : a style-based modeling and refinement technique with graph transformations