ME.6.MC:4.1 - Fix the receiving question and the actual alternatives
Take the receiving result and its criteria from ME.3, or reuse an adequate account already available. Take the serious alternatives from ME.6. State how their proposed ordering, result use, allocation or shared resources differ. Keep a feasible incumbent in the comparison when it remains an option.
Choose the property that matters now. Examples include preserving an answer after regrouping work, completing before a deadline with the available capacity, preventing an obsolete result from being used, or ensuring that a required response eventually occurs. Name the inputs, variations and operating conditions over which it is required.
Distinguish an existence question from a guarantee. Finding one schedule establishes that the model admits that schedule; it does not show that every allowed scheduling policy will meet the deadline. Finding one successful sequence does not establish that all allowed interleavings preserve the result.
Retain each alternative’s status. A proposed allocation, available tool, performed operation and obtaining Method relation are different facts. Carry a proposed arrangement’s unconfirmed conditions into the result.