Centre de documentation
scientifique

Dépouillements

Un 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)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 109 - 132 Titre : Un formalisme pour la gestion des connaissances : approche ingénierie dirigée par les modèles Type de document : Article/Communication Auteurs : T.L.A. Dinh, Auteur ; O. Gerbe, Auteur ; H. Sahraoui, Auteur Année de publication : 2007 Article en page(s) : pp 109 - 132 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] gestion des connaissances (organisation) [Termes IGN] métadonnées [Termes IGN] modélisation Résumé : (Auteur) Les nombreux travaux de recherche autour de IDM (ingénierie dirigée par les modèles) montrent que la gestion de modèles prend une importance grandissante et intervient dans divers domaines comme la gestion des connaissances, la gestion de métadonnées, les ontologies, la qualité de service et le génie logiciel. La représentation de modèles est fondamentale pour la gestion de modèles. Comme les formalismes de modélisation couramment utilisés ne rencontrent pas toutes les exigences pour la représentation et la gestion de modèles de connaissances, nous proposons dans cet article un nouveau formalisme qui rencontre toutes ces exigences. Notre solution supporte IDM. Elle cible le domaine de la gestion des connaissances en particulier mais pourrait se servir des applications d'autres domaines où le besoin de modéliser des choses et/ou représenter des modèles se présente. Copyright Lavoisier Numéro de notice : A2007-609 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=28972 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Remodé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)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 11 - 37 Titre : Remodélisation de l'architecture d'un système d'information Type de document : Article/Communication Auteurs : P. Dugerdil, Auteur Année de publication : 2007 Article en page(s) : pp 11 - 37 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] architecture de système [Termes IGN] architecture orientée modèle [Termes IGN] documentation de logiciel [Termes IGN] maintenance [Termes IGN] mise à jour de logiciel Résumé : (Auteur) L'ingénierie des systèmes d'information basée sur les modèles est une approche prometteuse pour le développement de nouveaux systèmes. Cependant, cette approche est tout aussi intéressante pour la rénovation des anciens systèmes (le patrimoine logiciel existant). Un écueil important toutefois est que ces systèmes ne sont en général pas documentés et quand ils le sont, la documentation n'est pas à jour. Il s'agit donc, avant toute rénovation, de procéder à une remodélisation de ces systèmes. Dans cet article, nous présentons une approche de remodélisation des systèmes d'information basée sur le Processus Unifié et l'analyse dynamique. Cette approche est illustrée par un exemple de remodélisation d'un progiciel de gestion. Numéro de notice : A2007-610 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=28973 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Aspect 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)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 39 - 68 Titre : Aspect de la réingénierie des modèles UML par analyse de données relationnelles Type de document : Article/Communication Auteurs : M. Rouane, Auteur ; M. Dao, Auteur ; Marianne Huchard, Auteur ; P. Valtchev, Auteur Année de publication : 2007 Article en page(s) : pp 39 - 68 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] génie logiciel [Termes IGN] interface utilisateur [Termes IGN] modèle conceptuel de données [Termes IGN] système de gestion de bases de données relationnelles [Termes IGN] UML Résumé : (Auteur) Afin d'asseoir le processus logiciel, le diagramme de classes UML se doit d'être complet mais aussi non redondant, deux qualités qu'il pourrait facilement perdre suite à une évolution prolongée. La restructuration de modèles, typiquement fondée sur l'analyse de concepts, vise à restaurer ces qualités en redistribuant les propriétés sur l'ensemble des classes. Nous présentons une approche étendant la restructuration aux modèles UML riches, en particulier, incluant des associations. Nous décrivons ses fondements, à savoir, l'analyse de plusieurs sortes d'entités entretenant diverses relations, et ses aspects applicatifs, tels que la traduction de l'UML vers le format d'analyse, le traitement des ambiguïtés sémantiques, l'assemblage du modèle restructuré, etc., puis nous discutons de sa validation. Copyright Lavoisier Numéro de notice : A2007-611 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=28974 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Modé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)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 69 - 108 Titre : Modélisation conceptuelle des IHM : une approche globale s'appuyant sur les processus métier Type de document : Article/Communication Auteurs : A. Brossard, Auteur ; C. Kolski, Auteur ; M. Abed, Auteur Année de publication : 2007 Article en page(s) : pp 69 - 108 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] gestion de processus d'organisation [Termes IGN] interface utilisateur [Termes IGN] modèle conceptuel de données Résumé : (Auteur) La modélisation conceptuelle des IHM est un élément essentiel pour arriver à une ingénierie dirigée par les modèles capable de prendre en charge un grand nombre de types d'applications. S'il est possible de trouver aujourd'hui des méthodes de modélisation des IHM capables de prendre en compte la modélisation de niveau conceptuelle, celles-ci sont bien souvent difficiles d'accès à travers l'utilisation de formalismes spécifiques qui ne facilitent pas les échanges avec les experts métier. Or ce sont les personnes les plus à même de définir ces modèles et de les valider. Pour répondre à cette problématique, nous avons défini les bases d'une méthode de modélisation des IHM qui, en s'appuyant sur les processus métier, permet de faciliter la communication entre les informaticiens et les experts métier. Copyright Lavoisier Numéro de notice : A2007-612 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=28975 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Mise 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)

Public [article]  inIngénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 12 n° 5 (septembre - octobre 2007) . - pp 133 - 157 Titre : Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués Type de document : Article/Communication Auteurs : P. Dhaussy, Auteur ; F. Boniol, Auteur Année de publication : 2007 Article en page(s) : pp 133 - 157 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information [Termes IGN] architecture orientée modèle [Termes IGN] bibliothèque logicielle Mots-clés libres : Context Description Langage CDL Résumé : (Auteur) L'article présente la définition et l'exploitation d'un concept d'unité de preuve comme élément encapsulant les données nécessaires à la preuve de propriétés sur un modèle de système à vérifier et plongé dans un environnement. Les modèles des unités, manipulées dans le processus de développement, peuvent être construits sous la forme de modèles abstraits à partir des données fournies par les phases d'analyse et de conception du système. Ces modèles intègrent des contextes de preuve abstraits. Ceux-ci modélisent formellement une exigence (ou une composition d'exigences) de sûreté ou vivacité bornée dans un contexte comportemental donné. Dans une approche IDM, les contextes de preuve sont traduits par transformation en modèles concrets puis en codes exploitables par des outils d'analyse formelle. Nous expérimentons cette approche sur une implantation des unités de preuve intégrant une description des contextes de preuve dans un langage nommé CDL et exploités par un outil OBP (Observer-Based Prover) mettant en oeuvre le langage IF et une technique de vérification par observateur Numéro de notice : A2007-613 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=28976 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
093-07051	RAB	Revue	Centre de documentation	En réserve L003	Disponible