Centre dedocumentation
scientifique

Dépouillements

Aide à la décision pour la conception de systèmes complexes: une approche SMA / M. Augeraud in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 9 - 32 Titre : Aide à la décision pour la conception de systèmes complexes: une approche SMA Type de document : Article/Communication Auteurs : M. Augeraud, Auteur ; J. Boussier, Auteur ; F. Colle, Auteur ; et al., Auteur Année de publication : 2008 Article en page(s) : pp 9 - 32 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] aide à la décision [Termes IGN] modélisation [Termes IGN] simulation [Termes IGN] système complexe [Termes IGN] système multi-agents Résumé : (Auteur) La gestion de systèmes complexes (tels que les hôpitaux, les villes, les systèmes de transport) pose de nombreux problèmes, parmi lesquels se trouve l'évaluation de l'impact d'une décision. Pour évaluer l'impact d'une décision, nous proposons au décideur d'interagir avec un modèle de l'organisation. Cette action s'apparente à celle d'un joueur et permet de plonger le décideur dans un environnement virtuel assez proche de l'environnement réel. Les objets de ce dernier doivent ainsi pouvoir réagir comme ils le feraient dans la réalité. Dans le cadre des systèmes de trafic urbain, cela revient à produire un environnement de modélisation et de simulation ayant une apparence de « SimCity© » (l'aspect graphique ayant une importance non négligeable), mais possédant des fonctionnalités avancées pour la conception de réseaux et la gestion du trafic. Nous proposons pour résoudre ce problème une approche combinant la facilité de la modélisation orientée objets avec la puissance de description des comportements de l'approche multi-agent. Ce cadre méthodologique inclut l'utilisation de spécifications formelles autorisant une vérification de la modélisation produite avant son implémentation. Copyright Lavoisier Numéro de notice : A2008-172 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29167 [article]

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-08021	RAB	Revue	Centre de documentation	En réserve 3L	Disponible

Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents / H. Fadil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 33 - 52 Titre : Vers une approche formelle pour la validation des protocoles d'interaction en systèmes multi-agents Type de document : Article/Communication Auteurs : H. Fadil, Auteur ; J. Koning, Auteur Année de publication : 2008 Article en page(s) : pp 33 - 52 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] langage de modélisation [Termes IGN] schéma conceptuel de données [Termes IGN] système multi-agents [Termes IGN] UML Résumé : (Auteur) Les travaux de recherche relevant du domaine des systèmes multi-agents se sont largement intéressés à la définition de protocoles d'interaction en vue de régir les communications entre agents. Néanmoins, ces protocoles sont souvent informels (décrits par des textes) ou semi-formels (décrits par des diagrammes), et manquent, par conséquent, de bases théoriques solides permettant de prouver leur correction. Il est donc important de mettre en oeuvre une méthodologie stricte et abordable pour spécifier, concevoir et vérifier les protocoles d'interaction de ces systèmes. Pour cela, l'usage d'une méthode formelle, telle que B, présente des avantages indéniables. Dans le cadre de notre investigation, nous proposons, dans un premier temps, une passerelle entre une modélisation semi-formelle en AUML et sa contre-partie formelle en B. Ensuite, nous montrons l'apport de notre démarche en injectant dans la spécification formelle une formalisation d'un ensemble de propriétés élémentaires telles que la cohérence des messages, la pertinence des protocoles et des rôles, etc. Copyright Lavoisier Numéro de notice : A2008-173 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29168 [article]

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-08021	RAB	Revue	Centre de documentation	En réserve 3L	Disponible

Semantic enrichment of enterprise modelling supported by ontologies / N. Zouggar in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 75 - 95 Titre : Semantic enrichment of enterprise modelling supported by ontologies Type de document : Article/Communication Auteurs : N. Zouggar, Auteur ; B. Vallespir, Auteur ; D. Chen, Auteur Année de publication : 2008 Article en page(s) : pp 75 - 95 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] intégration [Termes IGN] langage de modélisation [Termes IGN] ontologie Résumé : (Auteur) La modélisation d'entreprise et l'ontologie sont deux domaines de recherche aujourd'hui disjoints. D'une part, nous avons des langages de modélisation d'entreprise qui existent depuis plus de vingt ans, mais qui sont conçus sur une base essentiellement syntaxique. D'autre part, nous avons les ontologies qui permettent de définir formellement des concepts, ce qui évite des ambiguïtés de compréhension. L'absence de sémantique dans les langages de modélisation d'entreprise pose des problèmes d'application et d'utilisation de ces langages. Aussi, l'enrichissement sémantique de ceux-ci paraît nécessaire pour l'intégration et l'interopérabilité en entreprise et les ontologies peuvent être une solution pour apporter de la sémantique. Copyright Lavoisier Numéro de notice : A2008-174 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29169 [article]

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-08021	RAB	Revue	Centre de documentation	En réserve 3L	Disponible

OntoDaWa, un système d'intégration à base ontologique de sources de données autonomeset évolutives / D. Nguyen Xuan in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 2 (mars - avril 2008)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 13 n° 2 (mars - avril 2008) . - pp 97 - 125 Titre : OntoDaWa, un système d'intégration à base ontologique de sources de données autonomeset évolutives Type de document : Article/Communication Auteurs : D. Nguyen Xuan, Auteur ; L. Bellatreche, Auteur ; G. Pierra, Auteur Année de publication : 2008 Article en page(s) : pp 97 - 125 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] instance [Termes IGN] modélisation [Termes IGN] ontologie [Termes IGN] relation sémantique Résumé : (Auteur) De plus en plus de systèmes d'intégration de données utilisent les ontologies afin de résoudre les conflits traditionnels. Les principales limitations de ces systèmes sont : (1) l'absence d'autonomie des sources et (2) l'absence de prise en compte des besoins d'évolution asynchrone tant des différentes sources que des ontologies utilisées. Dans cet article, nous proposons d'abord une technique d'intégration de données selon une architecture matérialisée permettant d'assurer une intégration entièrement automatique de sources de données tout en laissant à chacune des sources une autonomie significative. Cette technique suppose que chaque source contient à la fois sa propre ontologie et les relations sémantiques qui l'articulent a priori avec une ou des ontologie(s) partagée(s). Nous proposons ensuite un modèle pour gérer les évolutions ontologiques qui simplifie considérablement la gestion de l'évolution des sources. Nous proposons enfin une méthode de gestion du cycle de vie des instances évitant toute duplication de données. Copyright Lavoisier Numéro de notice : A2008-175 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29170 [article]

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-08021	RAB	Revue	Centre de documentation	En réserve 3L	Disponible