Discrete event simulation of reactive knowledge based systems - Aix-Marseille Université Access content directly
Journal Articles International Journal of Knowledge-Based and Intelligent Engineering Systems Year : 2006

Discrete event simulation of reactive knowledge based systems

Abstract

We propose an approach for specifying, validating and verifying the behavior of reactive Knowledge Based Systems that consists in: 1) using an extension of the CommonKADS specification language to specify the behavior of this kind of system as in an expertise model; 2) automatically operationalizing (and verifying) this behavioral part of the expertise model into a model expressed with the DEVS formalism; 3) validating the system behavior by the simulation of the obtained operational model. In this way, the system behavior is specified in the expert terminology and it is validated by simulation, before even designing and implementing the system. We illustrate our approach with the Jaspar bank system of service allocation with waiting queues managing. First, we define a template for dynamic assignment, like those of the CommonKADS library, to be used in the definition of any service providing system. Then, we describe the behavior of the Jaspar bank system by reusing this template and we show how translating the obtained Jaspar bank model into the DEVS formalism makes its validation by simulation feasible.
No file

Dates and versions

hal-03555291 , version 1 (03-02-2022)

Licence

Copyright

Identifiers

Cite

Maamar El Amine Hamri, Maâmar El-Amine Hamri, Lucile Torres, Claudia Frydman. Discrete event simulation of reactive knowledge based systems. International Journal of Knowledge-Based and Intelligent Engineering Systems, 2006, 10 (6), pp.417-431. ⟨10.3233/KES-2006-10602⟩. ⟨hal-03555291⟩
8 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More