On Mobility of Software Processes

Abstract

In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions among linked process elements. The concept addresses the essential change in a software process which brings a high variability and unpredictability to process performance. Three categories of mobility that lead to the structural change are identified and expounded upon. A reference model for describing the concept is put forward on the base of polyadic π-calculus. With the mobility of software processes, it is possible to design a new PCSEE and associated PML with reduced inconsistencies between process enactment and process performance.

Basic research in computer science and software engineering at SKLCS

“…A graphical modeling language based on the process algebra has also been developed, through which the operational semantics of the software processes can be described precisely and the inherent mobility in the execution of software processes can be modeled effectively. Those theories have been successfully applied to the verification of software processes against specified properties and to the conformance checking between the process performance and the pre-defined standardized process [61,62]. Based on the model driven architecture (MDA), the meta-model of different types of software processes, rules and the engine of transforming and merging among different meta-models have also been developed to merge different types of software processes [63,64].…”

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments

“…Software development managers need to make resource rescheduling decisions to respond to disruptions [15] such as:…”