软件演化过程建模

Preface ix
List of Figures and Tables
xiii
1 Introduction
.1 Motivation
1.2 Contributions
1.3 Research Methods
1.4 Success Criteria
1.5 Validation Methods
1.6 Outline
References
2 Overview of Software Processes and Software Evolution 8
2.1 Introduction
2.2 Software Processes
2.2.1 Concepts of Software Process
2.2.2 Software Process Modelling and Descriptions
2.2.3 Software Process Modelling and Description Languages
2.2.4 Software Process Improvement and CMM
2.2.5 Software Process Reuse
2.2.6 Process-Centred Software Engineering Environments
2.3 Software Evolution
2.3.1 Concepts of Software Evolution
2.3.2 Software Reengineering
2.3.3 Software Evolution
2.4 Summary
References
3 Related Work
3.1 Introduction
3.2 Software Evolution Process
3.3 Concurrency in the Software Life Cycle
3.4 Petri Nets
3.5 Dependence Analysis
3.6 Formal Functional Decomposition
3.7 Summary
References
4 Software Evolution Process Meta-Model EPMM
4.1 Introduction
4.2 Properties of Software Evolution Processes
4.3 Iteration in Software Evolution Processes
4.4 Concurrency in Software Evolution Processes
4.4.1 Version Concurrency
4.4.2 Process Concurrency
4.4.3 Sub-Process Concurrency
4.4.4 Phase Concurrency
4.4.5 Activity Concurrency
4.4.6 Task Concurrency
4.5 Static Component Definitions of EPMM
4.5.1 Task
4.5.2 Activity
4.5.3 Software Process
4.5.4 Example： Prototype Evolution Process Model
4.5.5 Global Model
4.6 Dynamic Component Definitions of EPMM
　4.7 Supports for Software Evolution Processes
4.8 Summary
References
5 Software Evolution Process Description Language EPDL
5.1 Introduction
5.2 Survey of EPDL
5.2.1 Design Goals
5.2.2 Characteristics
5.2.3 Program Structure
5.3 Task
5.4 Activity
5.5 Software Process
5.6 Global Model
5.7 EPDL Program
5.8 Example
5.9 Summary
References
6 Framework of Software Evolution Processes
6.1 Introduction
6.2 Framework of Software Evolution Processes
6.3 Steps for Modelling Software Evolution Processes
6.4 Designing Global Models
6.5 Evolution Process Descriptions
6.6 Summary
References
7 Designing Processes and Activities
7.1 Introduction
7.2 Designing Processes
7.2.1 Basic Blocks
7.2.2 Software Process Package
7.2.3 Procedure for Modelling Processes
7.3 Designing Activities
7.4 Reuse of Software Evolution Processes
7.4.1 Reuse by Inheritance
7.4.2 Reuse of Basic Blocks
7.4.3 Reuse of Process Packages
7.5 Summary
References
8 Designing Tasks
8.1 Introduction
8.2 Procedure of Designing Tasks
8.3 Structures of Functional Decomposition
8.4 Decomposition Rules
8.4.1 Sequence Decomposition
8.4.2 Selection Decomposition
8.4.3 Repetition Decomposition
8.5 Structure of the Knowledge Base
8.5.1 The Case Base
8.5.2 The Segment Base
8.5.3 The Rule Base
8.6 Decomposition
8.6.1 The Decomposition Tree
8.6.2 Match Between Two 2-Assertions
8.6.3 The Decomposition Process
8.6.4 Supports by Modellers
8.7 Summary
References
9 Efficiency Improvement of the Software Evolution Processes
9.1 Introduction
9.2 Procedure of Efficiency Improvement
9.3 Dependence Analysis Between Entities
9.3.1 Constructing a Dependence Graph
9.3.2 Localising Dependences
9.4 Reconstructing Process Segments
9.4.1 Preprocessing an ADG
9.4.2 Transformation Rules
9.4.3 Transformation Algorithm
9.4.4 Examples
9.5 Capturing Concurrency within an Activity
9.6 Analysing Dependences Between Partition Blocks
9.7 Extending Concurrency
9.8 Reconstructing Software Processes
9.9 Summary
References
10 Support Environment EPT
10.1 Introduction
10.2 Architecture of EPT
10.3 File Depository
10.3.1 Data Structures of EPDL Object Codes
10.3.2 Other Data Structures
10.4 Process Server
10.4.1 Modelling Manager
10.4.2 EPDL Compiler
10.4.3 Runtime Manager
10.5 User Interface and Message Server
10.6 Summary
References
11 Case Studies
11.1 Introduction
11.2 First Case Study： The Waterfall Model
11.3 Second Case Study： Three Software Processes Involved in Evolution
11.4 Third Case Study： An Evolution Process of an Information Security System
11.4.1 Background
11.4.2 The Process of Modelling
11.4.3 EPDL Program
11.4.4 White Box Approach
11.4.5 Black Box Approach
11.4.6 Efficiency Improvement
11.5 Fourth Case Study： The Maintenance Process of ISO/IEC 12207
11.5.1 Background
11.5.2 EPDL Program
11.5.3 Activity： Process Implementation
11.5.4 Activity： Problem and Modification Analysis
11.5.5 Activity： Modification Implementation
11.5.6 Activity： Maintenance Review/Acceptance
11.5.7 Activity： Migration
11.5.8 Activity： Software Retirement
11.6 Summary
References
12 Conclusions
12.1 Success Criteria Revisited
12.2 Evaluations
12.2.1 Comparison with Osterweils Approach
12.2.2 Comparison with Lehmans Approach
12.2.3 Evaluations
12.3 Summary
12.4 Future Work
12.4.1 Limitations
12.4.2 Directions for Future Work
References
Index