Li An Approach to Modelling Software Evolution Processes

1. Auflage 2009
ISBN: 978-3-540-79464-6
Verlag: Springer Berlin Heidelberg
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 213 Seiten

An Approach to Modelling Software Evolution Processes describes formal software processes that effectively support software evolution. The importance and popularity of software evolution increase as more and more successful software systems become legacy systems. For one thing, software evolution has become an important characteristic in the software life cycle; for another, software processes play an important role in increasing efficiency and quality of software evolution. Therefore, the software evolution process, the inter-discipline of software process and software evolution, becomes a key area in software engineering. The book is intended for software engineers and researchers in computer science. Prof. Tong Li earned his Ph.D. in Software Engineering at De Montfort University, U.K.; he has published five monographs and over one hundred papers.

Autoren/Hrsg.

Li, Tong

Inhaltsverzeichnis

1;Contents;6
2;List of Figures and Tables;14
3;1 Introduction;16
3.1;1.1 Motivation;16
3.2;1.2 Contributions;18
3.3;1.3 Research Methods;19
3.4;1.4 Success Criteria;20
3.5;1.5 Validation Methods;20
3.6;1.6 Outline;21
3.7;References;22
4;2 Overview of Software Processes and Software Evolution;23
4.1;Objectives;23
4.2;2.1 Introduction;24
4.3;2.2 Software Processes;24
4.4;2.3 Software Evolution;36
4.5;2.4 Summary;42
4.6;References;42
5;3 Related Work;49
5.1;Objectives;49
5.2;3.1 Introduction;50
5.3;3.2 Software Evolution Process;50
5.4;3.3 Concurrency in the Software Life Cycle;53
5.5;3.4 Petri Nets;54
5.6;3.5 Dependence Analysis;58
5.7;3.6 Formal Functional Decomposition;59
5.8;3.7 Summary;61
5.9;References;61
6;4 Software Evolution Process Meta-Model EPMM;65
6.1;Objectives;65
6.2;4.1 Introduction;66
6.3;4.2 Properties of Software Evolution Processes;67
6.4;4.3 Iteration in Software Evolution Processes;67
6.5;4.4 Concurrency in Software Evolution Processes;69
6.6;4.5 Static Component Definitions of EPMM;72
6.7;4.6 Dynamic Component Definitions of EPMM;79
6.8;4.7 Supports for Software Evolution Processes;81
6.9;4.8 Summary;82
6.10;References;83
7;5 Software Evolution Process Description Language EPDL;85
7.1;Objectives;85
7.2;5.1 Introduction;86
7.3;5.2 Survey of EPDL;86
7.4;5.3 Task;89
7.5;5.4 Activity;91
7.6;5.5 Software Process;92
7.7;5.6 Global Model;95
7.8;5.7 EPDL Program;95
7.9;5.8 Example;96
7.10;5.9 Summary;97
7.11;References;98
8;6 Framework of Software Evolution Processes;100
8.1;Objectives;100
8.2;6.1 Introduction;101
8.3;6.2 Framework of Software Evolution Processes;101
8.4;6.3 Steps for Modelling Software Evolution Processes;103
8.5;6.4 Designing Global Models;106
8.6;6.5 Evolution Process Descriptions;107
8.7;6.6 Summary;108
8.8;References;108
9;7 Designing Processes and Activities;110
9.1;Objectives;110
9.2;7.1 Introduction;111
9.3;7.2 Designing Processes;111
9.4;7.3 Designing Activities;115
9.5;7.4 Reuse of Software Evolution Processes;116
9.6;7.5 Summary;122
9.7;References;122
10;8 Designing Tasks;124
10.1;Objectives;124
10.2;8.1 Introduction;125
10.3;8.2 Procedure of Designing Tasks;126
10.4;8.3 Structures of Functional Decomposition;126
10.5;8.4 Decomposition Rules;128
10.6;8.5 Structure of the Knowledge Base;132
10.7;8.6 Decomposition;134
10.8;8.7 Summary;138
10.9;References;139
11;9 Efficiency Improvement of the Software Evolution Processes;140
11.1;Objectives;141
11.2;9.1 Introduction;141
11.3;9.2 Procedure of Efficiency Improvement;142
11.4;9.3 Dependence Analysis Between Entities;145
11.5;9.4 Reconstructing Process Segments;147
11.6;9.5 Capturing Concurrency within an Activity;155
11.7;9.6 Analysing Dependences Between Partition Blocks;157
11.8;9.7 Extending Concurrency;159
11.9;9.8 Reconstructing Software Processes;161
11.10;9.9 Summary;164
11.11;References;164
12;10 Support Environment EPT;166
12.1;Objectives;166
12.2;10.1 Introduction;167
12.3;10.2 Architecture of EPT;168
12.4;10.3 File Depository;169
12.5;10.4 Process Server;173
12.6;10.5 User Interface and Message Server;178
12.7;10.6 Summary;180
12.8;References;180
13;11 Case Studies;181
13.1;Objectives;182
13.2;11.1 Introduction;182
13.3;11.2 First Case Study: The Waterfall Model;183
13.4;11.3 Second Case Study: Three Software Processes Involved in Evolution;185
13.5;11.4 Third Case Study: An Evolution Process of an Information Security System;189
13.6;11.5 Fourth Case Study: The Maintenance Process of ISO/ IEC 12207;198
13.7;11.6 Summary;209
13.8;References;210
14;12 Conclusions;211
14.1;12.1 Success Criteria Revisited;211
14.2;12.2 Evaluations;213
14.3;12.3 Summary;217
14.4;12.4 Future Work;219
14.5;References;220
15;Index;222