An Object-Oriented System Design Procedure