Les outils de la modélisation ABIDJAN, avril 2004Diapositive n° 1 Alain VAILLY Institut Universitaire Professionnalisé de Méthodes Informatiques Appliquées

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

[email protected]

Les outils de la modélisation


• 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


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 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 ».




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.




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



Processus

La modélisation met en œuvre plusieurs processus cognitifs :


• Observation

• Interprétation

• CréationIl faut

comprendre correctement

Il faut « tout » voir

Il faut générer proprement



Processus



• Observation

• Interprétation





Il faut « tout » montrer



Processus



• Observation

• Interprétation





Il faut être bien formé



Processus



• Observation

• Interprétation





Il faut les bons outils



Eléments étudiés

Nous allons donc nous concentrer sur ces outils et notamment sur les

méthodes.


Dans ce qui suit, donc,

outil = méthode

Il faut les bons outils



Eléments étudiés

Nous étudierons ces méthodes sous plusieurs angles :


• 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



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



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



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



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.



Conclusion


• 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.



Conclusion


• 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... )



Conclusion


• 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 !



Conclusion


• Conclusion

Modèles de plus en plus complexes

Validation difficile

Paraphrasage automatique

Achat de composants

Preuve de ces composants

Sémantique formelle UML



Conclusion


• 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 ?




Merci de votre attention !

Documents

Les outils de la modélisation ABIDJAN, avril 2004Diapositive n° 1 Alain VAILLY Institut Universitaire Professionnalisé de Méthodes Informatiques Appliquées