Objectifs: Buts et justifications Modélisation orientée-buts

Présentation au sujet: "Objectifs: Buts et justifications Modélisation orientée-buts"— Transcription de la présentation:

1 SEG 3601- Module 3 Introduction à la notation d’exigences utilisateur (URN) – Partie I: GRL
Objectifs: Buts et justifications Modélisation orientée-buts GRL, évaluations, outils © Daniel Amyot, Gunter Mussbacher Introduction à la notation URN - GRL

2 Qu’est-ce qu’une justification (rationale)?
Une justification (ou raison-d’être) représente le raisonnement qui mène au système. Les justifications incluent: Les problèmes adressés Les alternatives qui ont été considérées Les décisions prises afin de résoudre les problèmes Les critères qui ont guidé les décisions Les débats que les participants ont eu lors de la prise de décision. [Bruegge et Dutoit, chapter 12] Introduction à la notation URN - GRL

3 Utilisation de justifications en génie logiciel
Amélioration du support de conception Évite l’évaluation dupliquée d’alternatives faibles Produit des compromis explicites et cohérents. Amélioration de la documentation Facilite la revue de la conception par les non-développeurs (gestionnaires, avocats, scribes…) Amélioration du support de maintenance Offre un contexte de conception aux gens qui font l’entretien du logiciel Amélioration de l’apprentissage Les nouveaux employés peuvent apprendre et comprendre la conception en étudiant les décisions qui l’ont produite. Introduction à la notation URN - GRL

4 Exemple: Guichet automatique (Tableau)
Question: Mécanismes d’authentification alternatifs? Service: Authentification Décision: Carte à puce + NIP Critère 1: Coût unitaire Critère 2: Vie privée Option 1: Numéro de compte + – Option 2: Empreintes digitales + – Option 3: Carte à puce + NIP + Version qualitative… Introduction à la notation URN - GRL

5 Exemple: Guichet automatique (Tableau)
Question: Mécanismes d’authentification alternatifs? Service: Authentification Décision: Carte à puce + NIP Critère 1: Coût unitaire Critère 2: Vie privée Option 1: Numéro de compte 1 20 Option 2: Empreintes digitales 30 4 Option 3: Carte à puce + NIP 2 40 Version quantitative… Questions: Relations entre critères? Passage à l’échelle? Et les partie prenantes?... Peut-on faire mieux qu’un simple tableau? Introduction à la notation URN - GRL

6 Qu’est-ce qu’un but en général?
Un but (goal) représente un objectif d’affaires, d’organisation ou de système. Une exigence spécifie de quelle façon un but devrait être atteint par un système proposé. Opérationalisation Le processus de définition d’un but avec suffisamment de détails pour permettre que ses sous-buts aient une définition opérationnelle Décomposition Le processus de subdivision d’un ensemble de buts en sous-groupes logiques afin de les exigences du système soient plus facilement comprises, définies et spécifiées Obstacles Comportements ou autres buts qui préviennent ou bloquent l’atteinte d’un but donné. En identifiant des obstacles aux buts abstraits nous pouvons considérer les façons de faire échouer les buts et anticiper les cas exceptionnels. Introduction à la notation URN - GRL

7 Rôles joués par les buts en I.E. [van Lamsveerde, 2009]
Décrire la justification des exigences Aider à identifier les exigences qui les satisferont Fournir une structure pour l’argumentation Offrir une base pour démontrer l’alignement du système futur avec les objectifs stratégiques de l’entreprise Offrir un critère précis pour la complétude des exigences Offrir un critère précis pour la pertinence des exigences Offrir une façon naturelle de structurer une spécification d’exigences, de même que les raffinements d’exigences Offrir une base pour l’analyse de risques Offrir un environnement pour gérer les conflits entre exigences Offrir un critère pour délimiter la portée du système Supporter l’analyse de dépendances entre composantes du système Supporter le raisonnement sur les diverses alternatives possibles Faciliter la gestion de la traçabilité Offrir un contexte pour supporter l’évolution … Introduction à la notation URN - GRL

8 User Requirements Notation - URN
URN est un langage graphique pour la modélisation et l’analyse d’exigences sous forme de buts et de scénarios. Combine deux sous-notations complémentaires: Goal-oriented Requirements Language (GRL) Use Case Map (UCM) Les modèles URN peuvent être utilisés pour divers types de systèmes réactifs, de normes en télécommunications et de processus d’affaires. Site Web: Introduction à la notation URN - GRL

9 Introduction à la notation URN - GRL
éléments intentionnels + acteurs + liens + indicateurs + stratégies Liens URN UCM responsabilités + causalité + composantes + scénarios Introduction à la notation URN - GRL

10 ITU-T Z.151: URN - Language Definition
Première norme internationale à supporter de façon explicite et intégrée les notions de buts et de scénarios, et les liens qui les unissent. Membre de la famille de langages de l’UIT-T SDL, MSC, TTCN-3, ASN.1… Définition de URN dans la Recommandation Z.151 (novembre 2008, corrigée en 2011, révisée en 2012) Méta-modèle, syntaxes abstraite/concrète, sémantique, analyse, exemples… Introduction à la notation URN - GRL

11 Introduction à la notation URN - GRL
Langages de l’UIT-T SDL: Specification and Description Language Pour définir et exécuter des systèmes réactifs complets MSC: Message Sequence Charts Pour définir des scénarios orientés-messages ASN.1: Abstract Syntax Notation One Pour définir des types de données TTCN-3: Testing and Test Control Notation Pour définir des cas et des environnements de test URN: User Requirements Notation Goal-oriented Requirements Language (GRL) Notation Use Case Map (UCM) Pour définir des buts, des scénarios, et des exigences Introduction à la notation URN - GRL

12 Introduction à la notation URN - GRL
Aperçu de GRL Goal-oriented Requirement Language Basée sur i* et NFR Framework Relie les exigences aux objectifs d’affaires Permet de raisonner sur les exigences (surtout les non-fonctionnelles) et les compromis GRL modélise le « pourquoi » Objectifs, alternatives, et raisonnements (justifications!) Peu de détails opérationnels Supporte l’analyse de buts et l’évaluation d’alternatives Il n’y a rien de comparable dans UML, SysML, ou BPMN… The Goal-oriented Requirement Language (GRL) addresses most of URN’s additional objectives. Goal-oriented modeling has been proposed in the requirements engineering community for a number of years and several approaches have been published. GRL is a rather new addition to this growing list of techniques but builds on the well-established NFR framework (for non-functional requirements), and the agent-oriented language i* (for the modeling, analysis, and reengineering of organisations and business processes. GRL captures business or system goals, alternative means of achieving goals (either objectively or subjectively), and the rationale for goals and alternatives. The notation may be applied to non-functional as well as functional requirements. Introduction à la notation URN - GRL

13 Minimize Cost of Terminal
Notation GRL Exemple GRL : Petit Magasin en Ligne Ressource Business Owner Increase Sales Online Shopper Payment Offer Online Shopping + + Contribution Have System Security Dépendance Bux-doux Acteur Minimize Cost of Terminal + + . Corrélation Have Security of Terminal Have Security of Host _ + Décomposition . + . + Access Authorization Biometrics is no regular, off-the-shelf technology Encryption Ensure Authentication AND OR Tâche Provide Identification Opinion Use Fingerprint Use Password Use Cardkey But

14 Notation GRL de base: Éléments intentionnels
But (Goal) Quantifiable (souvent fonctionnel) But-doux (Softgoal) Qualifiable mais non-mesurable (souvent non-fonctionnel) Tâche (Task) Solution ou activité qui atteint un but ou qui contribue partiellement à l’atteinte d’un but-doux Opinion (Belief) Décrit le raisonnement, la justification Ressource (Resource) Produit, objet ou autre ressource Introduction à la notation URN - GRL

15 Notation GRL de base: Liens
? Brise Nuit Ind- Inconnu Réalise Aide Ind+ Égal Contribution Liens pour éléments intentionnels Peuvent être qualifiés Ind+ : on hésite entre Réalise (suffisant) et Aide (insuffisant) Ind- : on hésite entre Brise (suffisant) et Nuit (insuffisant) Corrélation Comme une contribution, mais indique un effet de bord Décomposition Définit ce dont un élément intentionnel a besoin pour être satisfait. Dépendances Entre acteurs (et leurs éléments intentionnels), avec un sujet de dépendance Introduction à la notation URN - GRL

16 Introduction à la notation URN - GRL
Pourquoi GRL? Les buts auront une influence importante sur l’élaboration des exigences. Cependant, les buts et objectifs des parties prenantes sont complexes et vont entrer en conflit. GRL permet d’exprimer et de clarifier les exigences ambiguës, provisoires, et mal définies Supporte la prise de décision, les argumentations, la négociation, et la détection & résolution de conflits Documente les critères de décision et les justifications GRL identifie les exigences alternatives et diverses frontières possibles pour le système GRL offre un retraçage entre les objectifs stratégiques et les exigences techniques GRL permet la réutilisation de buts abstraits et stables lorsque le système évolue Introduction à la notation URN - GRL

17 GRL – Stratégies d’évaluation
25 Business Owner Business Owner 42 Increase Sales Increase Sales * 100 * 100 33 Online Shopper Online Shopper Payment Payment Offer Online Shopping Offer Online Shopping + high + 44 high System Security System Security Importance 75 medium Cost of Terminal Cost of Terminal + 25 + . * 100 Security of Terminal Security of Terminal Security of Host Security of Host _ + . + . + -75 * 100 Access Authorization Access Authorization Encryption Encryption Biometrics is no regular, off-the-shelf technology 100 Authentication Authentication AND OR * -75 Niveau de satisfaction initial * 100 Identification Identification Fingerprint Fingerprint Password Password Cardkey Cardkey

18 Introduction à la notation URN - GRL
Évaluations avec GRL L’évaluation d’un graphe GRL montre l’impact de décisions qualitatives sur les buts de haut-niveau La propagation est habituellement de bas vers le haut Évaluation qualitative ou quantitative du niveau de satisfaction Prend en considération divers contributeurs: Degré de satisfaction (satisfait, insatisfait, …) Opérateurs de composition (ET, OU) Contributions et corrélations (+/-, suffisant ou non) Dépendances entre éléments intentionnels Plus complet qu’avec de simples tableaux d’avantages et inconvénients (exemple du guichet automatique) Introduction à la notation URN - GRL

19 Introduction à la notation URN - GRL
Stratégies GRL Une stratégie GRL définit les valeurs de satisfaction initiales pour un ensemble d’éléments intentionnels du modèle Décrit une solution globale Peuvent être comparées les unes avec les autres lors de l’analyse de compromis L’analyse peut se faire de façon quantitative ou qualitative, et plusieurs algorithmes peuvent être définis Introduction à la notation URN - GRL

20 GRL – Stratégies d’évaluation #2
Exemple GRL : Petit Magasin en Ligne -34 Business Owner Business Owner -17 Increase Sales Increase Sales * 100 * 100 Online Shopper Online Shopper -23 Payment Payment Offer Online Shopping Offer Online Shopping + high + -31 high System Security System Security -75 medium Cost of Terminal Cost of Terminal + -75 + . * 100 Security of Terminal Security of Terminal Security of Host Security of Host _ + . + . + -75 Access Authorization Access Authorization Encryption Encryption Biometrics is no regular, off-the-shelf technology 100 Authentication Authentication AND OR * -75 * 100 Identification Identification Fingerprint Fingerprint Password Password Cardkey Cardkey

21 GRL – Stratégies d’évaluation #3
Exemple GRL : Petit Magasin en Ligne 52 51 Business Owner Business Owner Increase Sales Increase Sales * 100 * 100 68 Online Shopper Online Shopper Payment Payment Offer Online Shopping Offer Online Shopping + high + 90 high System Security System Security medium Cost of Terminal Cost of Terminal + 100 + . * 100 Security of Terminal Security of Terminal Security of Host Security of Host _ + . + . + * 100 Access Authorization Access Authorization Encryption Encryption Biometrics is no regular, off-the-shelf technology Authentication Authentication AND OR Identification Identification Fingerprint Fingerprint Password Password Cardkey Cardkey

22 Nouvelle échelle de satisfaction [0..100]
On peut passer de [0..100] à [ ] (bouton de droite sur URNspec). La satisfaction 25 n’est plus “bonne” (orange)! Option de visualisation avec [0..100] pour évaluations Une échelle de satisfaction [0..100] est plus intuitive que [ ] pour bien des personnes (surtout quand elle est combinée à des contributions négatives) Introduction à la notation URN - GRL

23 Outil jUCMNav 5, pour Eclipse
Introduction à la notation URN - GRL

24 Outil SanDriLa (plug-in pour Visio)
Introduction à la notation URN - GRL

25 Introduction à la notation URN - GRL
Outil OpenOME, avec plug-in Eclipse ( Introduction à la notation URN - GRL

26 Métamodèle abstrait de URN (I)
Introduction à la notation URN - GRL

27 Métamodèle abstrait de URN / GRL (II)
Introduction à la notation URN - GRL

28 Introduction à la notation URN - GRL
Stratégies GRL Ensembles d’évaluations initiales définie par l’utilisateur Les évaluations sont propagées dans le modèle, en couleur Implémentées avec la vue « Strategies » dans jUCMNav Interprétation qualitative ou quantitative des niveaux de satisfaction Évaluation de l’impact des stratégies sur les aspects structurels et opérationnels à l’aide de liens URN (à voir plus loin) - Advantage is that user could compare different strategies and their impact on the model Introduction à la notation URN - GRL

29 Introduction à la notation URN - GRL
Stratégies GRL Introduction à la notation URN - GRL

30 Stratégies dans jUCMNav
Étoile (*) ou forme au contour pointillé indique une valeur initiale d’une stratégie donnée. Si la ligne pointillée est rouge alors cette valeur aurait pu être calculée (overridden) Toutes les autres valeurs sont évaluées à l’aide d’un algorithme de propagation. Introduction à la notation URN - GRL

31 Algorithmes de propagation
jUCMNav supporte 6 algorithmes de propagation pour évaluations: Quantitatif Qualitatif 1 algorithmes hybride 1 algorithme expérimental avec agrégation de KPI 1 algorithme avec conditions (conformité légale) 1 algorithme par contraintes Supporte la résolution automatique de conflits Utilise ces types de liens pour l’évaluation, dans l’ordre 1. Décompositions, 2. Contributions, 3. Dépendances - Automatic conflict resolution does not involve user Introduction à la notation URN - GRL

32 Algorithme quantitatif: Décomposition et contributions
Minimum pour AND, maximum pour OR/IOR Les contributions sont additives, mais elles sont aussi normalisées et prennent une « tolérance » en considération Introduction à la notation URN - GRL

33 Algorithme quantitatif: Dépendences et acteurs
On ne peut pas être plus satisfait que ce de quoi on dépend. La satisfaction d’acteur aide à comprendre les compromis d’une stratégie à ce niveau. Calculée selon l’importance et la satisfaction des éléments contenus. Introduction à la notation URN - GRL

34 Introduction à la notation URN - GRL
Évaluation d’acteurs Évaluation pour gérer les négociations entre parties prenantes. Aide à analyser et à comparer les niveaux de satisfaction globaux de chaque acteur pour une stratégie donnée Calculée à partie des attributs importance des éléments intentionnels liés à l’acteur Criticality and priority is high, medium or low Introduction à la notation URN - GRL

35 Algorithme qualitatif: Décomposition ET
Introduction à la notation URN - GRL

36 Algorithme qualitatif: Décomposition OU
Introduction à la notation URN - GRL

37 Algorithme qualitatif: Contributions et acteurs
Introduction à la notation URN - GRL

38 Algorithme qualitatif: Dépendence
Introduction à la notation URN - GRL

39 Algorithmes de propagation sous jUCMNav
6 algorithmes de propagation inclus (Roy2006 est remplacé par Mixed; Constraint-based en version beta) Supporte la résolution automatique de conflits Utilise les liens pour l’évaluation: 1) Décompositions, 2) Contributions, 3) Dépendances « Tolérance » utilisée par les contributions de poids autres que 100 et -100 - Automatic conflict resolution does not involve user Introduction à la notation URN - GRL

40 Motif (pattern) récurrent en GRL
Introduction à la notation URN - GRL

41 Exemple GRL #2 – Contexte
Modèle GRL qui se préoccupe de la protection de la vie privée dans un environnement hospitalier Researchers want access to patient data but the Health Information Custodian (HIC – i.e., the hospital) needs to protect patient privacy, as required by law (PHIPA in Ontario). The process of accessing databases must ensure privacy. As required by law, a Research Ethics Board (REB) is usually involved in assessing privacy risks for the research protocol proposed by a researcher. DB administrators also want to ensure that DB users are accountable for their acts. Introduction à la notation URN - GRL

42 Exemple GRL #2 – Modèle

43 Un modèle, plusieurs diagrammes

44 Exemple GRL #2– Évaluation qualitative

45 Exemple GRL #2– Évaluation quantitative
Échelle: [-100, 100]

46 Inclusion de mesures dans les modèles GRL
GRL inclut une notion de satisfaction de buts, avec des échelles qualitative et quantitative ([ ], et maintenant [0..100]). Cependant, nous avons souvent besoin de mieux relier les observations sur le monde réel au modèle orienté-buts, avec des unités spécifiques au domaine telles que: Devises (p.ex., revenus en $) Durées (p.ex., temps d’attente à l’hôpital, en heures) Nombres (p.ex., nombre d’étudiants admis en SEG) GRL permet de définir ce genre d’information et de l’intégrer au reste du modèle Indicateur (Key Performance Indicator ― KPI) Les KPI aident à mesurer les buts et les ENF avec des métriques quantifiables. Les KPI en GRL peuvent être fournies par des sources externes d’informations, transformant ainsi un modèle GRL en un outil de surveillance (p.ex.: un tableau de bord ― dashboard). Average Work Time (in min) Introduction à la notation URN - GRL

47 Introduction à la notation URN - GRL
Indicateurs GRL (KPI) En GRL, un KPI est défini comme étant un élément intentionnel, mais avec des caractéristiques supplémentaires: Attributs (pour une stratégie GRL donnée) Une valeur d’évaluation (evaluation), observée de l’extérieur ou simulée dans une stratégie (what-if) Une valeur cible (target); le KPI est entièrement satisfait si la valeur d’évaluation l’atteint Une pire valeur (worst); le KPI est entièrement insatisfait si la valeur d’évaluation l’atteint Une valeur de seuil (threshold); le KPI est neutre si la valeur d’évaluation l’atteint. Une unité (unit), par exemple $ Associations (pour un modèle GRL donné) Peut faire partie de contributions ou de décompositions Introduction à la notation URN - GRL

48 Introduction à la notation URN - GRL
Sub-process Performance Model Link KPI Information Element (Dimension) KPI Value sets Strategies Introduction à la notation URN - GRL

49 Introduction à la notation URN - GRL
Indicateurs: De Current à Satisfaction Gestionnaire $1300 ??? ??? Coûts des employés Profits maximisés 50 Attribute Value GRL Satisfaction Target $1000 100 Threshold $1500 Worst-case $2500 -100 Current $1300 ??? Introduction à la notation URN - GRL

50 Introduction à la notation URN - GRL
Indicateurs: De Current à Satisfaction Gestionnaire $1300 40(*) 20 Coûts des employés Profits maximisés 50 Attribute Value GRL Satisfaction Target $1000 100 Threshold $1500 Worst-case $2500 -100 Current $1300 40 Introduction à la notation URN - GRL

51 Des KPI aux niveaux de satisfaction GRL
Note: Une interpolation linéaire est présentement utilisée pour calculer la satisfaction, qui est fonction des valeurs evaluation, target, threshold, and worst. Introduction à la notation URN - GRL

52 Évaluations impliquant des KPI
Un KPI peut contribuer aux buts en GRL La valeur d’évaluation d’un KPI peut venir de l’extérieur Les KPI peuvent être liés à des scénarios Introduction à la notation URN - GRL

53 Introduction à la notation URN - GRL
Vues multiples Process Model Performance Model Goal Model Introduction à la notation URN - GRL

54 Extensions de jUCMNav pour KPI
Business Process Compliance with URN p. 54

55 KPI: Exemple de transport (de G. Mussbacher)
Commuter Minimize time lost by commute Minimize cost for commute 40 50 50 60 Work during commute Minimize travel time Minimize infrastructure cost Share ongoing cost -10 100 80 100 -30 80 45 -40 100 100 Average Travel Time (in min) Commuting Monthly Infrastructure Cost (in $) Average Work Time (in min) OR Average Ongoing Cost (in $) Take public transport Take private transport OR OR Key Performance Indicator (KPI) Regular Bus Express Bus Take own car Hitch a ride

56 KPI: Valeurs réelles vers valeurs de satisfaction
Model Value (Satisfaction Value) Real World Value Regular Bus Express Bus Take own car Hitch a ride Average Work Time (in min) 80  49 45  29.75 -10  4.5 -10  4.5 Target Value (60) Threshold Value (5) Worst Value (0) Average Travel Time (in min) -40  56 -30  52 80  24 80  24 Target Value (20) Threshold Value (40) Worst Value (80) Monthly Infrastructure Cost (in $) 80  10 80  10 -90  455 -20  140 Target Value (0) Threshold Value (50) Worst Value (500) Average Ongoing Cost (in $) 80  68 60  76 -20  120 20  92 Target Value (60) Threshold Value (100) Worst Value (200) Introduction à la notation URN - GRL

57 Exécution de stratégies avec indicateurs (1/2)
Strategy “Regular Bus”: Regular Bus = 100 Example: Commuting 40 Commuter Commuter 20 80 Minimize time lost by commute Minimize time lost by commute (100) Minimize time lost by commute Minimize cost for commute (50) Minimize cost for commute Minimize cost for commute 40 50 50 60 80 -40 80 80 Work during commute Work during commute Minimize travel time Minimize travel time Minimize infrastructure cost Minimize infrastructure cost Share ongoing cost Share ongoing cost 100 100 -40* 100 100 100 Average Travel Time (in min) Average Travel Time (in min) Average Travel Time (in min) Commuting Commuting 80* 80* Monthly Infrastructure Cost (in $) Monthly Infrastructure Cost (in $) Monthly Infrastructure Cost (in $) Average Work Time (in min) Average Work Time (in min) Average Work Time (in min) OR 80* 100 Average Ongoing Cost (in $) Average Ongoing Cost (in $) Average Ongoing Cost (in $) Take public transport Take public transport Take private transport Take private transport KPI “Regular Bus”: Av. Work Time = 4980 Av. Travel Time = 56-40 Mo. Infrast. Cost = 1080 Av. Ongoing Cost = 6880 OR OR 100* Regular Bus Regular Bus Regular Bus Express Bus Express Bus Take own car Take own car Hitch a ride Hitch a ride Introduction à la notation URN - GRL

58 Exécution de stratégies avec indicateurs (1/2)
Strategy “Hitch a ride”: Hitch a ride = 100 Example: Commuting 22 Commuter Commuter 35 -4 Minimize time lost by commute Minimize time lost by commute (100) Minimize time lost by commute Minimize cost for commute (50) Minimize cost for commute Minimize cost for commute 40 50 50 60 -10 80 -20 20 Work during commute Work during commute Minimize travel time Minimize travel time Minimize infrastructure cost Minimize infrastructure cost Share ongoing cost Share ongoing cost 100 100 80* 100 100 100 Average Travel Time (in min) Average Travel Time (in min) Average Travel Time (in min) Commuting Commuting -20* -10* Monthly Infrastructure Cost (in $) Monthly Infrastructure Cost (in $) Monthly Infrastructure Cost (in $) Average Work Time (in min) Average Work Time (in min) Average Work Time (in min) OR 20* 100 Average Ongoing Cost (in $) Average Ongoing Cost (in $) Average Ongoing Cost (in $) Take public transport Take public transport Take private transport Take private transport KPI “Hitch a ride”: Av. Work Time = 4.5-10 Av. Travel Time = 2480 Mo. Infrast. Cost = 140-20 Av. Ongoing Cost = 9220 OR OR 100* Regular Bus Regular Bus Express Bus Express Bus Take own car Take own car Hitch a ride Hitch a ride Hitch a ride Introduction à la notation URN - GRL

59 Agrégation de KPI Dans jUCMNav, les valeurs d’évaluation KPI peuvent aussi être calculées (agrégées) à partir d’autres KPI, un peu à la manière d’Excel Algorithme d’évaluation GRL avec formules pour KPI Introduction à la notation URN - GRL

60 Autres langages orientée-buts
NFR Framework, par Mylopoulos et al., Toronto: Analyse qualitative par propagation i* Framework, par Yu et al., Toronto: Modélisation d’organisation et de dépendances KAOS (Keep All Objectives Satisfied), par van Lamsweerde et al., Louvain & Oregon Analyse d’obstacles, logique temporelle et vérification de modèles GBRAM (Goal-Based Requirements Analysis Method), par Antón et al., Atlanta Tropos , par Fuxman, Giorgini , Mylopoulos et al., Trento & Toronto Pour conception de systèmes multi-agents, sécurité Formal Tropos: logique temporelle et vérification de modèles SMILE (Structural Modeling, Inference, and Learning Engine) et GeNie, par Druzdzel et al., Pittsburgh Aide à la décision, approches avec probabilités, théorie de la décision, et réseaux de Bayes GRL est le premier à être standardisé Bon aperçu: Liste d’outils: (i* Wiki) Introduction à la notation URN - GRL

61 Introduction à la notation URN - GRL
Dilbert et les buts Introduction à la notation URN - GRL

62 Métamodèle concret (pour diagrammes)
Introduction à la notation URN - GRL

63 (d) GRL Contributions Types (c) GRL Satisfaction Levels
Sommaire de la notation GRL (a) GRL Elements Belief Goal Softgoal Resource Task Actor with Boundary Collapsed Actor Satisfied Weakly Satisfied Unknown Denied Weakly Denied Conflict None Make Help Some Positive Break Hurt Some Negative (d) GRL Contributions Types (c) GRL Satisfaction Levels (b) GRL Links Contribution Correlation Dependency Decomposition Means-End Indicator Exceeds + Introduction à la notation URN - GRL