A specification environment for graph grammars