IIDL: An approach to modeling inconsistent information

Software evolution research has aroused great attention. The traditional attitude toward the software evolution is that the information of evolution at any stage should be consistent. However, there is a conflict between the assumption and real engineering application. This paper analyzes inconsistency in software evolution from many aspects in detail, the root, the active role and the formal definition. Finally, we propose a formal method, named IIDL, as the tool for inconsistent information modeling and analysis in software evolution process.