Contribution a l'etude du pilotage de la modelisation des systemes d'information
Autor(a) principal: | |
---|---|
Data de Publicação: | 1988 |
Tipo de documento: | Tese |
Idioma: | fra |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFRGS |
Texto Completo: | http://hdl.handle.net/10183/17847 |
Resumo: | Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification. |
id |
URGS_36f9b9e134ed4715878898dd22b2709b |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/17847 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
1853 |
spelling |
Alvares, Luis Otavio CamposUniversite Joseph FourierNão disponível2009-12-12T04:15:00Z1988http://hdl.handle.net/10183/17847000004955Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification.application/pdffraInformatique de gestionSystème d'informationPilotage de modélisationConception assistéeRègles de cohérence et de complétudeBase de connaissancesSistemas : InformaçãoContribution a l'etude du pilotage de la modelisation des systemes d'informationinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversite Joseph Fouriergrenoble, fr1988doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000004955.pdf000004955.pdfTexto completo (francês)application/pdf28751596http://www.lume.ufrgs.br/bitstream/10183/17847/1/000004955.pdfacdc47538f91d4b4b5febbc5727c90a1MD51TEXT000004955.pdf.txt000004955.pdf.txtExtracted Texttext/plain273371http://www.lume.ufrgs.br/bitstream/10183/17847/2/000004955.pdf.txt0f31f3cee55c9775882e802fe03daf59MD52THUMBNAIL000004955.pdf.jpg000004955.pdf.jpgGenerated Thumbnailimage/jpeg1469http://www.lume.ufrgs.br/bitstream/10183/17847/3/000004955.pdf.jpgef85e43bc2098b546a96073f15f451cfMD5310183/178472021-05-07 04:48:36.740867oai:www.lume.ufrgs.br:10183/17847Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532021-05-07T07:48:36Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
title |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
spellingShingle |
Contribution a l'etude du pilotage de la modelisation des systemes d'information Alvares, Luis Otavio Campos Informatique de gestion Système d'information Pilotage de modélisation Conception assistée Règles de cohérence et de complétude Base de connaissances Sistemas : Informação |
title_short |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
title_full |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
title_fullStr |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
title_full_unstemmed |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
title_sort |
Contribution a l'etude du pilotage de la modelisation des systemes d'information |
author |
Alvares, Luis Otavio Campos |
author_facet |
Alvares, Luis Otavio Campos |
author_role |
author |
dc.contributor.other.pt_BR.fl_str_mv |
Universite Joseph Fourier |
dc.contributor.author.fl_str_mv |
Alvares, Luis Otavio Campos |
dc.contributor.advisor1.fl_str_mv |
Não disponível |
contributor_str_mv |
Não disponível |
dc.subject.fr.fl_str_mv |
Informatique de gestion Système d'information Pilotage de modélisation Conception assistée Règles de cohérence et de complétude Base de connaissances |
topic |
Informatique de gestion Système d'information Pilotage de modélisation Conception assistée Règles de cohérence et de complétude Base de connaissances Sistemas : Informação |
dc.subject.por.fl_str_mv |
Sistemas : Informação |
description |
Ce travail se situe dans le cadre des outils de modélisation des systèmes d'information (SI) en informatique de gestion. La complexité croissante des logiciels d'application oblige en effet à créer de nouveaux outils de développement. La realisation d'outils de pilotage de la modélisation est rendue difficile à cause des définitions imprécises des méthodes de modélisation utilisées. Notre étude consiste à proposer une représentation formelle complète de ces méthodes dans le but de constituer une base de connaissances d'un système expert pour diriger des modélisations. Une architecture fonctionnelle d'un tel système de pilotage est proposé et expérimentée. Cette architecture intègre un sous-système de configuration pour permettre la définition précise dune méthode personnalisée. La description d'une méthode par des regroupements d'expressions formelles utilisées pour verifier la conformite des specifications vis a vis de cette méthode assure la cohérence entre la définition et la vérification. |
publishDate |
1988 |
dc.date.issued.fl_str_mv |
1988 |
dc.date.accessioned.fl_str_mv |
2009-12-12T04:15:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/17847 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000004955 |
url |
http://hdl.handle.net/10183/17847 |
identifier_str_mv |
000004955 |
dc.language.iso.fl_str_mv |
fra |
language |
fra |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/17847/1/000004955.pdf http://www.lume.ufrgs.br/bitstream/10183/17847/2/000004955.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/17847/3/000004955.pdf.jpg |
bitstream.checksum.fl_str_mv |
acdc47538f91d4b4b5febbc5727c90a1 0f31f3cee55c9775882e802fe03daf59 ef85e43bc2098b546a96073f15f451cf |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1810085161399746560 |