Induction and Dialogue in Specification Formalisation: An Object-Based Approach