Constraints Specification at Higher Levels of Abstraction