Skip to Main content Skip to Navigation
New interface
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal-amu.archives-ouvertes.fr/hal-03555291
Contributor : MAAMAR EL AMINE HAMRI Connect in order to contact the contributor
Submitted on : Thursday, February 3, 2022 - 3:13:01 PM
Last modification on : Friday, February 4, 2022 - 4:16:44 AM

Licence

Copyright

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

7