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

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

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

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

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

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

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

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

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

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

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

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

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

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

j1 j4 j2 j3 t1 t2

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

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)

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

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

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

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

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

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

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é

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

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

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

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

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)

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 ?

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

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