Evolution-Oriented Reflective Requirements Specifications and its Formalization

At present, most scholars know the important of requirements evolution, however, efficient methods to guide are still lacked. The paper presents the modeling of reflection requirement based on the ¿-calculus to capture the requirements evolution, and makes it carry out efficiently and controllable. Aimed at the evolution issues of OWL-S requirements specification, this paper proposes a ¿-Calculus based approach to specify the reflective requirements specification model composed with base-level, meta-level and casual connection between two levels. Meanwhile, Based on the process-passing mechanism in high-order ¿-calculus, the evolvement process of requirements specification can be specified. Compared with other related works, our approach is more suitable for the specific evolution mechanism of requirements, such as dynamic modifies requirements specification with consistency and correctness.