Computergestützte Konsistenzsicherung in der objektorientierten Systemanalyse