La spcification desservices logiques

1
La spécification des services logiques
 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
• Connaître UML
• Signature des opérations
• Utilisation des signaux
• Signification des dépendances
• Avoir assimilé les notions liées à larchitecture
  de services
• Les différentes catégories de constituants
• Cf. FML-02

Être capable de spécifier un service en exprimant
son contrat
Durée de la séquence 3/4 h
3
Contenu de la séquence

• Lorigine des services logiques (rappel)
• La documentation des services logiques
• Le contrat du service
• Les services génériques

4
Lorigine des services
1

• Les services internes
• Les services externes
• Quel travail pour le concepteur logique ?

5
Les services internes et externes

• Les services internes
• Ils dérivent des opérations des classes du modèle
  sémantique
• Services  Métier 
• Ce sont les services des ateliers et des machines
  de la strate  Métier 
• Les services externes
• Ils dérivent des activités élémentaires,
  inscrites sur les cas dutilisation
• Dans le modèle pragmatique
• Services  Organisation 
• Ce sont les services des machines
   Organisation 

6
Le principe de la dérivation
Opérations
Activités élémentaires
Présentation
Machines logiques Organisation
Services externes
Machines logiques Métier
Services internes
7
Quest-ce que spécifier un service ?

•  Spécifier, cest exprimer des exigences. 
• Définition externe
• Par opposition à la description interne
• La spécification des services couvre
• La définition
• Que peut-on attendre du service ?
• La signature
• Comment lutilise-t-on ?
• Le contrat
• Quel est son comportement ?
• Quelles règles faut-il respecter en lutilisant ?

8
La spécification dans la démarche

• Ce qui nest pas dans la spécification
• La conception du service description interne
• Lalgorithme le diagramme dactivité et le
  pseudo-code
• Ces points font lobjet de la séquence suivante
• FML-14
• Remarque importante pour la démarche

Dès quun service logique est spécifiéil peut
être référencé dans le modèle logique donc
appelé à partir dun autre service
9
La documentation des services
2

• La documentation de spécification dun service
  logique comprend
• Des éléments de modélisation
• Sa signature
• Son contrat
• Chapitre suivant
• Des éléments de documentation
• Sa définition
• La définition de ses paramètres
• Des éléments de représentation
• Le diagramme récapitulant les signaux émis
  par le service

10
La signature du service logique

• Ce nest plus ni moins que la signature dune
  opération
• La signature est lensemble des éléments
  extérieurs définissant un service
• Le nom du service
• Normalement un verbe laction assurée par
  lobjet
• Parfois, verbe complément
• La liste des paramètres du service
• Avec leur nature
• La nature du résultat

11
Exemples
Flux en entrée
Flux en sortie
Paramètre fonctionnel
12
Les règles sur la signature des services

• Les règles de syntaxe
• Un paramètre permet de recevoir la structure
  de données de la machine
• Le flux
• Type complexe associé à la machine
• Cette règle résulte de la négociation logique /
  technique
• Le résultat du service est, le plus souvent, la
  structure de données
• Idem
• Les règles de nommage
• La référence est le document OLQ-02x

13
Pré-requis à la spécification dun service

• La spécification de la machine
• Sa mission densemble
• Lien de traçabilité vers les modèles amont
• Pour les MLO la liste des actes de gestion
  quelle assume
• La description de la machine
• Le diagramme de voisinage
• Avec les liens vers les tables du MLD et la
  correspondance entre attributs et colonnes
• Lautomate à état
• La structure de données
• Le type  Info 
• La définition et la nature des attributs

14
La traçabilité

• Lorigine de la dérivation est conservée dans le
  modèle
• Lien de traçabilité
• Cest une dépendance délément à élément
• Stéréotypée  trace 
• Mot réservé du langage UML
• La traçabilité renforce la spécification
• Puisquelle permet de remonter à une expression
  plus amont
• La traçabilité augmente la maîtrise du système
• Elle contribue à lanalyse dimpact, en cas de
  demande dévolution

15
Le contrat du service
3

• Le contrat de service précise les conditions
  dutilisation
• Les pré-conditions
• Conditions à remplir pour que le service
  sexécute
• Les post-conditions
• Conditions que le service remplira, sil
  sexécute
• La garantie de service
• Les signaux
• Ils renseignent sur le fonctionnement du service

16
Le récapitulatif des signaux

• Soit au niveau Machine, soit au niveau service
• Cette représentation permet de visualiser le
  contrat
• Ici, pour une ML de la strate  Métier 
• Car les signaux sont rangés dans le paquetage
   Signalisation 

Schéma de principe
Pour le contrat, ce sont les signaux émis qui
comptent
17
Les services génériques
4

• Les services que lon retrouve systématiquement
• Ils ne dérivent pas des modèles amont
• Ils sont ajoutés pour assurer le fonctionnement
  de larchitecture de services

18
Les services génériques
19
Le travail du concepteur check-list

• En ce qui concerne les services génériques
• Le constructeur  demarrer 
• Reprendre le calcul des attributs dérivés
• Exemple  tabCouts  sur la SD de MSinistre
• Le nettoyeur  supprimer 
• Étudier la propagation
• Les accesseurs
• Chercheurs et lecteurs
• Cest la structure de données qui spécifie la
  fonction de ces services
• Exprimée par le type complexe
• Donc, peu de besoin de documentation externe
• En revanche, il faudra faire un effort de
  conception, ne serait-ce que pour la désignation
  des tables ou lécriture des requêtes

20
Récapitulatif des acquis

• Rappel de la compétence visée
• Notions clefs
• La signature
• Le contrat

Être capable de spécifier un service en exprimant
son contrat
Compétence Performance