D.3.3 ALGORITHMS FOR INCREMENTAL ... - SecureChange
D.3.3 ALGORITHMS FOR INCREMENTAL ... - SecureChange
D.3.3 ALGORITHMS FOR INCREMENTAL ... - SecureChange
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Index<br />
DOCUMENT IN<strong>FOR</strong>MATION 1<br />
DOCUMENT CHANGE RECORD 2<br />
EXECUTIVE SUMMARY 4<br />
INDEX 5<br />
1 INTRODUCTION 7<br />
2 ORCHESTRATING SECURITY AND SYSTEM ENGINEERING<br />
PROCESSES 8<br />
3 ORCHESTRATING REQUIREMENTS AND RISK ASSESSMENT<br />
PROCESSES 11<br />
3.1 Orchestrating SI* and CORAS concepts and processes 11<br />
3.2 Orchestrating SI* and Security DSML concepts and processes 14<br />
3.3 Orchestrating Argumentation and Risk Assessment Processes 16<br />
3.3.1 Overview of the approach 16<br />
3.3.2 Application to the ATM case study 18<br />
4 ORCHESTRATING REQUIREMENTS AND TESTING PROCESSES 20<br />
5 A FRAMEWORK <strong>FOR</strong> MODELING AND REASONING ON GOAL<br />
MODELS EVOLUTION 23<br />
5.1 Reasoning on goal models evolution 23<br />
6 AUTOMATIC GENERATION OF CHANGE REACTIONS 28<br />
6.1 Inductive mechanisms to automatic change reactions generation 28<br />
6.2 Application to the ATM case study 30<br />
7 CONCLUSIONS 32<br />
REFERENCES 33<br />
<strong>D.3.3</strong> Algorithms for Incremental Requirements Models<br />
Evaluation and Transformation| version 1.19 | page 5/136