Descripteur
Documents disponibles dans cette catégorie (161)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
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)
[article]
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-agentsRé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
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) . - pp 9 - 32[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 Disponible vol 13 n° 2 - mars - avril 2008 - Modélisation multiple : formalismes et modèles (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / M. Chabrol
[n° ou bulletin]
est un bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI (2001 -)
Titre : vol 13 n° 2 - mars - avril 2008 - Modélisation multiple : formalismes et modèles Type de document : Périodique Auteurs : M. Chabrol, Éditeur scientifique ; Marcel Gourgand, Éditeur scientifique Année de publication : 2008 Importance : 145 p. Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] langage de modélisation
[Termes IGN] modèle mathématique
[Termes IGN] système d'informationNuméro de notice : 093-0802 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE/SOCIETE NUMERIQUE Nature : Numéro de périodique Permalink : https://documentation.ensg.eu/index.php?lvl=bulletin_display&id=10219 [n° ou bulletin]Contient
- 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)
- 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)
- 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)
- 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)
Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 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)
[article]
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émantiqueRé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
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) . - pp 97 - 125[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 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)
[article]
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] ontologieRé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
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) . - pp 75 - 95[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 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)
[article]
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] UMLRé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
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) . - pp 33 - 52[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-08021 RAB Revue Centre de documentation En réserve L003 Disponible Actes de l'atelier " Systèmes d'Information et de Décision pour l'Environnement" [lors d'INFORSID 2008] / François Pinet (2008)PermalinkAn intentional view of service-oriented computing / C. Rolland in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 1 (janvier - février 2008)PermalinkDéfis de la sécurité de l'information : support à la gestion des risques de sécurité par les modèles / N. Mayer in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 13 n° 1 (janvier - février 2008)Permalinkvol 13 n° 1 - janvier - février 2008 - Nouveaux challenges dans les systèmes d'information (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / C. RollandPermalinkLe système d'information durable / Pierre Bonnet (2008)PermalinkUn cadre de conception pour réunir les modèles d'interaction et l'ingénierie des interfaces / J. Lard in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 6 (novembre - décembre 2007)Permalinkvol 12 n° 6 - novembre - décembre 2007 - Interaction homme-machine dans le développement des SI (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / Sophie Dupuy-ChessaPermalinkPrise en compte du genre pour la conception d'application interactive : propositions et expériences / M. Latapy-Etcheverry in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 6 (novembre - décembre 2007)PermalinkAspect de la réingénierie des modèles UML par analyse de données relationnelles / M. Rouane in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)PermalinkUn formalisme pour la gestion des connaissances : approche ingénierie dirigée par les modèles / T.L.A. Dinh in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)PermalinkMise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués / P. Dhaussy in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)Permalinkvol 12 n° 5 - septembre - octobre 2007 - Modèles et espace technologique des sytèmes d'information (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / T. MillanPermalinkModélisation conceptuelle des IHM : une approche globale s'appuyant sur les processus métier / A. Brossard in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)PermalinkRemodélisation de l'architecture d'un système d'information / P. Dugerdil in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 5 (septembre - octobre 2007)Permalinkvol 12 n° 4 - juillet - août 2007 - Conception des systèmes d'information : patrons et spécifications formelles (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / J.M. PinonPermalinkvol 12 n° 3 - mai - juin 2007 - Systèmes d'information pair-à-pair (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / Bruno DefudePermalinkvol 12 n° 2 - mars - avril 2007 - Métadonnées et nouveaux SI (Bulletin de Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI) / F. SedesPermalinkMétadonnées et XML : des standards efficients de l'environnement numérique / C. Morel-Pair in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 2 (mars - avril 2007)PermalinkAlgorithmes de notification pour bibliothèques numériques / H. Belhaj Frej in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)PermalinkDécouverte de services basée sur leurs protocoles de conversation / J.C. Corrales in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 12 n° 1 (janvier - février 2007)Permalink