Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Vers une spécification des modèles de simulation de systèmes complexes

Résumé : L’adoption d’un protocole partagé pour communiquer les modèles de simulation de systèmes complexes de façon rigoureuse est actuellement nécessaire. Ce constat est soutenu par la demande croissante en modélisation, non seulement pour comprendre la réalité qui nous entoure, mais également pour faire de l’aide à la décision. La spécification rigoureuse des ces modèles de simulation est essentielle car elle permet leur communication, leur reproduction et donc leur vérification. Dans ce papier, nous proposons de réunir les propositions de deux communautés en modélisation et simulation. La première est la communauté des chercheurs en modélisation individus centrés, ou modélisation à base d’agents. Cette communauté propose un protocole, définit par V. Grimm et al. en 2006, revu en 2010. La seconde est la proposition issue de la communauté des chercheurs en simulation au sens large, qui existe autour de la théorie initiée par B. Zeigler en 1976. Nous faisons le lien entre ces deux communautés à partir d’un article de G. Aumann de 2007 qui introduit la théorie de Zeigler en écologie. Ici, nous proposons et décrivons le cadre général d’une méthode de spécification des modèles de simulation qui permet la reproduction et la vérification, et donc augmente la confiance autour des modèles de simulation de systèmes complexes. Nous proposons l’utilisation d’un formalisme systémique pour la spécification de ce protocole. Néanmoins les aspects techniques et purement formels de la spécification, même s’ils sont fondamentaux, ne sont pas abordés dans ce papier car ils ne sont pas nécessaires à sa compréhension. Ils devront néanmoins être présentés prochainement dans leur totalité pour que le protocole proposé ici soit effectif.
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inrae.fr/hal-02643108
Déposant : Migration Prodinra <>
Soumis le : jeudi 28 mai 2020 - 19:26:42
Dernière modification le : mardi 13 octobre 2020 - 16:00:03

Fichier

GQ - 2012.07.26 - RI100102_1.p...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-02643108, version 1
  • PRODINRA : 164529

Collections

Citation

Raphaël Duboz, Bruno Bonté, Gauthier Quesnel. Vers une spécification des modèles de simulation de systèmes complexes. Studia Informatica Universalis, Hermann, 2012, Vol. 10 (no. 1), pp.07-37. ⟨hal-02643108⟩

Partager

Métriques

Consultations de la notice

17

Téléchargements de fichiers

13