Verification and validation of the SACHEM conceptual model
We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operationalizing process we propose allows the KADS model to be completed and validated. Upon execution of the operational model, the dynamics of the system can be simulated, Thus the proposed operationalizing process contributed to the validation and verification of the SACHEM conceptual model. (C) 2002 Elsevier Science Ltd.
validation kads knowledge-based system operationalizing specification