文献类型：期刊文献

中文题名：基于可拓学的自适应软件形式化方法

英文题名：A method for self-adaptive software formal modeling by Extenics

作者：范锐[1];彭银桥[1];陈月峰[1];雷桂斌[1];刘小辉[2]

机构：[1]广东海洋大学软件学院;[2]广东海洋大学财务处

年份：2015

卷号：10

期号：6

起止页码：901

中文期刊名：智能系统学报

外文期刊名：CAAI Transactions on Intelligent Systems

收录：CSTPCD、、北大核心2014、CSCD2015_2016、北大核心、CSCD

基金：广东省科技计划资助项目(2014A040402010)

语种：中文

中文关键词：可拓学;可拓基元;拓展分析;可拓变换;优度评价;形式化方法;自适应软件

外文关键词：Extenics ; basic-element ; extension analysis ; extension transformation ; superiority evaluation ; formal method ; self-adaptive software

中文摘要：可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。

外文摘要：The core of extenics is to set up adaptability mathematic model which can flexibly cope with uncertain change and inspiration springing up. The feasibility of introducing the theory of Extenics to describe, analyze and evaluate the self-adaptive nature, scope and extent about the software system was discussed. First, the basic-element description software entities were used to construct the software system into basic-element net, then the dynamic nature of self-adaptive software system was revealed by combining the qualitative and quantitative methods of extension analysis, extension transformation, and superiority evaluation, etc., initially establishing a formal method of self-adaptive software.