La spcification desservices logiques - PowerPoint PPT Presentation

Loading...

PPT – La spcification desservices logiques PowerPoint presentation | free to view - id: 29c2d4-ZDc1Z



Loading


The Adobe Flash plugin is needed to view this content

Get the plugin now

View by Category
About This Presentation
Title:

La spcification desservices logiques

Description:

Praxime, initiative pour une m thode publique. La sp cification des ... liens vers les tables du MLD et la correspondance entre attributs et colonnes ... – PowerPoint PPT presentation

Number of Views:18
Avg rating:3.0/5.0
Slides: 21
Provided by: ole58
Category:

less

Write a Comment
User Comments (0)
Transcript and Presenter's Notes

Title: 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
About PowerShow.com