Abstract graph transformation by