For this problem, take the following set of requirements and perform the steps of abstraction and refinement on them.
(Software Requirement Specification--)
1. Movement: Bees shall spawn from the hive when the user interacts with the hive. Bees shall be able to move from the hive to a flower. A bee shall return to the hive after it has collected all of the available pollen from a flower, has reached its pollen carrying capacity, or is interrupted by the player.
Bees carrying more than 50% of their bee carry capacity shall have a 25% reduction to their speed when returning to thr hive. Impairment value may change for game balance.
2. Pollen: A bee shall be able to collect pollen from a flower that has a pollen value greater than zero. During the pollen collection process the flower's pollen value shall be reduced by each bee. The reduced pollen value shall be added to the bee's pollen value.
3. Carrying Capacity: A bee shall have a maximum carrying capacity that denotes how much pollen it can carry at anytime. If a bee's pollen value equals is carrying capacity, the bee shall end its current collection process and return to the hive.
4. Transfer: When a bee has returned to the hive, it shall transfer all of its collected pollen to the hive. After a bee has transferred its pollen, it shall disappear from the level map denoting the bee has rejoined the hive.