Les outils de la mod - PowerPoint PPT Presentation

1 / 21
About This Presentation
Title:

Les outils de la mod

Description:

Title: Le p tit plan nantais Author: Alain VAILLY Last modified by: Alain VAILLY Created Date: 2/20/2004 5:06:37 PM Document presentation format – PowerPoint PPT presentation

Number of Views:123
Avg rating:3.0/5.0
Slides: 22
Provided by: AlainV8
Category:
Tags: avril | les | mod | outils

less

Transcript and Presenter's Notes

Title: Les outils de la mod


1
Les outils de la modélisation
Alain VAILLY Institut Universitaire
Professionnalisé de Méthodes Informatiques
Appliquées à la GEstion des entreprises Laboratoi
re dInformatique de Nantes Atlantique (FRE CNRS
2729) Université de Nantes Alain.Vailly_at_info.uni
v-nantes.fr
ABIDJAN, avril 2004
Diapositive n 1
2
Les outils de la modélisation
par Alain VAILLY
La langue ancienne était écrite par des scribes
qui devaient suivre, dès leur jeune âge, un long
apprentissage avant de maîtriser l'art de
l'écriture. La capacité d'écrire garantissait un
rang supérieur dans la société, et des promotions
étaient possibles. L'hiéroglyphe qui signifiait
scribe dépeignait son matériel.
  • Introduction
  • Hier
  • Aujourdhui
  • Demain
  • Conclusion

ABIDJAN, avril 2004
Diapositive n 2
3
Modélisation
Les outils de modélisation
  • La modélisation est une activité ancienne.
  • Elle a souvent été assurée par une  caste  de
    savants.
  • Elle sapplique à toutes sortes dactivité.

Introduction Hier Aujourdhui Demain
Conclusion
  • Un logiciel est modélisable.
  • La modélisation de logiciel est une activité
    ancienne.
  • Elle est assurée par les  informaticiens .

ABIDJAN, avril 2004
Diapositive n 3
4
Activité ancienne
Les outils de modélisation
-1700 av JC
Code dHammourabi
Loi du Talion pour telle donnée émise par tel
objet, telle mise en forme sera faite.
Introduction Hier Aujourdhui Demain
Conclusion
 La notion dalgorithme, cest à dire de
procédure détaillée de calcul, est déjà
parfaitement maîtrisée par les scribes. 
Jean-Yvon BIRRIEN in Histoire de lInformatique,
Collection Que sais-je ? PUF, 1990,ISBN
2-13-042850-9
ABIDJAN, avril 2004
Diapositive n 4
5
Notion de modèle
Les outils de modélisation
Marvin MINSKY in La société de lesprit,
InterEditions, 1988,ISBN 2-7296-0188-0
 toute structure quune personne peut utiliser
pour simuler ou anticiper le comportement de
quelque chose dautre 
Introduction Hier Aujourdhui Demain
Conclusion
 Pour un observateur O, un objet M est un modèle
dun objet A dans la mesure où O peut utiliser M
pour répondre aux questions qui lintéressent au
sujet de A 
Henri HABRIAS, citant M. MINSKI, in Le modèle
relationnel binaire, méthode I.A. (NIAM),
Editions Eyrolles, 1988
ABIDJAN, avril 2004
Diapositive n 5
6
Processus
Les outils de modélisation
La modélisation met en œuvre plusieurs processus
cognitifs
Il faut  tout  voir
  • Observation
  • Interprétation
  • Création

Introduction Hier Aujourdhui Demain
Conclusion
Il faut comprendre correctement
Il faut générer proprement
ABIDJAN, avril 2004
Diapositive n 6
7
Processus
Il faut  tout  montrer
Les outils de modélisation
La modélisation met en œuvre plusieurs processus
cognitifs
Il faut  tout  voir
  • Observation
  • Interprétation
  • Création

Introduction Hier Aujourdhui Demain
Conclusion
Il faut comprendre correctement
Il faut générer proprement
ABIDJAN, avril 2004
Diapositive n 7
8
Processus
Il faut être bien formé
Les outils de modélisation
La modélisation met en œuvre plusieurs processus
cognitifs
Il faut  tout  voir
  • Observation
  • Interprétation
  • Création

Introduction Hier Aujourdhui Demain
Conclusion
Il faut comprendre correctement
Il faut générer proprement
ABIDJAN, avril 2004
Diapositive n 8
9
Processus
Il faut les bons outils
Les outils de modélisation
La modélisation met en œuvre plusieurs processus
cognitifs
Il faut  tout  voir
  • Observation
  • Interprétation
  • Création

Introduction Hier Aujourdhui Demain
Conclusion
Il faut comprendre correctement
Il faut générer proprement
ABIDJAN, avril 2004
Diapositive n 9
10
Eléments étudiés
Il faut les bons outils
Les outils de modélisation
Nous allons donc nous concentrer sur ces outils
et notamment sur les méthodes.
Introduction Hier Aujourdhui Demain
Conclusion
  • Dans ce qui suit, donc,
  • outil méthode

ABIDJAN, avril 2004
Diapositive n 10
11
Eléments étudiés
Les outils de modélisation
Nous étudierons ces méthodes sous plusieurs
angles
  • Historique, avec une étude de leurs évolutions au
    cours du temps

Introduction Hier Aujourdhui Demain
Conclusion
  • Morphologique, avec une mise en évidence des
    notions sous-jacentes
  • Prospective, avec une réflexion sur leurs
    implications.

ABIDJAN, avril 2004
Diapositive n 11
12
Historique
Les outils de modélisation
Il y a près de quarante années que des méthodes
sont proposées. Nous avons donc une fenêtre
suffisamment large pour pouvoir observer les
évolutions et tenter de dégager quelques
enseignements.
Introduction Hier Aujourdhui Demain
Conclusion
Hier
(le temps de chargement du montage consacré à
lhistorique peut prendre un peu de temps...
patience... )
ABIDJAN, avril 2004
Diapositive n 12
13
Notions sous-jacentes
Les outils de modélisation
Face à une évolution rapide des technologies, une
complexité croissante des besoins et des
applications, à un besoin de migration
méthodologique, à un nombre pléthorique de
méthodes, il faut bien asseoir les bases et aller
vers un standard.
Introduction Hier Aujourdhui Demain
Conclusion
Aujourdhui
(le temps de chargement du montage consacré aux
notions sous-jacentes peut prendre un peu de
temps... patience... )
ABIDJAN, avril 2004
Diapositive n 13
14
Implications
Les outils de modélisation
UML est-il une norme ou bien un langage
difficilement compréhensible ? Tout un chacun
peut-il le comprendre ? Tout un chacun peut-il
ladapter à sa façon ? A-t-il une sémantique
précise, claire, formelle ?
Introduction Hier Aujourdhui Demain
Conclusion
Demain
(le temps de chargement du montage consacré aux
implications peut prendre un peu de temps...
patience... )
ABIDJAN, avril 2004
Diapositive n 14
15
Conclusion
Les outils de modélisation
  • Il y a eu de (très) nombreuses propositions de
    méthodes depuis près de quarante années.
  • Comme des organismes vivants, les méthodes
    vivent, évoluent, sinfluencent les unes les
    autres, meurent renaissent quelques années
    après, sous une autre forme.
  • Heureusement pour nous les ingrédients de ces
    méthodes (les briques de base) sont en nombre
    limité. Il est donc aisé de mettre en avant ce
    quil faut maîtriser.

Introduction Hier Aujourdhui Demain
Conclusion
ABIDJAN, avril 2004
Diapositive n 15
16
Conclusion
Les outils de modélisation
  • Aujourdhui, on assiste à lémergence dune
    notation qui a vocation à devenir un standard.
  • Ce statut ne lui sera accessible quaprès avoir
    réussi à définir proprement sa sémantique.
  • Ceci réalisé, il sera possible de franchir une
    étape supplémentaire dans  lindustrialisation 
    des spécifications UML.
  • Malgré tout, les  vieilles  méthodes (Merise)
    résistent.

Introduction Hier Aujourdhui Demain
Conclusion
ABIDJAN, avril 2004
Diapositive n 16
17
Conclusion
Les outils de modélisation
  • On constate une évolution vers davantage de
    complexité (des modèles, des problèmes, des
    solutions à mettre au point), ce qui rend plus
    difficile la validation par les utilisateurs des
    spécifications produites.
  • La première piste à explorer pour faciliter la
    validation est le paraphrasage, cest à dire la
    production automatique de textes équivalents aux
    diagrammes composant les spécifications.

Introduction Hier Aujourdhui Demain
Conclusion
Paraphrase ?
(le temps de chargement du montage consacré au
paraphrasage peut prendre un peu de temps...
patience... )
ABIDJAN, avril 2004
Diapositive n 17
18
Conclusion
Les outils de modélisation
  • Ce paraphrasage bute essentiellement sur la
    non-existence dune spécification formelle dUML.
  • La deuxième piste réside dans la réutilisation de
    composants logiciels. Celle-ci, encore marginale,
    ne prendra véritablement son essor que si les
    utilisateurs peuvent avoir confiance dans la
    qualité des dits composants, ce qui signifie que
    ces composants doivent être prouvés.

Introduction Hier Aujourdhui Demain
Conclusion
On retombe sur le besoin dune sémantique
formelle !
ABIDJAN, avril 2004
Diapositive n 18
19
Conclusion
Les outils de modélisation
Modèles de plus en plus complexes
Validation difficile
Achat de composants
Introduction Hier Aujourdhui Demain
Conclusion
Paraphrasage automatique
Preuve de ces composants
Sémantique formelle UML
ABIDJAN, avril 2004
Diapositive n 19
20
Conclusion
Les outils de modélisation
  • Lachat de ces composants, accessoirement, pose
    un problème assez peu évoqué dans la littérature,
    celui de la  colonisation organisationnelle .
  • Acheter un composant  Gestion des clients 
    revient à adopter les principes sous-jacents.
  • Un client américain se comporte-t-il comme un
    client thaïlandais ? Pas sûr !

Introduction Hier Aujourdhui Demain
Conclusion
Taille des composants ?
ABIDJAN, avril 2004
Diapositive n 20
21
Les outils de modélisation
Merci de votre attention !
Introduction Hier Aujourdhui Demain
Conclusion
ABIDJAN, avril 2004
Diapositive n 21
Write a Comment
User Comments (0)
About PowerShow.com