一种形式化的软件可演化性特征描述方法-计算机科学.pdfVIP

Vo1. 44 No. 7 第 44 卷第7 期 计算机科学 2017 年 7 月 COMPUTER SCIENCE July 2017 一种形式化的软件可演化性特征描述方法 何云1 王炜1 ， 2 李彤1 ， 2 (云南大学软件学院 昆明 650500)1 (云南省软件工程重点实验室 昆明 650500)2 摘 要 软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和 安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其 不能对软件系统的演化特性进行有效建模。针对该问题，提出了一种形式化的软件可演化性特征描述方法，该方法允 许矛盾性输入的存在，可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻 画软件系统的演化需求，同时提出了一种抽象软件模型对软件系统进行建模，通过抽象软件模型的活性和安全性来对 软件系统的可演化特征进行描述。 关键词 活性，安全性，矛盾，软件可演化性，多值时序逻辑 中固法分类号 TP301 文献标识码 A DOI 10, 11896/j, issn, 1002-137X. 2017 , 07, 024 Formal Method for Describing Software Evolution Ability Feature 1 2 1 2 HE Yun WANG Weï1• LI Tong • (School of Software ,Yunnan University ,Kuruning 650500 ,China) 1 (Key Laboratory for Software Engineering of Yunnan Pr口vince ， Kuruning 650500 ,China) 2 Abstract The liveness and safety are the most important basis for judging software systems evolution ability. The eXÏ: sting modeling methods use classicallogic to describe the liveness and safety of systems. The complexity of the environ ment and stakeholders leads to conflicting input when analyzing software evolution ability. Because of the non-contradic tion law ,classical logic can t model the software system evolution ability effectively. Aiming at this problem ,a formal method for describing the software evolution ability was proposed. The method allows contradictions ,and can be used for modeling and analyzing systems