The Tropos project was launched in the Spring of 2000. Its aim has been to establish a methodology for building agent-oriented software systems. The methodology that has emerged is founded on the
i* modelling framework to support four phases of software development: early and late requirements, as well as architectural and detailed design. The purpose of this report is to offer an overview of ongoing work on the project at Fondazione Bruno Kessler (FBK), the University of Trento (UniTN) and the University of Toronto (UT).