Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation