Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions