Modèle Conceptuel de Traitement

Présentation au sujet: "Modèle Conceptuel de Traitement"— Transcription de la présentation:

1 Modèle Conceptuel de Traitement
1 Introduction 2 Définitions 3 Expression graphique 4 Enchaînement des opérations 5 Dynamique du MCT 6 Application sur l'exemple Jean-François Brette (d'après les notes de cours de C.Daubisse) ACSI 1ère année 1998/99- Dept Informatique

2 1 Introduction permet de modéliser les traitements conceptuels du domaine étudié s'établit à la suite du MCC et grâce au MCC

3 Principe Domaine stimuli venus réaction dans le domaine de l'extérieur
(= opération conceptuelle)

4 2 Définitions Evénement externe : message venant d'un acteur externe ou d'un domaine connexe Ex. : Demande verbale, Paiement Opération conceptuelle : déclenchée par un événement externe ; met en œuvre un ensemble de règles conceptuelles ; consulte et met à jour des données du SI ; produit des résultats. Elle est ininterruptible. Résultat : message sortant du domaine en direction d'un acteur externe ou d'un domaine connexe Ex. : Facture, Pièce

5 Un exemple : Opération 1 : Demande verbale Opération 1
nom : PEC Demande verbale règles conceptuelles : Etude du contenu de la demande verbale si infos suffisantes alors passer à l'opération "Traitement d'une demande complète" sinon produire le résultat "Demande de précisions" résultat : Demande de précisions données du SI consultées : marque, modèle ref-pièce, ... pour vérifier la validité de la demande

6 3 Expression graphique Evt externe Evt interne synchro OPERATION
Règles d'émission Résultat Evénement interne

7 Exemple : Demande verbale PEC Demande verbale Demande précisions
incomplète complète Demande précisions Demande complète

8 4 Enchainement des opérations
Evt externe (= message du MCC) opération conceptuelle Prendre en compte l'ordre dans lequel arrivent les messages Ordonnancement des opérations, règles de synchronisation

9 Règle de synchronisation
Règle de synchronisation : expression logique portant sur les événements en entrée d'une opération conceptuelle a ^ OPERATION 1 b a v OPERATION 1 b

10 Ordonnancement des messages
Demande verbale Ancienne pièce Réf. pièce Demande précisions Précisions Facture (les entrants sont soulignés) Paiement Factures Pièce

11 Opération - Résultat une opération qui produit "Demande précisions"
une opération qui produit "Facture" une opération qui produit "Pièces" l'opération qui produit "Factures" sera vue en 6

12 Exemple PEC Demande verbale Demande complète ^ PEC Précisions
incomplète complète Demande précisions Précisions ^ Demande complète PEC Précisions complète incomplète

13 Exemple PEC Demande verbale ^ Demande complète PEC Précisions
incomplète complète Demande précisions PEC Précisions complète incomplète ^ Attente précisions Précisions Demande complète

14 5 Dynamique du MCT Réseaux de Pétri
j1 Réseau au repos: tous les jetons sont inactivés jeton t1 transition j2 j3 Jetons en entrée (j1, j3): événements rentrant dans le système t2 Jetons en sortie (j4): événements produits par le système j4 Jetons en entrée/sortie (j2): événements produits par le système (+synchro.)

15 j1 j4 j2 j3 t1 t2

16 6 Un exemple PEC Demande verbale Demande complète ^ PEC Précisions
incomplète complète Demande précisions Attente précisions Précisions ^ Demande complète PEC Précisions complète incomplète

17 Rétroaction sur le MCC Prise en compte des messages Ref et Ancienne Pièce Comparable à Demande verbale Un seul message Demande Domaine : Facturation Client demande Demande (nom-pièce, modèle, marque, ref-pièce, pièce)

18 PEC Demande complète Demande complète PEC Demande complète
règles conceptuelles : Vérification du stock si stock suffisant alors établir la facture sinon indiquer le manque de stock résultats : Facture Stock insuffisant Enrichir le MCC du message Stock insuffisant

19 PEC Paiement règles conceptuelles :
Vérifier montant paiement = montant facture si OK alors encaisser le paiement donner pièce au client sinon émettre un refus paiement résultats : Pièce Refus paiement Enrichir le MCC du message Refus paiement

20 PEC Demande complète Attente paiement ^ PEC Paiement Pièce
stock NOK stock OK Stock insuffisant Attente paiement Facture Paiement ^ PEC Paiement complet incomplet Pièce Refus paiement

21 Le paiement peut se faire en plusieurs fois
Attente paiement ^ PEC Paiement complet incomplet Pièce Relance paiement Enrichir le MCC du message Relance paiement

22 7 Evénements de type temps
message entrant opérations tous les messages sortant sont-ils émis par une opération? Domaine : Facturation ? Compta Factures Déclenchée par un événement de type temps : le soir

23 PEC Demande complète Attente paiement Facture en attente le soir ^
stock NOK stock OK Attente paiement Facture Facture en attente le soir ^ Envoi factures TJS (toujours) Factures

24 8 Consommation mutuellement exclusive (en bascule)
Contexte : un événement (1) en attend un autre (2) jusqu'à une date limite Date limite Evénement 1 Evénement 2 ^ ^ PEC date limite dépassée PEC Evt2 est arrivé

25 Consommation mutuellement exclusive (en bascule)
"La facture devra être réglée avant la fin du mois" Fin du mois Facture Règlement ^ ^ PEC date limite dépassée PEC Règlement

26 MCC AEGE AEGE Location places Adhérent de théatre Théatre
bulletin d'information demande location Adhérent prix location paiement refus complet refus partiel annulation liste places Théatre

27 Date cloture non atteinte
MCT AEGE (corrigé) Demande de location PEC Demande Date cloture atteinte et pas d'autre place Date cloture atteinte et autre place Date cloture non atteinte et pas de chèque Date cloture non atteinte et chèque OK Refus complet Prix de location Refus partiel Paiement effectué Attente paiement a

28 Date cloture non atteinte
Demande de location PEC Demande Date cloture atteinte Date cloture non atteinte ERREUR 1 ERREUR 2 cas date nok PEC Demande date NOK Pas autre place Autre place Refus complet Refus partiel

29 Règles de composition du MCT
On ne peut pas relier directement la sortie d'une opération à l'entrée d'une autre opération (erreur 2) Entre deux opérations, il doit y avoir au moins un événement externe (erreur 1)

30 PEC Annulation PEC Paiement
+ 8 jours Paiement effectué Paiement Attente paiement ^ a v (b ^ c) b c a PEC Annulation PEC Paiement tjs Annulation location enregistrée Qu'est-ce qui manque ?

31 bulletin d'informations
date cloture location enregistrée PEC locations liste places échéance PEC échéance bulletin d'informations

32 Cohérence MCC - MCT : fondamental !
message (MCC) événement de communication (MCT) message entrant dans le domaine (MCC) événement entrant d'une opération (MCT) message sortant du domaine (MCC) événement sortant d'une opération (MCT) événements supplémentaires : temps (date, délai) et événement de synchronisation