A complete high-level model also facilitates ongoing
scope management, allowing the modeller to identify processes
that are in or out of scope (and associated system boundaries), and
whether or not there is a logical order to their modelling suggested
by dependent relationships. Cyclical validation steps are important
during decomposition as inherent within methodologies such as
STRIM (see Section 4.1).