A model based approach to the design and implementation of computer aided production management systems