Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité temporelle au sein de la modélisation et la simulation DEVS
Résumé
Cet article propose une extension du formalisme SES ( System Entity Structure) -défini par B.P. Zeigler- afin d'intégrer les concepts de hiérarchie d’abstraction et de granularité temporelle au sein du formalisme DEVS (Discrete EVent system Specification). Pour accomplir cette tâche, nous avons mis en évidence les problématiques suivantes : (i) définir formellement la hiérarchie d'abstraction et la granularité temporelle; (ii) ajouter la hiérarchie d'abstraction et la granularité temporelle au formalisme SES ; (iii) fournir des opérations pour mettre en oeuvre la hiérarchie d'abstraction et la granularité temporelle au sein de DEVS. Nous expliquons en détail : (i) le concept de hiérarchie d’abstraction et de hiérarchie temporelle; (ii) l'extension de SES afin de prendre en compte les deux types de hiérarchie; (iii) la modélisation et la simulation DEVS des systèmes complexes selon différents niveaux d'abst