A sentential function mapping method for object-oriented analysis and design.