A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems