关键词: 需求工程, 软件动态演化, 特征, 通信进程代数, 规范化

Abstract:  Facing the current situation of less consideration of dynamic evolution in requirements engineering, this paper proposes a dynamic-evolution-oriented requirements meta-model (DERM) based on the analysis of the challenges around software dynamic evolution. This meta-model selects features as basic components, and offers an approach to modeling software requirements based on the combination of features. Requirements model is composed of behavior feature and property feature. Furthermore, behavior feature is divided into calculation behavior feature and interaction behavior feature to isolate interaction from calculation. Through mapping the scope of property feature model to the range of behavior feature model, behavior feature model and property feature model are integrated as the ultimate requirements model. The paper discusses referential integrity, dependency consistency and mutex consistency of requirements models, and normalizes requirements models as 1RNF (first requirements-model normal form), 2RNF and 3RNF. The process of transforming requirements models from 1RNF to 3RNF is also a method of ensuring consistency of requirements models. Finally, one case shows that the proposed method is feasible, and can effectively support software dynamic evolution.

Key words: requirements engineering, software dynamic evolution, feature, algebra of communicating processes (ACP), normalization