基于可拓学的自适应软件形式化方法  

A method for self-adaptive software formal modeling by Extenics

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

机构地区：[1]广东海洋大学软件学院,广东湛江524088 [2]广东海洋大学财务处,广东湛江524088

出　　处：《智能系统学报》2015年第6期901-911,共11页CAAI Transactions on Intelligent Systems

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

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

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]