Automatic Verification of Static Policies on Software Process Models
Annals of Software Engineering
| Hi-index | 0.00 |
Large companies often use standardized template development processes. Project-specific adaptation of templates must address aspects such as: project resources (time/ staff), standards, regulations, etc. Adapting templates is a particularly manual process requiring skill and for large companies a large proportion of the development cost. Integrating locally gained experiences and updating the template process is tedious work and resources for such updates are rarely available. Fortunately, formal representation of processes and process components enables reuse, analysis and comparison of processes and parts of processes. We use a case-based reasoning (CBR) approach which permits identification and reuse of processes or parts of processes. The formal notation allows the user to sketch new processes or adapt template processes. These sketches/ adaptations are used in a matching process which identifies and suggest the reuse of similar processes and process components stored in the library. Once an adaptation has been successfully used, it is automatically added to the case library.