A software engineer is designing a simulation of a city's transit network. To simplify the model, they decide to omit details such as the model year of the buses and the names of the drivers, focusing only on the stops, routes, and arrival times.
Which computational thinking process is the engineer using to remove these unnecessary details?
Algorithmic thinking
Decomposition
Abstraction
Evaluation