required aspects of the agent-based system, and then proceeds through design,
implementation, and testing phases, during which the system’s specified
functionality is refined and ultimately mapped back to the early requirements
captured in GRL. Although Tropos was not originally conceived for capturing