A paraconsistent meta-model of requirements for software evolution

被引：1
|
作者：
Xie Z. [1 ,2 ]
Li T. [1 ,2 ]
Dai F. [1 ,2 ]
Qin J. [1 ,2 ]
Yu Y. [1 ,2 ]
机构：
[1] School of Software, Yunnan University, Kunming
[2] Key Laboratory in Software Engineering of Yunnan Province, Kunming
来源：
Jiangsu Daxue Xuebao (Ziran Kexue Ban)/Journal of Jiangsu University (Natural Science Edition) | 2011年 / 32卷 / 05期
关键词：
Features; Models; Normalization; Requirements engineering; Requirements for evolution; Software evolution;
D O I：
10.3969/j.issn.1671-7775.2011.05.013
中图分类号：
学科分类号：
摘要：
In order to meet the modeling requirements for software evolution which included inconsistent information, a paraconsistent meta-model of requirements for software evolution (RSEMM) was proposed. The model was made up of features, evolution requirements and evolution intentions. Five important properties of requirements for software evolution were discussed. Based on the formal definition of features, three important relations of consistent, gradation and overlap among features were investigated. According to the analysis of dependent and mutually exclusive relations among feature properties, requirements for software evolution and intentions for software evolution were formally defined. Requirements for software evolution were normalized as from first evolution requirements normal form (1ERNF) to 4ERNF. The normalization process provides a method to transform requirements for software evolution to intentions for software evolution. The results show that the five important properties of requirements for software evolution are embodied in RSEMM. The proposed meta-medel can improve the quality and efficiency of software evolution.
引用
收藏
页码：562 / 568
页数：6
相关论文
共 12 条
  • [1] Yang F., Thinking on the development of software engineering technology, Journal of Software, 16, 1, pp. 1-7, (2005)
  • [2] Zhang W., Mei H., Zhao H., A feature-oriented approach to modeling requirements dependencies, Proceedings of 13th IEEE International Conference on Requirements Engineering, pp. 273-282, (2005)
  • [3] Mei H., Zhang W., Zhao H., A metamodel for modeling system features and their refinement, constraint and interaction relationships, Software and Systems Modeling, 5, 2, pp. 172-186, (2006)
  • [4] Cook S., Harrison R., Lehman M.M., Et al., Evolution in software systems: Foundations of the SPE classification scheme, Journal of Software Maintenance and Evolution: Research and Practice, 18, 1, pp. 1-35, (2006)
  • [5] Li C., Li Y., Wu J., Et al., A service-oriented software model supporting dynamic evolution, Chinese Journal of Computers, 29, 7, pp. 1020-1028, (2006)
  • [6] Li T., An Approach to Modelling Software Evolution Processes, (2008)
  • [7] (2009)
  • [8] Nuseibeh B., Easterbrook S., Russo A., Leveraging inconsistency in software development, Computer, 33, 4, pp. 24-29, (2000)
  • [9] (2008)
  • [10] Zhang W., Zhao H., Mei H., A propositional logic-based method for verification of feature models, Proceedings of 6th International Conference on Formal Engineering Methods, pp. 115-130, (2004)
12