
At a Glance
236 Pages
23.5 x 15.88 x 1.91
Hardcover
$169.00
or 4 interest-free payments of $42.25 with
orShips in 5 to 7 business days
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.
Industry Reviews
From the reviews:
"This book is based on the author's Ph.D. thesis accomplished in February 2007 at De Montfort University, UK. It aims to model and describe formal software processes that effectively support software evolution. ... The book is intended for software engineers and researchers in computer science who are interested in evolution of software processes." (G. Bauer, Zentralblatt MATH, Vol. 1161, 2009)
| Preface | p. ix |
| List of Figures and Tables | p. xiii |
| Introduction | p. 1 |
| Motivation | p. 1 |
| Contributions | p. 3 |
| Research Methods | p. 4 |
| Success Criteria | p. 5 |
| Validation Methods | p. 5 |
| Outline | p. 6 |
| References | p. 7 |
| Overview of Software Processes and Software Evolution | p. 8 |
| Introduction | p. 9 |
| Software Processes | p. 9 |
| Concepts of Software Process | p. 9 |
| Software Process Modelling and Descriptions | p. 11 |
| Software Process Modelling and Description Languages | p. 13 |
| Software Process Improvement and CMM | p. 16 |
| Software Process Reuse | p. 19 |
| Process-Centred Software Engineering Environments | p. 20 |
| Software Evolution | p. 21 |
| Concepts of Software Evolution | p. 21 |
| Software Reengineering | p. 22 |
| Software Evolution | p. 25 |
| Summary | p. 27 |
| References | p. 27 |
| Related Work | p. 34 |
| Introduction | p. 35 |
| Software Evolution Process | p. 35 |
| Concurrency in the Software Life Cycle | p. 38 |
| Petri Nets | p. 39 |
| Dependence Analysis | p. 43 |
| Formal Functional Decomposition | p. 44 |
| Summary | p. 46 |
| References | p. 46 |
| Software Evolution Process Meta-Model EPMM | p. 50 |
| Introduction | p. 51 |
| Properties of Software Evolution Processes | p. 52 |
| Iteration in Software Evolution Processes | p. 52 |
| Concurrency in Software Evolution Processes | p. 54 |
| Version Concurrency | p. 54 |
| Process Concurrency | p. 55 |
| Sub-Process Concurrency | p. 55 |
| Phase Concurrency | p. 56 |
| Activity Concurrency | p. 56 |
| Task Concurrency | p. 57 |
| Static Component Definitions of EPMM | p. 57 |
| Task | p. 58 |
| Activity | p. 59 |
| Software Process | p. 60 |
| Example: Prototype Evolution Process Model | p. 61 |
| Global Model | p. 63 |
| Dynamic Component Definitions of EPMM | p. 64 |
| Supports for Software Evolution Processes | p. 66 |
| Summary | p. 67 |
| References | p. 68 |
| Software Evolution Process Description Language EPDL | p. 70 |
| Introduction | p. 71 |
| Survey of EPDL | p. 71 |
| Design Goals | p. 71 |
| Characteristics | p. 72 |
| Program Structure | p. 73 |
| Task | p. 74 |
| Activity | p. 76 |
| Software Process | p. 77 |
| Global Model | p. 80 |
| EPDL Program | p. 80 |
| Example | p. 81 |
| Summary | p. 82 |
| References | p. 83 |
| Framework of Software Evolution Processes | p. 85 |
| Introduction | p. 86 |
| Framework of Software Evolution Processes | p. 86 |
| Steps for Modelling Software Evolution Processes | p. 88 |
| Designing Global Models | p. 91 |
| Evolution Process Descriptions | p. 92 |
| Summary | p. 93 |
| References | p. 93 |
| Designing Processes and Activities | p. 95 |
| Introduction | p. 96 |
| Designing Processes | p. 96 |
| Basic Blocks | p. 96 |
| Software Process Package | p. 98 |
| Procedure for Modelling Processes | p. 99 |
| Designing Activities | p. 100 |
| Reuse of Software Evolution Processes | p. 101 |
| Reuse by Inheritance | p. 101 |
| Reuse of Basic Blocks | p. 102 |
| Reuse of Process Packages | p. 106 |
| Summary | p. 107 |
| References | p. 107 |
| Designing Tasks | p. 109 |
| Introduction | p. 110 |
| Procedure of Designing Tasks | p. 111 |
| Structures of Functional Decomposition | p. 111 |
| Decomposition Rules | p. 113 |
| Sequence Decomposition | p. 114 |
| Selection Decomposition | p. 115 |
| Repetition Decomposition | p. 116 |
| Structure of the Knowledge Base | p. 117 |
| The Case Base | p. 118 |
| The Segment Base | p. 119 |
| The Rule Base | p. 119 |
| Decomposition | p. 119 |
| The Decomposition Tree | p. 119 |
| Match Between Two 2-Assertions | p. 120 |
| The Decomposition Process | p. 121 |
| Supports by Modellers | p. 122 |
| Summary | p. 123 |
| References | p. 124 |
| Efficiency Improvement of the Software Evolution Processes | p. 125 |
| Introduction | p. 126 |
| Procedure of Efficiency Improvement | p. 127 |
| Dependence Analysis Between Entities | p. 130 |
| Constructing a Dependence Graph | p. 130 |
| Localising Dependences | p. 131 |
| Reconstructing Process Segments | p. 132 |
| Preprocessing an ADG | p. 133 |
| Transformation Rules | p. 136 |
| Transformation Algorithm | p. 137 |
| Examples | p. 138 |
| Capturing Concurrency within an Activity | p. 140 |
| Analysing Dependences Between Partition Blocks | p. 142 |
| Extending Concurrency | p. 144 |
| Reconstructing Software Processes | p. 146 |
| Summary | p. 149 |
| References | p. 149 |
| Support Environment EPT | p. 151 |
| Introduction | p. 152 |
| Architecture of EPT | p. 153 |
| File Depository | p. 154 |
| Data Structures of EPDL Object Codes | p. 154 |
| Other Data Structures | p. 156 |
| Process Server | p. 158 |
| Modelling Manager | p. 158 |
| EPDL Compiler | p. 161 |
| Runtime Manager | p. 161 |
| User Interface and Message Server | p. 163 |
| Summary | p. 165 |
| References | p. 165 |
| Case Studies | p. 166 |
| Introduction | p. 167 |
| First Case Study: The Waterfall Model | p. 168 |
| Second Case Study: Three Software Processes Involved in Evolution | p. 170 |
| Third Case Study: An Evolution Process of an Information Security System | p. 174 |
| Background | p. 174 |
| The Process of Modelling | p. 175 |
| EPDL Program | p. 175 |
| White Box Approach | p. 176 |
| Black Box Approach | p. 179 |
| Efficiency Improvement | p. 180 |
| Fourth Case Study: The Maintenance Process of ISO/IEC 12207 | p. 183 |
| Background | p. 183 |
| EPDL Program | p. 185 |
| Activity: Process Implementation | p. 186 |
| Activity: Problem and Modification Analysis | p. 187 |
| Activity: Modification Implementation | p. 189 |
| Activity: Maintenance Review/Acceptance | p. 190 |
| Activity: Migration | p. 190 |
| Activity: Software Retirement | p. 192 |
| Summary | p. 194 |
| References | p. 195 |
| Conclusions | p. 196 |
| Success Criteria Revisited | p. 196 |
| Evaluations | p. 198 |
| Comparison with Osterweil's Approach | p. 198 |
| Comparison with Lehman's Approach | p. 200 |
| Evaluations | p. 202 |
| Summary | p. 202 |
| Future Work | p. 204 |
| Limitations | p. 204 |
| Directions for Future Work | p. 205 |
| References | p. 205 |
| Index | p. 207 |
| Table of Contents provided by Ingram. All Rights Reserved. |
ISBN: 9783540794639
ISBN-10: 3540794638
Published: 1st November 2008
Format: Hardcover
Language: English
Number of Pages: 236
Audience: College, Tertiary and University
Publisher: Springer Nature B.V.
Country of Publication: DE
Dimensions (cm): 23.5 x 15.88 x 1.91
Weight (kg): 0.48
Shipping
| Standard Shipping | Express Shipping | |
|---|---|---|
| Metro postcodes: | $9.99 | $14.95 |
| Regional postcodes: | $9.99 | $14.95 |
| Rural postcodes: | $9.99 | $14.95 |
Orders over $79.00 qualify for free shipping.
How to return your order
At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.
Additional postage charges may be applicable.
Defective items
If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.
For more info please visit our Help Centre.
You Can Find This Book In

The Devops Handbook: 2nd Edition
How to Create World-Class Agility, Reliability, & Security in Technology
Paperback
RRP $76.99
$61.99
OFF

Architecture Patterns with Python
Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices
Paperback
RRP $125.75
$60.99
OFF






















