KBS Development: From Design Models to Implementations