Verification and validation of the SACHEM Conceptual model

Authors:
M. Le Goc;C. Frydman;L. Torres
Affiliations:
Usinor, Sachem, LBI 13776 Fos Sur Mer Cedex France and LSIS, Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 France;LSIS, Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 France.;LSIS, Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 France.
Venue:
International Journal of Human-Computer Studies
Year:
2002

Citing 5
Cited 4

Components of expertise

AI Magazine
Hierarchies in Coloured Petri Nets

APN 90 Proceedings on Advances in Petri nets 1990
KADS: a modelling approach to knowledge engineering

Knowledge Acquisition - Special issue on the KADS approach to knowledge engineering
Software Engineering

Software Engineering
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium

Methodologies for the development of knowledge-based systems, 1982–2002

The Knowledge Engineering Review
The Discrete Event Concept as a Paradigm for the “Perception-Based Diagnosis” of Sachem

Journal of Intelligent and Robotic Systems
Modelling structures in generic space, a condition for adaptiveness of monitoring cognitive agent

Journal of Intelligent and Robotic Systems
SACHEM, a Real-Time Intelligent Diagnosis System Based on the Discrete Event Paradigm

Simulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.