|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 8 van 13 gevonden artikelen
| Titel: |
Discrete event simulation of reactive knowledge based systems |
| Auteur: |
Hamri, Maâmar El-Amine Torres, Lucile Frydman, Claudia |
| Verschenen in: |
International journal of knowledge-based intelligent engineering systems |
| Paginering: | Jaargang 10 (2006) nr. 6 pagina's 417-431 |
| Jaar: |
2006-12-12 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 8 van 13 gevonden artikelen
| << vorige | volgende >> |