Description
TOSCA specification until 2.0 has not explicitly specified what redefinitions are allowed during derivation/refinement and how they interact with assignments, leaving implementations to decide how to do it and to deal with the ensuing confusion and lack of portability.
This is a proposal to clearly define such rules in the TOSCA language specification.