Les produits delamodlisation smantique

1
Les produits de la modélisation sémantique
 La théorie sans la pratique est inutile la
pratique sans la théorie est aveugle.  Immanuel
Kant
2
Objectif de la séquence

• Compétence visée
• Pré-requis
• Avoir compris lexigence de la modélisation
  sémantique

Faire le point sur les livrables et produits
intermédiaires de la modélisation sémantique
Durée de la séquence 1/2 h
Protection des documents
3
Contenu de la séquence

• Lexploitation du modèle
• La qualité de la documentation
• Les dispositifs complémentaires
• Les actes de validations

4
Lexploitation du modèle
1

• À quoi sert le modèle sémantique ?
• Sa place dans léconomie des projets
• Déduction des qualités requises

5
La quadruple détermination pour une méthode de
production
Chaîne de production
MÉTHODE
6
La détermination des facteurs qualité
Modèle
MÉTHODE
7
Les critères qualité sur les modèles
8
La qualité de la documentation
2

• Vérifier la qualité du modèle
• Documenter le modèle

9
La qualité du modèle

• Quelques règles et préceptes applicables
  à la modélisation sémantique
• Un terme donné napparaît quune seule fois en
  tant quélément de modélisation
• Encapsuler les règles de gestion
• Traiter les transformations grâce aux automates à
  états
• Documenter tous les éléments de modélisation
• Justifier les décisions de modélisation
• Montrer que le modèle restitue les perceptions
• Dictionnaires, pré-modélisation, liens de
  traçabilité
• Illustrer les points sensibles,  déplier  le
  modèle
• Etc.
• ? Critères dacceptation du modèle sémantique

10
La qualité dun modèle sémantique

• Quelques indices formels révèlent le niveau de la
  qualité sémantique dun modèle
• Présence de classes associatives
• Lassociation réifiée montre la relativité dun
  concept
• Elle sera prise en compte lors de la dérivation
  du modèle
• Présence dopérations
• Sans opérations, le modèle na pas pu encapsuler
  les règles
• Il se réduit à un modèle de données
• Il ne peut restituer toute la connaissance du
  métier
• Présence dautomates à états
• Les objets centraux ont presque toujours un cycle
  de vie
• Il est important de létudier effort de
  modélisation contractuelle
• Présence dassociations n-aires
• Essentielles pour la structure du modèle

11
Le modèle

• Le modèle répond à plusieurs fonctions
• Conceptualisation
• Trouver les bons termes pour exprimer le réel
• Formalisation
• Sexprimer dans des formes rigoureuses et
  vérifiables
• Structuration
• Économie de lexpression et de la réalisation
• Anticipation
• Utilisation
• Un acte de communication
• Préalable à la décision

12
Documenter le modèle

• La description complète des éléments de
  modélisation
• La décomposition
• Les commentaires dans le modèle

13
Les propriétés dune classe

• La classe est caractérisée par des propriétés
• Des propriétés informatives ou attributs
• Des propriétés actives ou opérations
• Les associations et rôles font partie des
  propriétés dune classe
• Les sous-classes en héritent

14
Les attributs

• 4 composantes
• La visibilité -
• Le nom
• Le type
• La valeur initiale
• Nom string space

Type
Valeur initiale
Nom
Visibilité
15
Les attributs (suite)

• La visibilité
• Élément visible par tous (public )
• - Élément non visible (privé)
• Élément visible par les sous-classes
  uniquement
• Les attributs dérivés
• Sobtiennent par un calcul
• Le nom est précédé dun /

16
Les opérations

• Lopération se définit par sa signature
• La signature comprend 4 composantes
• La visibilité -
• Le nom
• Les paramètres ( il peut y en avoir plusieurs )
• Nom argument1
• Type argument1
• Valeur par défaut1
• TypeRetour

17
La signature dune opération

• CrediterCompte ( infodate date montant
  integer ) boolean

Visibilité
Paramètres
Nom
Type-argument
Type-code-retour
Nom-argument
18
Le diagramme dobjets

• À utiliser pour illustrer des points délicats du
  modèle

19
Les commentaires

• Tous les éléments de modélisation doivent être
  parfaitement définis
• Les classes
• Les associations
• Les attributs
• Etc.
• Les diagrammes doivent être commentés
• Un diagramme obéit à une intention de
  communication
• Le commentaire la développe
• Les natures de commentaires
• Explicatif
• Justificatif
• Justification des décisions de modélisation
• Traçabilité

20
Les dispositifs complémentaires
3

• En amont du modèle
• La pré-modélisation
• Recueillir la terminologie
• Accueillir la diversité des vocabulaires
• En cours de modélisation et de consolidation
• La traçabilité
• Assurer la traçabilité des informations et
  décisions
• La documentation des décisions

21
Les produits complémentaires

• La terminologie
• Les glossaires
• Entrées brutes pour accueillir la diversité des
  vocabulaires
• Besoin
• Forme
• Outil
• Les fiches terminologiques
• /
• Les discussions
• Besoin de tracer thèmes/discussions/décisions
• À traiter de façon élémentaire et en réseau

22
La fiche terminologique

• Objectif
• Pour chaque terme, définition et suivi des
  réflexions
• Plusieurs définitions candidates
• Synonymes et termes connexes
• Partie  collecte 
• Phrases dans lesquelles le terme apparaît
• Exemples, références des textes
• Partie  analyse 
• Sèmes véhiculés par le terme
• Séme trait sémantique
• Caractéristiques
• Connotations

23
La grille danalyse terminologique

• Dans les cas où la modélisation doit prendre en
  charge des problématiques transverses
• Exemples
• Historisation, propriété, sécurité, horizon de
  temps
• Complément à la fiche terminologique
• Construire une grille danalyse
• Ad hoc
• Lappliquer systématiquement aux termes

24
Les actes de validation
4
25
Vérification et validation

• La validation des dossiers comporte deux aspects
• La vérification
• C est l évaluation par rapport à des exigences
  pré-définies
• La validation
• C est l évaluation par rapport aux besoins
  réels
• Les conséquences
• À situer dans le cadre des relations
  client-fournisseur
• À long terme
• L impact sur les développements
• L impact sur la vie du produit

26
Les types d évaluation
27
Quelques points particuliers
28
La simulation d'un modèle UML

• D autres façons de valider un modèle
• Validation d'un modèle par exécution d'un
  prototype généré automatiquement
• Ceci est possible dès le modèle d'analyse
• Les outils et techniques de simulation
• Les AGL et leurs possibilités de génération
• Les bases de données orientées objets
• La spécification formelle
• Associé au standard UML OCL
• Object Constraint Language
• Le langage d action

29
Les exigences sur le dossier

• Les exigences sur le contenu
• Lexhaustivité
• Vérifier la couverture grâce aux appareils de
  traçabilité
• La pertinence
• Vérifier la conformité aux objectifs du projet
• Vérifier le respect des niveaux dabstraction
• La représentativité
• Rôle de la vue des cas dutilisation

30
Les exigences sur le dossier le diagramme des
classes

• Les exigences sur la forme
• La factorisation
• Vérifier la non redondance dans la description
  des activités
• La classification
• Du bon usage de lhéritage !
• Lencapsulation
• Vérifier le bon positionnement des règles de
  gestion
• La lisibilité, lexpressivité du modèle
• Sassurer que le modèle se lit naturellement
• La cohérence
• Vérifier la non contradiction entre les éléments
  du modèle

31
Les exigences sur le dossier (suite)

• Les exigences sur la forme (suite)
• La référence
• Vérifier que tout élément nommé (par exemple dans
  une activité) est bien présent dans le modèle
• Les exigences opératoires
• Sur les outils et leur utilisation

32
La qualité du modèle sa sémantique

• Le modèle conceptuel doit pouvoir se lire
  naturellement
• Traduction du modèle conceptuel en langage
  naturel et inversement
• Utiliser les catégories de représentation
• Par exemple, sur les associations
• un nom dans les deux sens
• les noms de rôles
• les cardinalités
• les contraintes
• Le modèle doit capter toute la sémantique de
  lunivers du discours

33
Des règles formelles

• Il est possible de prescrire des règles formelles
  en vue de garantir lexpressivité du modèle
• Substantifs pour les classes
• Verbes pour les associations
• Verbes pour les cas dutilisation
• Tirés de lactivité des acteurs (description
  métier )
• Adjectifs pour les états
• Éventuellement, participes présents
• Pour les opérations
• Verbes pour les transformateurs
• Noms pour les accesseurs ou les propriétés
  informatives

34
La normalisation

• La normalisation dun modèle orienté objet
• Les formes normales
• Le polymorphisme

35
La préparation des tests

• Lanalyse rassemble toute linformation
  nécessairepour concevoir les cas de test
  fonctionnels
• À partir des cas dutilisation
• Mais ceux-ci peuvent changer lors de la
  conception !!
• À partir du diagramme des classes
• Préparation des tests unitaires
• À partir des diagrammes dynamiques
• Préparation de tests dintégration

36
Récapitulatif des acquis

• Rappel de la compétence visée
• Test des connaissances
• Quels dispositifs devraient accompagner le modèle
  sémantique ?
• À quels besoins répondent-ils ?

Faire le point sur les livrables et produits
intermédiaires de la modélisation sémantique
Compétence Performance