Modelling Distributed Systems by Modular Graph Transformations based on Refinements via Rule Expressions