Les outils de la modélisation ABIDJAN, avril 2004Diapositive n° 1 Alain VAILLY Institut...
-
Upload
nina-millot -
Category
Documents
-
view
102 -
download
0
Transcript of Les outils de la modélisation ABIDJAN, avril 2004Diapositive n° 1 Alain VAILLY Institut...
Les outils de la modélisation
ABIDJAN, avril 2004 Diapositive n° 1
Alain VAILLY
Institut Universitaire Professionnalisé deMéthodes Informatiques Appliquées à la GEstion des entreprises
Laboratoire d’Informatique de Nantes Atlantique (FRE CNRS 2729)
Université de Nantes
Les outils de la modélisation
ABIDJAN, avril 2004 Diapositive n° 2
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
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.
par Alain VAILLY
ABIDJAN, avril 2004 Diapositive n° 3
Modélisation
Les outils de modélisation
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• La modélisation est une activité ancienne.
• Elle a souvent été assurée par une « caste » de savants.
• Elle s’applique à toutes sortes d’activité.
• 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° 4
Les outils de modélisation
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
Activité ancienne
Code d’Hammourabi
-1700 av JC
« La notion d’algorithme, c’est à 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 l’Informatique,
Collection Que sais-je ? PUF, 1990,ISBN 2-13-042850-9
Loi du TalionLoi du Talion : pour telle donnée émise par tel objet, telle mise en forme sera faite.
ABIDJAN, avril 2004 Diapositive n° 5
Les outils de modélisation
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
Notion de modèle
« Pour un observateur O, un objet M est un modèle d’un objet A dans la mesure où O peut utiliser M pour répondre aux questions qui l’intéressent au sujet de
A »
« toute structure qu’une personne peut utiliser pour simuler ou anticiper le comportement de quelque chose
d’autre »
Marvin MINSKY in La société de l’esprit, InterEditions, 1988,
ISBN 2-7296-0188-0
Henri HABRIAS, citant M. MINSKI, in Le modèle relationnel binaire, méthode I.A. (NIAM), Editions
Eyrolles, 1988
ABIDJAN, avril 2004 Diapositive n° 6
Les outils de modélisation
Processus
La modélisation met en œuvre plusieurs processus cognitifs :
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• Observation
• Interprétation
• CréationIl faut
comprendre correctement
Il faut « tout » voir
Il faut générer proprement
ABIDJAN, avril 2004 Diapositive n° 7
Les outils de modélisation
Processus
La modélisation met en œuvre plusieurs processus cognitifs :
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• Observation
• Interprétation
• CréationIl faut
comprendre correctement
Il faut « tout » voir
Il faut générer proprement
Il faut « tout » montrer
ABIDJAN, avril 2004 Diapositive n° 8
Les outils de modélisation
Processus
La modélisation met en œuvre plusieurs processus cognitifs :
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• Observation
• Interprétation
• CréationIl faut
comprendre correctement
Il faut « tout » voir
Il faut générer proprement
Il faut être bien formé
ABIDJAN, avril 2004 Diapositive n° 9
Les outils de modélisation
Processus
La modélisation met en œuvre plusieurs processus cognitifs :
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• Observation
• Interprétation
• CréationIl faut
comprendre correctement
Il faut « tout » voir
Il faut générer proprement
Il faut les bons outils
ABIDJAN, avril 2004 Diapositive n° 10
Les outils de modélisation
Eléments étudiés
Nous allons donc nous concentrer sur ces outils et notamment sur les
méthodes.
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
Dans ce qui suit, donc,
outil = méthode
Il faut les bons outils
ABIDJAN, avril 2004 Diapositive n° 11
Les outils de modélisation
Eléments étudiés
Nous étudierons ces méthodes sous plusieurs angles :
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
• HistoriqueHistorique, avec une étude de leurs évolutions au cours du temps
Hier
Aujourd’hui
Demain
• ProspectiveProspective, avec une réflexion sur leurs implications.
• MorphologiqueMorphologique, avec une mise en évidence des notions sous-jacentes
ABIDJAN, avril 2004 Diapositive n° 12
Les outils de modélisation
HistoriqueIl 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• Aujourd’hui• Demain• Conclusion
Hier
(le temps de chargement du montage consacré à l’historique peut prendre un peu de temps... patience... )
ABIDJAN, avril 2004 Diapositive n° 13
Les outils de modélisation
Notions sous-jacentes
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
• Aujourd’hui• Demain• Conclusion
Aujourd’hui
(le temps de chargement du montage consacré aux notions sous-jacentes peut prendre un peu de temps... patience... )
ABIDJAN, avril 2004 Diapositive n° 14
Les outils de modélisation
Implications
UML est-il une norme ou bien un langage difficilement compréhensible ? Tout un chacun peut-il le comprendre ? Tout un
chacun peut-il l’adapter à sa façon ? A-t-il une sémantique précise, claire, formelle ?
• Introduction• Hier• Aujourd’hui
• Demain• Conclusion
Demain
(le temps de chargement du montage consacré aux implications peut prendre un peu de temps... patience... )
ABIDJAN, avril 2004 Diapositive n° 15
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
• 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, s’influencent 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 qu’il faut maîtriser.
ABIDJAN, avril 2004 Diapositive n° 16
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
• Aujourd’hui, on assiste à l’émergence d’une notation qui a vocation à devenir un standard.
• Ce statut ne lui sera accessible qu’après avoir réussi à définir proprement sa sémantique.
• Ceci réalisé, il sera possible de franchir une étape supplémentaire dans « l’industrialisation » des spécifications UML.
• Malgré tout, les « vieilles » méthodes (Merise) résistent.
ABIDJAN, avril 2004 Diapositive n° 17
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
• 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, c’est à dire la production automatique de textes équivalents aux diagrammes composant les spécifications.
Paraphrase ?
(le temps de chargement du montage consacré au
paraphrasage peut prendre un peu de temps...
patience... )
ABIDJAN, avril 2004 Diapositive n° 18
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
• Ce paraphrasage bute essentiellement sur la non-existence d’une spécification formelle d’UML.
• 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.
On retombe sur le besoin d’une
sémantique formelle !
ABIDJAN, avril 2004 Diapositive n° 19
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
Modèles de plus en plus complexes
Validation difficile
Paraphrasage automatique
Achat de composants
Preuve de ces composants
Sémantique formelle UML
ABIDJAN, avril 2004 Diapositive n° 20
Les outils de modélisation
Conclusion
• Introduction• Hier• Aujourd’hui• Demain
• Conclusion
• L’achat 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 !
Taille des composants ?
ABIDJAN, avril 2004 Diapositive n° 21
Les outils de modélisation
• Introduction• Hier• Aujourd’hui• Demain• Conclusion
Merci de votre attention !