Modeling Early Requirements in Tropos: A Transformation Based Approach