ValueSpecification transformation