Modle Conceptuel de Traitement 1 Introduction l 2

Modèle Conceptuel de Traitement 1 Introduction l 2 Définitions l 3 Expression graphique l 4 Enchaînement des opérations l 5 Dynamique du MCT l 6 Application sur l'exemple l 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é l s'établit à la suite du MCC et grâce au MCC l

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

2 Définitions l Evénement externe : message venant d'un acteur externe ou d'un domaine connexe Ex. : Demande verbale, Paiement l 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. l Résultat : message sortant du domaine en direction d'un acteur externe ou d'un domaine connexe Ex. : Facture, Pièce

Un exemple : 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 incomplète Demande précisions complète 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 : expression logique portant sur les événements en entrée d'une opération conceptuelle b a ^ v OPERATION 1

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

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

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

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

5 Dynamique du MCT Réseaux de Pétri j 1 Réseau au repos: tous les jetons sont inactivés jeton transition t 1 j 2 j 3 t 2 j 4 Jetons en entrée (j 1, j 3): événements rentrant dans le système Jetons en sortie (j 4): événements produits par le système Jetons en entrée/sortie (j 2): événements produits par le système (+synchro. )

j 1 t 1 j 2 j 3 t 2 j 4

6 Un exemple Demande verbale PEC Demande verbale incomplète Demande précisions complète 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 Client demande Domaine : Facturation Demande (nom-pièce, modèle, marque, ref-pièce, pièce)

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

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

Le paiement peut se faire en plusieurs fois Paiement Attente paiement ^ PEC Paiement complet Pièce incomplet 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? Compta ? Factures Domaine : Facturation Déclenchée par un événement de type temps : le soir

PEC Demande complète stock NOK stock OK Attente paiement 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 ^ PEC date limite dépassée Evénement 2 ^ PEC Evt 2 est arrivé

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

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

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

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

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) l Entre deux opérations, il doit y avoir au moins un événement externe (erreur 1) l

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

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) l message entrant dans le domaine (MCC) événement entrant d'une opération (MCT) l message sortant du domaine (MCC) événement sortant d'une opération (MCT) l événements supplémentaires : temps (date, délai) et événement de synchronisation l