La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

«SEG 3601» D. Amyot uOttawa SEG 3601 Élaboration de cas d'utilisation avec UCEd Stéphane S. Somé SITE, Université d' Ottawa.

Présentations similaires


Présentation au sujet: "«SEG 3601» D. Amyot uOttawa SEG 3601 Élaboration de cas d'utilisation avec UCEd Stéphane S. Somé SITE, Université d' Ottawa."— Transcription de la présentation:

1 «SEG 3601» D. Amyot uOttawa SEG 3601 Élaboration de cas d'utilisation avec UCEd Stéphane S. Somé SITE, Université d' Ottawa

2 «SEG 3601» D. Amyot uOttawa Use Case Editor (UCEd) Objectif: aider à la capture/validation de cas d'utilisation Edition de cas d'utilisation Edition du modèle de domaine Edition de scénarios Validation de cas d'utilisation du modèle de domaine Combinaison de cas d'utilisation en modèles à états Simulation de modèles exécutables dérivés de cas d'utilisation Génération de scénarios

3 «SEG 3601» D. Amyot uOttawa Éléments d'UCEd UCED (Use Case Editor) Simulateur Édition de cas dusage Synthèse de modèles à états Édition de domaine Édition de scénarios

4 «SEG 3601» D. Amyot uOttawa Édition de cas d'utilisation Modèle de cas d'utilisation Description de cas d'utilisation

5 «SEG 3601» D. Amyot uOttawa Modèle de cas d'utilisation Inclus Cas d'utilisation cas normal cas d'extension Relations include extend condition d'extension Acteurs

6 «SEG 3601» D. Amyot uOttawa Cas d'utilisation normal Description de cas d'utilisation (1)

7 «SEG 3601» D. Amyot uOttawa Title: label identifiant le cas d'utilisation de façon unique Description: texte qui fait un sommaire du cas dusage System Under Design: spécifie le système (lentité qui réagi aux stimuli des acteurs externes) Primary Actor: l'acteur qui initie le cas d'utilisation Participants: autre acteurs participant au cas d'utilisation Goal: énoncé de l'attente de l'acteur primaire lors de la complétion du cas d'utilisation Description de cas d'utilisation (2)

8 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation (3) Following Use Cases: une liste des cas dusage qui peuvent suivre directement Invariant: condition devant être vérifiée tout au long de l'exécution d'une instance du cas d'utilisation Precondition: condition devant être vérifiée avant l'exécution Success Postcondition: condition devant être vérifiée à la fin de l'exécution sans faute Steps: séquence d'étapes (blocs répétés et de steps) constituant le cas d'utilisation Alternatives: étapes alternatives Alternative Postcondition: condition devant être vérifiée à la fin dune alternative.

9 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation - Conditions Plusieurs types Conditions simples – Entity bound conditions: basées sur les entités du domaine – Non-Entity bound conditions: déclarées verbatim dans le modèle du domaine Conditions complexes – négation, conjonction, disjonction de conditions simples

10 «SEG 3601» D. Amyot uOttawa ' Description de cas d'utilisation - Conditions Condition simple (entity-bound) [déterminant] entité verbe valeur Déterminant: a, an, ou the Entité: séquence de mots nommant une entité du modèle du domaine (voir plus loin) Verbe: un parmi is, isn't, is not, are, aren't, are not, has, hasn't, has not, have, haven't, have not Valeur: – séquence de mots définie comme une valeur possible de l'entité dans le modèle du domaine – comparaison

11 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation - Conditions Exemples de conditions simples The User Card is not valid User number of attempts is > 3 The System Display is blinking System registered users are less than

12 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation - Conditions Conditions complexes Négation NO condition NOT condition ex: Not User identification is valid. Conjonction condition AND condition Disjonction condition OR condition

13 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation - Étapes Exécution dopération Phrase décrivant une action faite par un acteur ou le système Au présent Exemples: – The User inserts a card – ATM ejects the user's card – The system displays a pin enter prompt Branchement à une étape du scénario principal GOTO 5.

14 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation - Étapes Spécification de délai before valeur unité after valeur unité Peuvent être combinés Exemples after 10 sec before 60 sec AND after 20 sec Expression conditionnelle IF condition THEN

15 «SEG 3601» D. Amyot uOttawa Exemples before 60 sec, the user inserts a card IF the system is ON THEN, the operator turns the system OFF System displays pin enter prompt to Customer after 2 min, the ATM ejects the user card Description de cas d'utilisation - Étapes

16 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation – Étapes alternatives Une alternative peut suivre une étape (step) Par exemple: alternative condition – condition under which the extension takes place steps Alternative steps can not have further alternatives alternative postcondition postcondition when the alternative is taken

17 «SEG 3601» D. Amyot uOttawa Description de cas d'utilisation – Étapes alternatives Conditions alternatives: Un délai Une condition, ou Combinaison de délais et conditions Exemples after 30 sec before 2 min AND after 20 sec The User identification is not valid after 60 sec, IF Bank hasn't responded

18 «SEG 3601» D. Amyot uOttawa Exemple de description de cas d'utilisation Title:User login System Under Design:PMSystem Description:This use case describes a login process in the PMSystem. The use case is executed by a User (Doctor or Nurse). Primary Actor: User Participants: Goal: A User want to identify herself in order to use a PM system. Precondition: System is ON AND NO user is logged in turn system on Follows Use Cases: turn system on Steps: 1: The User inserts a Card in the card slot 2: The PMSystem asks for PIN 3: The User types a PIN 4: The PMSystem validates the USER identification 5: IF the USER identification is valid THEN The PMSystem displays a welcome message to the USER 6: After 60 sec The PMSystem ejects the Card Success Postcondition:User is logged in

19 «SEG 3601» D. Amyot uOttawa Alternatives: 1a: User Card is inserted 1a1: User presses cancel button 1a2: PMSystem ejects Card Alternative Postcondition: User is not logged in 1b: The Card is not regular 1b1: The PMSystem emits an alarm 1b2: After 20 sec The System ejects the Card Alternative Postcondition: User is not logged in 2a: after 60 seconds 2a1: PMSystem emits alarm 2a2: After 20 sec PMSystem ejects Card Alternative Postcondition: User is not logged in 4a: The user identification is invalid AND number of attempts is less than 4 4a1: Goto Step 2 4b: User identification is invalid AND number of attempts is equal to 4 4b1: The PMSystem emits an alarm 4b2: After 20 sec PMSystem ejects the Card Alternative Postcondition: User is not logged in

20 «SEG 3601» D. Amyot uOttawa Sources Pour Télécharger UCEd Obtenir le guide de lutilisateur Obtenir des articles sur UCEd


Télécharger ppt "«SEG 3601» D. Amyot uOttawa SEG 3601 Élaboration de cas d'utilisation avec UCEd Stéphane S. Somé SITE, Université d' Ottawa."

Présentations similaires


Annonces Google