Novel approach for attributed graph grammar response specification verification