Consider the following goal model fragment for an air traffic control system shown below. The parent goal roughly states that aircraft routes should be sufficiently separated. The refinement is intended to produce sub-goals for continually separating routes based on different kinds of conflict among routes.
Write a four to five (4-5) page paper in which you:
1. Analyze the parent goal of the Maintain [SufficientRouteSeparation] node.
2. Restructure and redraw the provided model fragment, by use of the decomposition-by-case and milestone-driven patterns, so that the use of both patterns are explicit and separated. Use Visio or an equivalent such as Dia. Note: The graphically depicted solution is not included in the required page length.
3. Determine the incompleteness in the provided model fragment and fix the anomaly. Explain what the anomaly is and propose a way for it to be rectified.
4. Determine the goals, in your completed diagram, that require further refinement and explain why.
5. Use at least three (3) quality resources in this assignment.