The system shall verify derivation of properties from higher to lower level of business processes and vice-versa.