Modeling Based Software Evolution Process Of Interactions EPMM

Software evolution process is a hot topic in software engineering area in recent years. Osterweil thinks that software process is software too, so software evolution process, as a branch of software process, can be modeled and verified as the software. Because of the participation of humans, it is of great importance to assure whether there is the consistency between the actual implementation of software process and the specification of software process model. Various features of software evolution process contribute to its complexity, for instance, uncertainty, concurrency, and hierarchy. Software evolution process under concurrent environment has an interactive behavior of concurrent systems. The interactive behavior is actually from a more fine-grained perspective to discuss the underlying communication behavior of software computational entities (tasks, activities, and processes) of the software evolution process layers. Ensuring the correctness of the top-level behavior of software evolution process is often based on the correctness of the low-level underlying communication. Consequently, the modeling and verification of the interactive behavior become the greatest concern in software evolution process.Most studies of the software evolution process behavior currently focus on the process execution behavior of the top-level, and the standard approaches mostly rely on the formal modeling and verification of execution behavior, but rarely refer to the discussion of the low-level communication behavior (interactive behavior).Because the software evolution process is a complex concurrent system and the correctness of the top-level behavior is based on the correctness of the low-level interactive behavior, this thesis is based on the software evolution process meta-model (EPMM), using the π-calculus as a medium for the formal modeling of the interactive behavior. Using the principle of process algebra, this thesis encompasses the following four parts: (1) Analyze the interactive behavior of software evolution process and the main problems that need to be discussed.(2) Analyze the interactive behavior among the internal tasks of the activities, and use the π-calculus to model it under the concurrent environment including modeling the basic interactive behavior and the structural behavior.(3) Analyze the interactive behavior among the internal activities of the processes, using π-calculus to model it under the concurrent environment. However, as the classic π-calculus is based on the synchronous interaction, this thesis models the asynchronous interaction between the activities using the buffer process.(4) Provide a formal modeling framework for describing the interactive behavior between tasks inside an activity and the interactive behavior between activities inside a software process, and for describing objects creation and destroy.(5) Based on the π-calculus tool-the Mobility Workbench (MWB), an experiment and a case study are given.