Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A calculus of mobile processes, I
Information and Computation
Meta-models of Domain Modeling Framework for Networked Software
GCC '07 Proceedings of the Sixth International Conference on Grid and Cooperative Computing
Towards individualized requirements specification evolution for networked software based on aspect
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Hi-index | 0.00 |
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 OWLS 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.