An integrated modelling approach to KBS development