The process of transforming one specification into a more detailed specification is called refinement. The new specification can be referred to as a refinement of the original one. Specifications and their refinements typically do not coexist in the same system description. Precisely what is meant by a more detailed specification will depend on the chosen specification language.
There needs to be support for substitutability of concepts from one abstraction to another.