Requirement traceability is intended to ensure continued alignment between stakeholders requirements and various outputs of the system development process. Therefore a process for requirement traceability is a significant factor on efficient software project management. Failure to do so will imply in higher costs for maintaining software systems. Methodologies supporting requirement traceability can develop higher quality software with fewer costs. This paper presents an innovative research that aims to support traceability through requirements specifications, system architecture models, static and dynamic software design models and implementation artifacts of agent-oriented software systems. In this work we outline a process that can be used to extend Tropos to support traceability. An e-commerce example is used to demonstrate the applicability of the proposed approach