add dsl spec