Vers une spécification des modèles de simulation de systèmes complexes - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Article Dans Une Revue Studia Informatica Universalis Année : 2012

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.
Fichier principal
Vignette du fichier
GQ - 2012.07.26 - RI100102_1.pdf (956.38 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02643108 , version 1 (28-05-2020)

Identifiants

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

Citer

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

Partager

Gmail Facebook X LinkedIn More