Show all publications

Vers Une Méthodologie Formelle De Spécification De Systèmes Multi-Agents

Download Bibliography in Open DocumentDownload Bibliography in HTMLDownload BibTeXDownload RISDownload Bibliographical Ontology (RDF)
Authors:
Details:
In Proc. of Journées Francophones sur l'Intelligence Artificielle Distribuée et les Systèmes Multi Agents, 2000.
Abstract:
Le travail présenté dans cet article s’inscrit dans le cadre d’une démarche méthodique pour la construction de spécifications formelles de Systèmes Multi-Agents. L’idée de base est de définir de tels systèmes comme un ensemble d’entités mettant en œuvre des rôles entre lesquels des interactions sont spécifiées. Le formalisme utilisé est basé sur la composition d’Object-Z et des statecharts. Cette approche nous permet : d’avoir un pouvoir d’expression suffisant, de disposer d’outils pour l’analyse d’une spécification et enfin de pouvoir raffiner les spécifications afin d’aboutir à une implémentation.
Keywords:
Systèmes Multi-Agents, spécification formelle, méthodologie
Publication Category:
National conference with proceedings
Copyright 2010-2019 © Laboratoire Connaissance et Intelligence Artificielle Distribuées - Université Bourgogne Franche-Comté - Privacy policy