Abstract:Self-adaptive software (SAS) is capable of adjusting its behavior in response to meaningful changes in the operational context and itself. Due to the inherent volatility of the open and changeable environment in which SAS is embedded, the ability of adaptation is highly demanded by many software-intensive systems. Two concerns, i.e., the requirements uncertainty and the context uncertainty are most important among others at Requirements Engineering (RE) stage. However, requirements analyzers can hardly figure out the mathematical relation between requirements, system behavior and context, especially for complex and nonlinear systems, due to the existence of above uncertainties, misunderstanding and ambiguity of prior knowledge. An essential issue to be addressed is how to model and specify these uncertainties at RE stage and how to utilize the prior knowledge to achieve adaptation. In this paper, we propose a fuzzy-based approach to modeling uncertainty and achieving evolution. The approach introduces specifications to describe fuzziness. Based on the specifications, we derive a series of reasoning rules as knowledge base for achieving adaptation and evolution. These two targets are implemented through four reasoning schemas from a control theory perspective. Specifically, forward reasoning schema is used for direct adaptation; backward reasoning schema is used for optimal adaptation. Parameter-identified schema implements learning evolution by considering SAS as the gray-box system, while system-identified reasoning schema implements learning evolution by considering SAS as the gray-box system. The former two schemas function as the control group, while the latter two are de-signed as the experimental groups to illustrate the learning ability. Our approach is implemented under three types of context through the demonstration of a mobile computing application.

SE-FCA: A Model of Software Evolution with Formal Concept Analysis

A Survey And Extension On Software Evolution And Computer-Aided Prototyping

Software Evolutionary Architecture: Automated Planning for Functional Changes

An Ontology of Software Evolution.

Research on supporting component model with evolution information by extending CDL

An evolution analysis method based on fuzzy concept lattice and source code analysis

ABC: a Method of Software Architecture Modeling in the Whole Lifecycle

High-confidence Software Evolution

Self-Organized Semantic Feature Evolution for Axiomatic Design

Visual exploration of software evolution via topic modeling

Using Formal Concept Analysis for Scheduling Legacy System Iterative Reengineering Process

Modeling Uncertainty and Evolving Self-Adaptive Software: A Fuzzy Theory Based Requirements Engineering Approach

Abstract high-maintainable classes from legacy systems based on formal concepts analysis

Automated Evolution Planning for Evolutionary Architecture

A Data-to-Product Multimodal Conceptual Framework to Achieve Automated Software Evolution for Context-rich Intelligent Applications

Enhanced Semantic Access to Formal Software Models.

B-FES/o: an ontology-based scheme for functional modeling in design for semantic Web applications

Supporting context — Aware service evolution with a process management requirements model

Software Service Evolution: A Requirements Perspective

An Architecture-based Evolution Management Method for Software Product Line.

Applying FCA toolbox to Software Testing