Modeling requirements evolution with π-Calculus

Software system have been faced challenge such as change of business rules, software resources and system context environment, software requirements must support sustainable evolution. We presented a logical model for reasoning about requirements evolution in the construction of software systems. Our model defined the π-Calculus semantics of OWL-S, giving the formal description methods for requirements specification; defined the π-Calculus semantics of requirements evolving, unifying of the formal description of the requirements evolution and the requirements specification. The evolvement process of requirements specification can be specified based on the process-passing mechanism in high-order π-calculus. Compared with other related works, our approach is more suitable for the specific requirements evolution, supporting for formal reasoning and verification requirements evolution. We argue that our model provides a powerful tool both for developing automated systems to support requirements evolution.