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

L'adoption d'un protocole partagé pour communiquer les modèles de simulation de systèmes complexes de façon rigoureuse est actuellement nécéssaire. 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. (Résumé d'auteur)