RWTH Aachen Computer Science V TROPOS Workshop, Trento, November 15-16, 2001 Tropos Research Overview: RWTH Aachen M. Jarke and G. Lakemeyer RWTH Aachen.