Supporting Early Decision-Making in the Presence of Uncertainty
|
|
- Kelley O’Connor’
- 7 years ago
- Views:
Transcription
1 Supporting Early ecision-making in the Presence of Uncertainty JEIFER HORKOFF 1, RICK SALAY 2, MARSHA CHECHIK 2, ASSIO I SARO 2 1 epartment of Information Engineering and Computer Science, University of Trento, Italy horkoff@disi.unitn.it 2 epartment of Computer Science, University of Toronto, Canada {rsalay,chechik,adisandro}@cs.toronto.edu RE 14
2 Early RE Analysis Who is involved What do they need Large space of possible alternative requirements Example Scheduler Supporting Early ecision Making - RE'14 - Horkoff et al. 2
3 Running Example: Scheduler Initiator () Quick (Q) Other Ways to Organize (OW) Alternative Be Scheduled (MBS) Organize () Low Effort () be Scheduled (MBS) Let Scheduler Schedule (LSSM) etermine ate Scheduler () ependencies (ep) Schedule (SM) Attend () Provide etails (Pr) etails () Participate in () Use Profiles (UP) Low Effort (P) Participant () Convenient ate (CM) Agreeable ate () ecide Convenient ates (C) i* Legend Actor Goal Softgoal Task Resource Actor Boundary ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 3
4 Early ecision Making (e.g., Horkoff & Yu) Initiator Organize () () Quick (Q) Be Scheduled (MBS) Other Ways to Organize (OW) etermine Low Effort () ate Let Scheduler Schedule (LSSM) be Scheduled (MBS) ependencies (ep) etails Scheduler () () Schedule (SM) Attend () Provide etails (Pr) Participate Participant in () () Use Profiles (UP) Low Effort (P) Satisfied (FS) Partially Satisfied (PS) Conflict (C) (U) Convenient ate (CM) Agreeable ate () ecide Convenient ates (C) Partially enied (P) enied (F) o Label () i* Legend Actor Goal Softgoal Task Resource Actor Boundary ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 4
5 Uncertainty in Early RE uring RE elicitation, it is common to uncover uncertainties Supporting Early ecision Making - RE'14 - Horkoff et al. 5
6 Alternative esigns Hmm, I don t yet know all the possibilities. 6
7 Conflicting Stakeholder Opinions What do I do until they decide 7
8 Incomplete Information I don t know everything about this, yet. 8
9 Uncertainty in Requirements Engineering Many design alternatives Incomplete information Conflicting stakeholder opinions Uncertainty about the content of the model. 9
10 Scheduler Uncertainty Initiator () Quick (Q) Other Ways to Organize (OW) unknown types of contributions Be Scheduled (MBS) unknown which actor will perform this task Organize () Low Effort () Let Scheduler Schedule (LSSM) be Scheduled (MBS) unknown set of other ways to organize meetings etermine ate Scheduler () unknown dependencies ependencies (ep) Schedule (SM) Attend () Provide etails (Pr) etails () unknown if we need this Participate in () Use Profiles (UP) Low Effort (P) unknown what or how many details there will be Participant () Convenient ate (CM) Agreeable ate () ecide Convenient ates (C) unknown whether these are actually different goals unknown if we need this i* Legend Actor Goal Softgoal Task Resource Actor Boundary ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 10
11 Early ecision Making with Uncertainty May not be able to resolve all uncertainties before decisions must be made! We need methods and tools to support early decisionmaking and trade-off analysis in the presence of uncertainty Supporting Early ecision Making - RE'14 - Horkoff et al. 11
12 Our Approach: Goal Model Analysis + MAVO To tackle this challenge we make use of existing, established RE Techniques Goal modeling and goal satisfaction analysis (e.g., Horkoff &Yu, 2010, 2102) The MAVO framework for formally capturing and reasoning over model uncertainty (Salay et al., 2012) We focus on the design-time uncertainty of the modeler, and not the intrinsic, run-time uncertainty of environment Use possibilistic rather than probabilistic uncertainty Supporting Early ecision Making - RE'14 - Horkoff et al. 12
13 Background: Capturing Uncertainty with MAVO (Salay et al., RE 12) unknown which actor will perform this task unknown dependencies ep unknown if we need this i* Legend Actor Goal Q MBS M CM Softgoal Task OW LSSM Pr UP Resource Actor Boundary unknown types of contributions MBS unknown set of other ways to organize meetings SM P unknown what or how many details there will be C unknown whether these are actually different goals unknown if we need this ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 13
14 Background: Capturing Uncertainty with MAVO (Salay et al., RE 12) unknown which actor will perform this task unknown dependencies ep unknown if we need this i* Legend Actor Goal Q MBS M CM Softgoal Task OW LSSM Pr UP Resource Actor Boundary unknown types of contributions MBS unknown set of other ways to organize meetings SM P C C unknown whether these are actually different goals unknown what or how many details there will be ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 14
15 Background: Capturing Uncertainty with MAVO (Salay et al., RE 12) unknown which actor will perform this task unknown dependencies ep unknown if we need this i* Legend Actor Goal Q MBS M (V) (V) (V) CM Softgoal Task OW LSSM Pr UP (V) Resource Actor Boundary unknown types of contributions MBS unknown set of other ways to organize meetings SM P unknown what or how many details there will be C C ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 15
16 Background: Capturing Uncertainty with MAVO (Salay et al., RE 12) unknown which actor will perform this task unknown dependencies ep unknown if we need this i* Legend Actor Goal Q MBS M (V) (V) (V) CM Softgoal Task OW LSSM Pr Pr UP (V) Resource Actor Boundary unknown types of contributions MBS unknown set of other ways to organize meetings SM P C C ependency Contribution ecomposition Means-Ends Initial Analysis Label Supporting Early ecision Making - RE'14 - Horkoff et al. 16
17 Capturing Uncertainty with MAVO () () ep () Q MBS (V) () Pr () (V) (VM) (V) (VM) CM OW LSSM M () () UP C MBS SB P (comp) Supporting Early ecision Making - RE'14 - Horkoff et al. 17
18 Background: Concretizations Set of certain concrete models, concretizations Q OW MBS LSSM MBS () () ep (V) M SB () () () Pr () () P UP (V) (VM) (comp) (V) (VM) CM C MAVO model capturing uncertainty Q MBS OW LSSM M ep Q PrMBS UP OW P LSSM M C CM ep Pr UP CM Q MBS OW LSSM M ep Pr P UP CM C MBS SM MBS SM P C MBS SM Supporting Early ecision Making - RE'14 - Horkoff et al. 18
19 Methodology Q1 What are the analysis results given a particular analysis alternative in the goal model, considering model uncertainties Q2 Can viable choices be made over the set of results from Q1 Q3 Can viable choices be achieved simultaneously Q4 Given choices, what uncertainty reductions are forced How can we target elicitation Q5 Are suggested uncertainty reductions reasonable If not, iterate over the model and backtrack. [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 19
20 Answering Q1: etermining Labels Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Further analysis/ elicitation] [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 20
21 Answering Q1: etermining Labels () () ep () [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] MBS LSSM MBS (V) M SB () (V) () Pr () () UP P (V) (VM) (VM) CM C (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 21
22 Answering Q1: etermining Labels () () ep () [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] MBS LSSM MBS (V) M SB () () Pr () () (V) (VM) (V) UP (VM) CM C P (comp) (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 22
23 Answering Q2: Making Choices () () ep () [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] MBS LSSM MBS (V) M SB () () Pr () () (V) (VM) (V) UP (VM) CM C P (comp) (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 23
24 Q3: Checking Simultaneous Achievement () () ep () [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices Q [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions OW MBS LSSM MBS (V) M SB () In our example, choices are simultaneously achievable (achievable together in at least one concretization) () Pr () () UP P (V) (VM) (comp) (V) (VM) CM C [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 24
25 Q4: Finding forced Uncertainty Reductions () () ep () [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices Q [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] MBS LSSM MBS (V) M SB () () Pr () (comp) () P UP (V) (VM) (V) (VM) CM C Forced Uncertainty Reduction (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 25
26 Q4: Finding forced Uncertainty Reductions [Further analysis/ elicitation] Q OW Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] MBS () MBS () ep LSSM M () () (V) () Pr () SB (comp) () P (V) (VM) (V) (VM) CM UP C Forced Uncertainty Reduction (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 26
27 Q5: Evaluate Uncertainty Reductions () () ep () [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found MBS LSSM MBS (V) M SB () () Pr () (comp) UP P (V) (VM) Answering Q3 produces an example concretization (V) (VM) CM C Supporting Early ecision Making - RE'14 - Horkoff et al. 27
28 Q5: Evaluate Uncertainty Reductions [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found MBS LSSM MBS () () ep (V) M SB () () () Pr () (comp) P UP (V) (VM) Answering Q3 produces an example concretization (V) (VM) CM CM C C Supporting Early ecision Making - RE'14 - Horkoff et al. 28
29 Q5: Evaluate Uncertainty Reductions [Further analysis/ elicitation] Start Q Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability OW [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found MBS LSSM MBS () () ep (V) M SB () () () Pr () (comp) P UP (V) (VM) Answering Q3 produces an example concretization (V) (VM) CM CM C C Supporting Early ecision Making - RE'14 - Horkoff et al. 29
30 Q5: Evaluate Uncertainty Reductions Q MBS OW LSSM ep M Will not provide details, instead will use profiles UP CM C [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] MBS SB P Removed in concretization Uncertainty Removed (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 30
31 Q5: Evaluate Uncertainty Reductions ep Q MBS OW LSSM M UP CM C [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] MBS SB P Removed in concretization Uncertainty Removed (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 31
32 Q5: Evaluate Uncertainty Reductions ep Q MBS OW LSSM M UP CM Acceptable task C [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] MBS SB P Removed in concretization Uncertainty Removed (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 32
33 Apply Changes to Uncertain Model () () ep () Q MBS (V) (V) (V) (V) (V) CM OW LSSM M UP C Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices MBS SB P [Further analysis/ elicitation] [Acceptable choices found] (Q3) Check Simultaneous Achievability (comp) [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 33
34 Re-evaluate () () ep () Q MBS (V) (V) (V) (V) (V) CM OW LSSM M UP C Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices MBS SB P [Further analysis/ elicitation] [Acceptable choices found] (Q3) Check Simultaneous Achievability (comp) [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 34
35 Re-evaluate () () ep () Q MBS (V) (V) (V) (V) (V) CM OW LSSM M UP C [Further analysis/ elicitation] [Further analysis/ elicitation] Start Pose Analysis Question (Alternative) (Q1) Apply Analysis (Q2) Make choices [Acceptable choices found] (Q3) Check Simultaneous Achievability [Choices simultaneously achievable] (Q4) Find Forced Uncertainty Reductions MBS SB (comp) P [Forced reductions acceptable] (Q5) Evaluate Uncertainty Reductions [Choices achieved with certainty] Viable Alternative Found Supporting Early ecision Making - RE'14 - Horkoff et al. 35
36 Final Result Without explicit uncertainty () () ep () With explicit uncertainty Q OW MBS LSSM (V) M (V) (V) (V) CM (V) UP C MBS SB P (comp) Supporting Early ecision Making - RE'14 - Horkoff et al. 36
37 How Implementation details Supporting Early ecision Making - RE'14 - Horkoff et al. 37
38 Formal Background: Goal Model Analysis Goal model analysis has been implemented using propositional logic (Giorgini et al. 12, Horkoff & Yu 10, 12) Supporting Early ecision Making - RE'14 - Horkoff et al. 38
39 Formal Background: Uncertainty with MAVO i Metamodel FOL Theory: Σ, Φ Σ Signature - Sorts representing entity types (e.g., Actor, Intention, Task) Predicates representing relations (e.g., task decomposes goal) Φ Sentences - i* well-formedness constraints Scheduler i* Model FO G = Σ Σ G, Φ Φ G Σ G and Φ G are model G-specific predicates and constraints Supporting Early ecision Making - RE'14 - Horkoff et al. 39
40 Formal Background: Uncertainty with MAVO i Metamodel FOL Theory: Σ, Φ Σ Signature - Sorts representing entity types (e.g., Actor, Intention, Task) Predicates representing relations (e.g., task decomposes goal) Φ Sentences - i* well-formedness constraints Scheduler i* Model FO G = Σ Σ G, Φ Φ G Σ G and Φ G are model G-specific predicates and constraints Supporting Early ecision Making - RE'14 - Horkoff et al. 40
41 Formal Background: Uncertainty with MAVO i Metamodel FOL Theory: Σ, Φ Σ Signature - Sorts representing entity types (e.g., Actor, Intention, Task) Predicates representing relations (e.g., task decomposes goal) Φ Sentences - i* well-formedness constraints Scheduler i* Model FO G = Σ Σ G, Φ Φ G Σ G and Φ G are model G-specific predicates and constraints () Supporting Early ecision Making - RE'14 - Horkoff et al. 41
42 Formal Background: Uncertainty with MAVO i Metamodel FOL Theory: Σ, Φ Σ Signature - Sorts representing entity types (e.g., Actor, Intention, Task) Predicates representing relations (e.g., task decomposes goal) Φ Sentences - i* well-formedness constraints Scheduler i* Model FO G = Σ Σ G, Φ Φ G Σ G and Φ G are model G-specific predicates and constraints (V) () Supporting Early ecision Making - RE'14 - Horkoff et al. 42
43 GM Analysis with MAVO Uncertainty Formalization Add i* analysis to FO MAVO encoding Extended encoding: FO e G = Σ Σ G Σ label, Φ Φ G Φ l Φ p Languagespecific (i*) Instancemodel specific Example Σ label : Analysis Labels Initial Analysis Labels Propagation Constraints Example constraint: Example constraint: Supporting Early ecision Making - RE'14 - Horkoff et al. 43
44 Answering Q1: etermining Labels Goal model analysis with MAVO, basic idea: assign an analysis label to an intention if there exists a concretization such that the intention has that label E.g., there is at least one concretization where has a label, at least one where it has a label, and at least one where it has a label Φ Φ G Φ l Φ p ( i Intention i FS i ) Supporting Early ecision Making - RE'14 - Horkoff et al. 44
45 Q3: Checking Simultaneous Achievement Add choices to the formalism as constraints and check for satisfiability: Φ Φ G Φ l Φ p Φ c Where is the encoding of the user s choices, for example: Q MBS () () ep (V) () () Pr Supporting Early ecision Making - RE'14 - Horkoff et al. 45 M ) () UP (V) (VM) (V) (VM) CM Answering Q4: Use method from Salay et al., FASE 13
46 Experience Implemented the automated parts of our method (Q1, Q3, Q4) in the Model Management Tool Framework (MMTF) Encoded FO representation and passed it to an SMT solver (z3) Running times for Q1, 3 and 4 on Scheduler model ranged from 0.18 to seconds Applied to method to two larger cases Inflo study (described briefly in study, available online) Smart Grid Study (current work) Supporting Early ecision Making - RE'14 - Horkoff et al. 46
47 Conclusions and Future Work Provided a method to support decision making in early RE with the presence of uncertainty Used existing RE approaches: goal model analysis + MAVO Provided methodology, showing how to answer 5 analysis questions (Q1-5) Provided examples + tooling Future work: Improve usability of MAVO labels + analysis labels Extend method and implementation to support backward analysis More examples and validation Supporting Early ecision Making - RE'14 - Horkoff et al. 47
48 Thank you! Questions Contact: ( Supporting Early ecision Making - RE'14 - Horkoff et al. 48
A Vulnerability-Centric Requirements Engineering Framework: Analyzing Security Attacks, Countermeasures, and Requirements Based on Vulnerabilities
A Vulnerability-Centric Requirements Engineering Framework: Analyzing Security Attacks, Countermeasures, and Requirements Based on Vulnerabilities Golnaz Elahi University of Toronto gelahi@cs.toronto.edu
More informationRelationship-Based Change Propagation: A Case Study
Relationship-Based Change Propagation: A Case Study by Winnie Lai A thesis submitted in conformity with the requirements for the degree of Master of Computer Science Department of Computer Science University
More informationTransforming Socio-Technical Security Requirements in SecBPMN Security Policies
Transforming Socio-Technical Security Requirements in SecBPMN Security Policies Mattia Salnitri and Paolo Giorgini University of Trento, Italy {mattia.salnitri, paolo.giorgini}@unitn.it Abstract. Socio-Technical
More informationGoal-Based Self-Contextualization
Goal-Based Self-Contextualization Raian Ali, Fabiano Dalpiaz Paolo Giorgini University of Trento - DISI, 38100, Povo, Trento, Italy {raian.ali, fabiano.dalpiaz, paolo.giorgini}@disi.unitn.it Abstract.
More informationPolicy Modeling and Compliance Verification in Enterprise Software Systems: a Survey
Policy Modeling and Compliance Verification in Enterprise Software Systems: a Survey George Chatzikonstantinou, Kostas Kontogiannis National Technical University of Athens September 24, 2012 MESOCA 12,
More informationTowards an Agent Oriented approach to Software Engineering
Towards an Agent Oriented approach to Software Engineering Anna Perini and Paolo Bresciani ITC-IRST Via Sommarive 18, 38055 Povo, Trento, Italy perini,bresciani @irst.itc.it John Mylopoulos Department
More informationThe i* conceptual model for requirements analysis
Information Systems Analysis and Design The i* conceptual model for requirements analysis Background and Motivations Basic concepts The Strategic Dependency Model Example + Exercise i* modeling framework
More informationWhen security meets software engineering: A case of modelling. secure information systems
When security meets software engineering: A case of modelling secure information systems Haralambos Mouratidis 1, Paolo Giorgini 2, Gordon Manson 1 1 Department of Computer Science, University of Sheffield,
More informationStrategic Actors Modeling for Requirements Engineering - the i* framework
Strategic Actors Modeling for Requirements Engineering - the i* framework Eric Yu University of Toronto Tutorial presented at the One-Day Symposium Modelling Your System Goals The i* Approach London, UK
More informationUsing i for Transformational Creativity in Requirements Engineering
Using i for Transformational Creativity in Requirements Engineering Sushma Rayasam and Nan Niu Department of EECS, University of Cincinnati Cincinnati, OH, USA 45221 rayasasa@mail.uc.edu, nan.niu@uc.edu
More informationUnderstanding Software Ecosystems: A Strategic Modeling Approach
Understanding Software Ecosystems: A Strategic Modeling Approach Eric Yu and Stephanie Deng Faculty of Information, University of Toronto, Toronto, Canada M5S 3G6 Abstract. Software ecosystems is an increasingly
More informationModeling with I* 2. Yanik Ngoko IME-USP
Modeling with I* 2 Yanik Ngoko IME-USP 2011 2. Talk mainly based on the Eric Yu papers: a) Towards Modeling and Reasining Support for Early-Phase requirements Engineering b) Social Modeling and I* Yanik
More informationTowards a CMMI-compliant Goal-Oriented Software Process through Model-Driven Development
The 4th IFIP WG8.1 Working Conference on the Practice of Enterprise Modelling PoEM 2011 Universidade Federal de Pernambuco Towards a CMMI-compliant Goal-Oriented Software Process through Model-Driven Development
More informationBusiness Process Management Adoption: Get it right the first time
KNOWLEDGENT INSIGHTS volume 2 no. 2 March 12, 2012 Business Process Management Adoption: Get it right the first time Contents BPM and the Value Chain... 2 Organization: Silos or Business Competencies?...
More informationLecture 3 Topics on Requirements Engineering
Lecture 3 Topics on Requirements Engineering Some material taken from the Tropos project at U of T Copyright Yijun Yu, 2005 Course information Let s vote Course Project/Final Exam 50-50 or 60-40? Midterm/Final
More informationGoal-Oriented Requirements Engineering: An Overview of the Current Research. by Alexei Lapouchnian
Goal-Oriented Requirements Engineering: An Overview of the Current Research by Alexei Lapouchnian Department of Computer Science University Of Toronto 28.06.2005 1. Introduction and Background...1 1.1
More informationA Framework for A Business Intelligence-Enabled Adaptive Enterprise Architecture
A Framework for A Business Intelligence-Enabled Adaptive Enterprise Architecture Okhaide Akhigbe, Daniel Amyot and Gregory Richards okhaide@uottawa.ca Business IT Alignment Aligning business objectives
More informationBusiness Processes Contextualisation via Context Analysis
Business Processes Contextualisation via Context Analysis Jose Luis de la Vara 1, Raian Ali 2, Fabiano Dalpiaz 2, Juan Sánchez 1, and Paolo Giorgini 2 1 Centro de Investigación en Métodos de Producción
More informationINTRODUCTION TO PROJECT MANAGEMENT
INTRODUCTION TO PROJECT MANAGEMENT OVERVIEW The purpose of presentation is to provide leaders and team members of projects, committees or task forces with advanced techniques and practical skills for initiating,
More informationEvolving System Architecture to Meet Changing Business Goals. The Problem
Evolving System Architecture to Meet Changing Business Goals An Agent and Goal-Oriented Approach Daniel Gross & Eric Yu Faculty of Information Studies University of Toronto May 2001 1 The Problem How to
More informationCourse Outline Department of Computing Science Faculty of Science. COMP 3710-3 Applied Artificial Intelligence (3,1,0) Fall 2015
Course Outline Department of Computing Science Faculty of Science COMP 710 - Applied Artificial Intelligence (,1,0) Fall 2015 Instructor: Office: Phone/Voice Mail: E-Mail: Course Description : Students
More informationUbiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue
Ubiquitous, Pervasive and Mobile Computing: A Reusable-Models-based Non-Functional Catalogue Milene Serrano 1 and Maurício Serrano 1 1 Universidade de Brasília (UnB/FGA), Curso de Engenharia de Software,
More informationTropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Sytems, 8, 203 236, 2004 Ó 2004 Kluwer Academic Publishers. Manufactured in The Netherlands. Tropos: An Agent-Oriented Software Development Methodology PAOLO BRESCIANI
More informationCombining Business Intelligence, Indicators, and the User Requirements Notation for Performance Monitoring
Combining Business Intelligence, Indicators, and the User Requirements Notation for Performance Monitoring Iman Johari Shirazi Thesis submitted to the Faculty of Graduate and Postdoctoral Studies in partial
More informationSOFTWARE DEVELOPMENT AND INTERNATIONAL PRODUCT BUSINESS
SOFTWARE DEVELOPMENT AND INTERNATIONAL PRODUCT BUSINESS Sami Jantunen GLOBAL NETWORK MANAGEMENT PROJECT www.tbrc.fi/gnm CONTEXT MATTERS Every design problem begins with an effort to achieve fitness between
More informationSet-Based Design: A Decision-Theoretic Perspective
Set-Based Design: A Decision-Theoretic Perspective Chris Paredis, Jason Aughenbaugh, Rich Malak, Steve Rekuc Product and Systems Lifecycle Management Center G.W. Woodruff School of Mechanical Engineering
More informationAnalysis of Uncertain Data: Tools for Representation and Processing
Analysis of Uncertain Data: Tools for Representation and Processing Bin Fu binf@cs.cmu.edu Eugene Fink e.fink@cs.cmu.edu Jaime G. Carbonell jgc@cs.cmu.edu Abstract We present initial work on a general-purpose
More informationCollaborative Social Modeling for Designing a Patient Wellness Tracking System in a Nurse-Managed Health Care Center
Collaborative Social Modeling for Designing a Patient Wellness Tracking System in a Nurse-Managed Health Care Center Yuan An ischool at Drexel University Philadelphia, USA yan@ischool.drexel.edu Prudence
More informationCollaborative Software Design & Development. *Design Intent*
Collaborative Software Design & Development Lecture 3 Collaborative Software Design & Development *Design Intent* Dewayne E Perry ENS 623A Office Hours: T/Th 10:00-11:00 perry @ ece.utexas.edu www.ece.utexas.edu/~perry/education/382v-s08/
More informationW E B B A S E D M E E T I N G S C H E D U L E R S Y S T E M
1 W E B B A S E D M E E T I N G S C H E D U L E R S Y S T E M Project phase 2.2 CS 6361 ADVANCED REQUIREMENTS ENGINEERING, SPRING 2010 UNIVERSITY OF TEXAS AT DALLAS S Y S T E M R E Q U I R E M E N T S
More informationAgent-Oriented Software Development
Agent-Oriented Software Development John Mylopoulos University of Toronto SETN 2002, Thessaloniki, April 11-12, 2002 2002 John Mylopoulos Thessaloniki -- 1 What is Software? An engineering artifact, designed,
More informationTrade-off Analysis of Identity Management Systems with an Untrusted Identity Provider
Trade-off Analysis of Identity Management Systems with an Untrusted Identity Provider Golnaz Elahi Department of Computer Science University of Toronto Canada, M5S 1A4 Email: gelahi@cs.toronto.edu Zeev
More informationAGILE ANALYSIS AVOIDING PARALYSIS: AN INTEGRATED FRAMEWORK FOR RESPONSIVE PROJECT ANALYSIS 1
AGILE ANALYSIS AVOIDING PARALYSIS: AN INTEGRATED FRAMEWORK FOR RESPONSIVE PROJECT ANALYSIS 1 The Business Case formally documents and baselines the change project. It provides the framework within which
More informationA Holistic Approach to Security Attack Modeling and Analysis
A Holistic Approach to Security Attack Modeling and Analysis Tong Li 1, Jennifer Horkoff 2, Kristian Beckers 3, Elda Paja 1, and John Mylopoulos 1 1 University of Trento, Trento, Italy {tong.li,paja,jm}@unitn.it
More informationAligning Data Warehouse Requirements with Business Goals
Aligning Data Warehouse Requirements with Business Goals Alejandro Maté 1, Juan Trujillo 1, Eric Yu 2 1 Lucentia Research Group Department of Software and Computing Systems University of Alicante {amate,jtrujillo}@dlsi.ua.es
More informationToward a Goal-oriented, Business Intelligence Decision-Making Framework
Toward a Goal-oriented, Business Intelligence Decision-Making Framework Alireza Pourshahid 1, Gregory Richards 2, Daniel Amyot 1 1 School of Information Technology and Engineering, University of Ottawa,
More informationModelling Organizational Issues for Enterprise Integration
Modelling Organizational Issues for Enterprise Integration Eric S. K. Yu and John Mylopoulos Faculty of Information Studies, University of Toronto, Toronto, Ontario, Canada M5S 3G6! #"$ % ept. of Computer
More informationIdentifying Candidate Aspects with I-star Approach
Identifying Candidate Aspects with I-star Approach Fernanda Alencar 1 *, Carla Silva 2, Ana Moreira 3, João Araújo 3, Jaelson Castro 2 1 Dept. Eletrônica e Sistemas - Universidade Federal de Pernambuco
More informationBenefits Realization from IS & IT, and Change Management of roles and the working practices of individuals and teams.
: Delivering Value from IS & IT Investments John Ward and Elizabeth Daniel John Wiley & Son Ltd ISBN: 9780470094631, 399 pages Theme of the Book This book explores a process and practical tools and frameworks
More informationProbabilistic Model Checking at Runtime for the Provisioning of Cloud Resources
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, and Anastasios Gounaris Aristotle University of Thessaloniki,
More informationfeature requirements engineering
feature requirements engineering Exploring Alternatives during Requirements Analysis John Mylopoulos, University of Toronto Goal-oriented requirements analysis techniques provide ways to refine organizational
More informationoutput: communications management plan
Q1. (50 MARKS) A. List the nine PMBOK knowledge areas and give a one sentence description of the purpose of each knowledge area along with at least one output (document etc.) and its purpose. 1.Project
More informationA Survey of Good Practices and Misuses for Modelling with i* Framework
A Survey of Good Practices and Misuses for Modelling with i* Framework Ilca Webster 1, Juliana Amaral 2, Luiz Marcio Cysneiros1 1 Department of Mathematic and Statistics - Information Technology Program
More informationAims and Objectives Basics
Name: Class: Date Taken: Total Possible Marks: 8 Aims and Objectives Basics Complete the following questions in the time allowed by your teacher QUICK DEFINITIONS Write a short, accurate definition for
More informationUsing i* Meta Modeling for Verifying i* Models
Antonio de Padua Albuquerque Oliveira 1, 2, Julio Cesar Sampaio do Prado Leite 2, Luiz Marcio Cysneiros 3 1 Universidade do Estado do Rio de Janeiro UERJ Rua São Francisco Xavier, 524-6 andar - Maracanã
More informationPerformance Assessment Task Bikes and Trikes Grade 4. Common Core State Standards Math - Content Standards
Performance Assessment Task Bikes and Trikes Grade 4 The task challenges a student to demonstrate understanding of concepts involved in multiplication. A student must make sense of equal sized groups of
More informationEffective Business Requirements (Virtual Classroom Edition)
Developing & Confirming Effective Business Requirements (Virtual Classroom Edition) Eliminate Costly Changes and Save Time by Nailing Down the Project Requirements the First Time! Pre-Workshop Preparation
More informationAnalysing Monitoring and Switching Requirements using Constraint Satisfiability
ISSN 1744-1986 T e c h n i c a l R e p o r t N o 2 0 0 8 / 0 5 Analysing Monitoring and Switching Requirements using Constraint Satisfiability Mohammed Salifu Yijun Yu Bashar Nuseibeh 20 th March 2008
More informationDesigning for Privacy and Other Competing Requirements Eric Yu 1 and Luiz Marcio Cysneiros 2 1 Faculty of Information Studies
Designing for Privacy and Other Competing Requirements Eric Yu 1 and Luiz Marcio Cysneiros 2 1 Faculty of Information Studies yu@fis.utoronto.ca 2 Department of Mathematics and Statistics Information Technology
More informationSTS-Tool: Security Requirements Engineering for Socio-Technical Systems
STS-Tool: Security Requirements Engineering for Socio-Technical Systems Elda Paja 1, Fabiano Dalpiaz 2, and Paolo Giorgini 1 1 University of Trento, Italy {elda.paja, paolo.giorgini}@unitn.it 2 Utrecht
More informationGOAL-BASED WEB DESIGN TOWARDS BRIDGING THE GAP BETWEEN REQUIREMENTS AND DESIGN OF WEB APPLICATIONS
13_BOLCHINI.qxd 3/26/2003 10:25 Pagina 187 SComS: New Media in Education (2003) 187-191 DAVIDE BOLCHINI* GOAL-BASED WEB DESIGN TOWARDS BRIDGING THE GAP BETWEEN REQUIREMENTS AND DESIGN OF WEB APPLICATIONS
More informationEric Yu University of Toronto Faculty of Information, 140 St. George St. Toronto, ON M5S 3G8, Canada 1 (416) 978-3107
Applying Strategic Business Modeling to Understand isruptive Innovation Reza Samavi University of Toronto ept. of MIE, 5 King s College Road. Toronto, ON M5S 3G8, Canada 1 (416) 978-7753 samavi@mie.utoronto.ca
More informationIV. Software Lifecycles
IV. Software Lifecycles Software processes and lifecycles Relative costs of lifecycle phases Examples of lifecycles and processes Process maturity scale Information system development lifecycle Lifecycle
More informationENCLOSURE SYSTEMS INC.
VJ606 VJ1008 VJ806 VJ1210 200 201 VJ1412 VJ1816 VJ1614 RVJ1008 202 203 RVJ1210 RVJ1614 RVJ1412 RVJ1816 204 205 A1-706 A41-1212 A31-1207 A71-1412 206 207 A51-1912 A61-2412 A81-2212 A11-2414 208 209 A12-2424
More informationIntegrating requirements engineering and cognitive work analysis: A case study
Integrating requirements engineering and cognitive work analysis: A case study Neil A. Ernst Dept. of Comp. Sci. University of Toronto Toronto, Ontario, Canada nernst@cs.utoronto.ca Greg A. Jamieson Dept.
More informationGQM + Strategies in a Nutshell
GQM + trategies in a Nutshell 2 Data is like garbage. You had better know what you are going to do with it before you collect it. Unknown author This chapter introduces the GQM + trategies approach for
More informationA Change Impact Analysis Approach to GRL Models
SOFTENG 2015 : The First International Conference on Advances and Trs in Software Engineering A Change Impact Analysis Approach to GRL Models Jameleddine Hassine Department of Information and Computer
More informationHow to handle Out-of-Memory issue
How to handle Out-of-Memory issue Overview Memory Usage Architecture Memory accumulation 32-bit application memory limitation Common Issues Encountered Too many cameras recording, or bitrate too high Too
More informationRAMEPS: A REQUIREMENTS ANALYSIS METHOD FOR EXTRACTING-TRANSFORMATION-LOADING (ETL) PROCESSES IN DATA WAREHOUSE SYSTEMS
RAMEPS: A REQUIREMENTS ANALYSIS METHOD FOR EXTRACTING-TRANSFORMATION-LOADING (ETL) PROCESSES IN DATA WAREHOUSE SYSTEMS Azman Taa, Mohd Syazwan Abdullah, Norita Md. Norwawi Graduate Department of Information
More informationSOFTWARE DEVELOPMENT MAGAZINE: MANAGEMENT FORUM December, 1999. Vol. 7, No. 12 Capturing Business Rules. By Ellen Gottesdiener,
SOFTWARE DEVELOPMENT MAGAZINE: MANAGEMENT FORUM December, 1999. Vol. 7, No. 12 Capturing Business Rules By Ellen Gottesdiener, [Editor's Intro] With our noses to the software development grindstone, it
More informationElicitation and Modeling Non-Functional Requirements A POS Case Study
Elicitation and Modeling Non-Functional Requirements A POS Case Study Md. Mijanur Rahman and Shamim Ripon, Member IACSIT Abstract Proper management of requirements is crucial to successful development
More informationA Goal Oriented Approach for Modeling and Analyzing Security Trade-Offs. with Knowledge Support. Golnaz Elahi
A Goal Oriented Approach for Modeling and Analyzing Security Trade-Offs with Knowledge Support By Golnaz Elahi A thesis submitted in conformity with the requirement for the degree of Master of Science,
More informationSecurity Attack Testing (SAT) testing the security of information systems at design time $
Information Systems 32 (2007) 1166 1183 www.elsevier.com/locate/infosys Security Attack Testing (SAT) testing the security of information systems at design time $ Haralambos Mouratidis a,, Paolo Giorgini
More informationAnalysis of requirements incompleteness using metamodel specification. Ao Li
Analysis of requirements incompleteness using metamodel specification Ao Li University of Tampere School of Information Sciences Computer Science / Software Development M.Sc. thesis Supervisor: Zheying
More informationChap 1. Introduction to Software Architecture
Chap 1. Introduction to Software Architecture 1. Introduction 2. IEEE Recommended Practice for Architecture Modeling 3. Architecture Description Language: the UML 4. The Rational Unified Process (RUP)
More informationA hybrid approach for multi-view modeling
A hybrid approach for multi-view modeling Antonio Cicchetti, Federico Ciccozzi, Thomas Leveque School of Innovation, Design and Engineering Mälardalen University, MRTC Västerås, Sweden Multi-Paradigm Modeling
More informationBusiness Process Configuration with NFRs and Context-Awareness
Business Process Configuration with NFRs and Context-Awareness Emanuel Santos 1, João Pimentel 1, Tarcisio Pereira 1, Karolyne Oliveira 1, and Jaelson Castro 1 Universidade Federal de Pernambuco, Centro
More informationUFO: Verification with Interpolants and Abstract Interpretation
: Verification with Interpolants and Abstract Interpretation and Sagar Chaki Software Engineering Institute Carnegie Mellon University Aws Albarghouthi, Yi i and Marsha Chechik University of Toronto A
More informationArtificial Intelligence
Artificial Intelligence ICS461 Fall 2010 1 Lecture #12B More Representations Outline Logics Rules Frames Nancy E. Reed nreed@hawaii.edu 2 Representation Agents deal with knowledge (data) Facts (believe
More informationStrategic solutions to drive results in matrix organizations
Strategic solutions to drive results in matrix organizations Copyright 2004-2006, e-strategia Consulting Group, Inc. Alpharetta, GA, USA or subsidiaries. All International Copyright Convention and Treaty
More informationAgile Models. Software Engineering 2004-2005. Marco Scotto (Marco.Scotto@unibz.it) Software Engineering
Agile Models 2004-2005 Marco Scotto (Marco.Scotto@unibz.it) Content Introduction Tame projects & wicked projects Win-Win Spiral software development model XP software development process Enforcing the
More informationTen steps to better requirements management.
White paper June 2009 Ten steps to better requirements management. Dominic Tavassoli, IBM Actionable enterprise architecture management Page 2 Contents 2 Introduction 2 Defining a good requirement 3 Ten
More informationRequirements Analysis that Works!
Requirements that Works! Robert Halligan, FIE Aust Managing Director, Project Performance International Email: rhalligan@ppi- int.com Introduction: Innumerable studies have concluded that requirements
More informationUniversity of Potsdam Faculty of Computer Science. Clause Learning in SAT Seminar Automatic Problem Solving WS 2005/06
University of Potsdam Faculty of Computer Science Clause Learning in SAT Seminar Automatic Problem Solving WS 2005/06 Authors: Richard Tichy, Thomas Glase Date: 25th April 2006 Contents 1 Introduction
More informationIPDET Module 6: Descriptive, Normative, and Impact Evaluation Designs
IPDET Module 6: Descriptive, Normative, and Impact Evaluation Designs Intervention or Policy Evaluation Questions Design Questions Elements Types Key Points Introduction What Is Evaluation Design? Connecting
More informationRequirements Engineering Processes. Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 7 Slide 1
Requirements Engineering Processes Ian Sommerville 2006 Software Engineering, 8th edition. Chapter 7 Slide 1 Objectives To describe the principal requirements engineering activities and their relationships
More informationSOFTWARE REQUIREMENTS
SOFTWARE REQUIREMENTS http://www.tutorialspoint.com/software_engineering/software_requirements.htm Copyright tutorialspoint.com The software requirements are description of features and functionalities
More informationClear Justification of Modeling Decisions for Goal-Oriented Requirements Engineering
Clear Justification of Modeling ecisions for Goal-Oriented Requirements Engineering Ivan J. Jureta Information Management Research Unit (IMRU) University of Namur 8, rempart de la vierge, B-5000 Namur,
More informationQuantification and Traceability of Requirements
Quantification and Traceability of Requirements Gyrd Norvoll Master of Science in Computer Science Submission date: May 2007 Supervisor: Tor Stålhane, IDI Norwegian University of Science and Technology
More informationPOMPDs Make Better Hackers: Accounting for Uncertainty in Penetration Testing. By: Chris Abbott
POMPDs Make Better Hackers: Accounting for Uncertainty in Penetration Testing By: Chris Abbott Introduction What is penetration testing? Methodology for assessing network security, by generating and executing
More informationUncertainty Modeling in Health Risk Assessment and Groundwater Resources Management
Uncertainty Modeling in Health isk Assessment and Groundwater esources Management Elcin Kentel Dr. Mustafa M. Aral June 29, 26 Probabilistic-fuzzy health risk modeling Health risk analysis of multi-pathway
More informationChapter 2 A Systems Approach to Leadership Overview
Chapter 2 A Systems Approach to Leadership Overview 2.1 Introduction Developing a high performance organisation is an appropriate and achievable goal in today s business environment. High performance organisations
More informationEvolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach
Evolving System Architecture to Meet Changing Business Goals: an Agent and Goal-Oriented Approach Daniel Gross & Eric Yu Faculty of Information Studies University of Toronto {gross, yu}@fis.utoronto.ca
More informationScalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT solving
Scalable Automated Symbolic Analysis of Administrative Role-Based Access Control Policies by SMT solving Alessandro Armando 1,2 and Silvio Ranise 2, 1 DIST, Università degli Studi di Genova, Italia 2 Security
More informationOverview. Software engineering and the design process for interactive systems. Standards and guidelines as design rules
Overview Software engineering and the design process for interactive systems Standards and guidelines as design rules Usability engineering Iterative design and prototyping Design rationale A. Dix, J.
More informationWHAT IS PRINCE2? Benefits There are many benefits of using PRINCE2 but primarily it:
WHAT IS PRINCE2? Introduction PRINCE2 (Projects in a Controlled Environment) is a structured project management method that can be applied regardless of project scale, type, organisation, geography or
More informationThe Value of Optimization in Asset Management
Experience the commitment white PAPER The Value of Optimization in Asset Management Better decisions to help utilities balance costs, risks, opportunities and performance May 2015 cgi.com Improving the
More informationPASTA Abstract. Process for Attack S imulation & Threat Assessment Abstract. VerSprite, LLC Copyright 2013
2013 PASTA Abstract Process for Attack S imulation & Threat Assessment Abstract VerSprite, LLC Copyright 2013 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
More informationSoftware Requirements, Third Edition
j Microsoft Software Requirements, Third Edition Karl Wiegers and Joy Beatty Contents Introduction Acknowledgments xxv xxxi PART I SOFTWARE REQUIREMENTS: WHAT, WHY, AND WHO Chapter 1 The essential software
More informationUMT Performance Management Meeting
The university wants to hear about your experiences in your role; this form provides a framework for a review of the past year. The information you provide will be used to set new targets for the next
More informationSofware Requirements Engineeing
Sofware Requirements Engineeing Three main tasks in RE: 1 Elicit find out what the customers really want. Identify stakeholders, their goals and viewpoints. 2 Document write it down (). Understandable
More informationSoftware Requirements Specification (SRS)
Software Requirements Specification (SRS) Meeting Scheduler MANISH BANSAL ABHISHEK GOYAL NIKITA PATEL ANURAG MAHAJAN SMARAK BHUYAN - 1 - VERSION RECORD Version record showing the amendments effected to
More informationChapter 4 DECISION ANALYSIS
ASW/QMB-Ch.04 3/8/01 10:35 AM Page 96 Chapter 4 DECISION ANALYSIS CONTENTS 4.1 PROBLEM FORMULATION Influence Diagrams Payoff Tables Decision Trees 4.2 DECISION MAKING WITHOUT PROBABILITIES Optimistic Approach
More informationLocation-based Software Modeling and Analysis: Tropos-based Approach
Location-based Software Modeling and Analysis: Tropos-based Approach Raian Ali, Fabiano Dalpiaz, and Paolo Giorgini University of Trento - DISI, 38100, Povo, Trento, Italy. {raian.ali, fabiano.dalpiaz,
More informationAgent-Oriented Modelling: Software Versus the World
Agent-Oriented Modelling: Software Versus the World Eric Yu Faculty of Information Studies University of Toronto, Toronto, Canada M5S 3G6 yu@fis.utoronto.ca Abstract. Agent orientation is currently pursued
More informationRequirements Specification and Testing Part 1
Institutt for datateknikk og informasjonsvitenskap Inah Omoronyia Requirements Specification and Testing Part 1 TDT 4242 TDT 4242 Lecture 3 Requirements traceability Outcome: 1. Understand the meaning
More informationHow To Develop A Multi Agent System (Mma)
S-Tropos: An Iterative SPEM-Centric Software Project Management Process Yves Wautelet, Manuel Kolp, Youssef Achbany IAG Institut d Administration et de Gestion, ISYS Unité de Systèmes d Information, Université
More informationDecision trees DECISION NODES. Kluwer Academic Publishers 2001 10.1007/1-4020-0611-X_220. Stuart Eriksen 1, Candice Huynh 1, and L.
Kluwer Academic Publishers 21 1.17/1-42-611-X_22 Decision trees Stuart Eriksen 1, Candice Huynh 1, and L. Robin Keller 1 (1) University of California, Irvine, USA Without Abstract A decision tree is a
More informationHECTOR a software model checker with cooperating analysis plugins. Nathaniel Charlton and Michael Huth Imperial College London
HECTOR a software model checker with cooperating analysis plugins Nathaniel Charlton and Michael Huth Imperial College London Introduction HECTOR targets imperative heap-manipulating programs uses abstraction
More informationAnd the Models Are 16-03-2015. System/Software Development Life Cycle. Why Life Cycle Approach for Software?
System/Software Development Life Cycle Anurag Srivastava Associate Professor ABV-IIITM, Gwalior Why Life Cycle Approach for Software? Life cycle is a sequence of events or patterns that are displayed in
More information