a framework for transforming and reusing requirements models