Tool for supporting the derivation of architectural models from goal models