COMBINING KARL AND CRLM FOR DESIGNING VERTICAL TRANSPORTATION SYSTEMS

This paper describes a solution to the Sisyphus-II elevator-design pro blem by combining the formal specification language KARL and the confi gurable role-limiting shell approach. A knowledge-based system configu ring elevator systems is specified and implemented. First, the knowled ge is described in a graphical and semi-formal manner influenced by th e KADS models of expertise. A formal description is then gained by sup plementing the semi-formal description with formal specifications whic h add a new level of precision and uniqueness. Finally, a generic shel l for propose-and-revise systems is designed and implemented as the re alization of the final system. This shell was derived by adapting the shellbox COKE, also used for the previous Sisyphus office-assignment p roblem. As a result of this integration, we get a description of the k nowledge-based system at different levels corresponding to the differe nt activities of its development process. (C) 1996 Academic Press Limi ted