Research On Software Process Line Modeling And Application Based On Process Tree

In the field of software engineering, more and more software organizations adopt integrated development pattern, which can be applied at different levels and stages. Integrated development pattern utilizes the means such as reuse, tailoring, which can rapidly configure and generate software products or specific-project-related software process instances. Since software products and forms of software process instance are varied, integration is of great significance to the development and quality assurance for various forms of software products and software process instances.Software Process Line (SPrL) is an important application of integration methodology in the field of software engineering. SPrL is a special kind of Software Product Line (SPL), both applying the theory of integration. By using common core-process-asset-collection and tailoring and resusing the predefined process-line variant points, SPrL realizes reuse, integration, and assembling on the component level under the guidance of the whole process line architecture, and realizes partial process reuse and tailoring on the activity and task level. Thus, the constructure of specific-project-oriented process instance is turned from the traditional "creation" into "integration and assembling".However, some new definitions relevant to SPrL are not well-defined, its theoretical fundation is incomplete, and there is no sufficient modeling techniques and methods to create a universal process model structure framework. In order to sovle the key technical issue of SPrL application, this paper presents the Software Process Line based on Process Tree (SPrL-BPT), which is based on a process model represented by Petri net, with features described by process tree model. It mainly addresses two key issues:construction for SPrL-BPT model and tailoring and reuse of the process of SPrL-BPT.The main works and achivements in this thesis include:(1) It proposes the hierarchical architecture and the application system framework of SPrL-BPT, which provides a uniform operation framework to tailor and reuse during assembling and generation process for process instances.(2) Based on SPrL-BPT architecture, it defines the main models of SPrL-BPT: dimensional-division-based context model, Petri-net-based software process model, and process-tree-based process line feature model, which lay the foundation of reuse and tailoring for process instance creation.(3) By expoiting the methods of context-factor-similarity-comparison, conversion between process models, fuzzy-measure and process-model-similarity-comparison, it proposes the construction approach for SPrL-BPT, which provides the references for expoitation and implementation of SPrL-BPT application system.(4) It clarifies the formal definitiaons related to SPrL-BPT process feature model, as well as Alloy specification, where the former facilitates further machine implementation and the latter can realize consistency check of process feature model.(5) It proposes the methods of SPrL-BPT-based reuse and tailoring, which provides technical basis to generate process instances in the pratical application procedure. It defines the internal specification and the external specification of process component through process algebra method, which guarantees the consistency and effectiveness of reusing operation in SPrL-BPT. Moreover, it verifies the consistency and inheritance of partial tailor operation activity by using the branching-bisimilarity equivalence relation, which guarantees the effectiveness of tailoring operation in SPrL-BPT.(6) It designs the application system framework of SPrL-BPT and preliminarily implements a system prototype. Through three SPrL-related cases, it shows that the theories, methods, and technologies proposed in this paper are feasible, and can be applied to the production practice.