Object-oriented analysis through a knowledge-based system