CAREER: A Mining-Based Approach for Consistent and Timely Adaptation of Component-Based Software

越来越多地，软件被期望动态地调整其行为，以响应计算基础设施以及周围物理环境中不断变化的条件。软件动态适配中的两个重要问题是(1)如何防止软件在适配过程中失败，(2)如何减少软件提供的功能的中断。这项研究将设计一种新的技术来处理这些问题，方法是自动确定何时是对正在运行的软件系统进行更改的最佳时间。这项研究的原理将为设计动态自适应软件的新方法提供基础。研究结果将被纳入教育领域，这样未来的软件工程师就能更好地应对构建自适应软件的挑战。这一方法将通过一套开源工具实现，为将研究成果转化为行业铺平道路。所有针对这一研究问题的现有技术都假设了详细的软件组件依赖模型的可用性。这项研究将开发一种新的技术，在这样的模型不可用、难以构建或由于软件的发展而过时的环境中解决这一问题。指导这项研究的假设是，通过监视软件系统-S的执行历史(例如，消息交换、方法调用)足够长的时间段，可以挖掘系统组件之间交互和依赖的准确模型。研究将演示如何使用以这种方式推断的模型来(1)确保正在运行的软件中的变化不会产生可能危及系统S功能的不一致，(2)控制由于适应而导致的系统S操作中的中断程度，以及(3)自动调整模型以适应潜在演化的软件组件之间不断变化的依赖关系。

Increasingly, software is expected to dynamically adapt its behavior in response to changing conditions in the computation infrastructure as well as the surrounding physical environment. Two important problems in dynamic adaptation of software are (1) how to prevent failure of the software during adaptation, and (2) how to reduce disruptions in the functionalities provisioned by the software. This research will devise a novel technique for dealing with these problems by automatically determining when is the best time for making changes to a running software system. The principles emerging from this research will provide the foundation for a new method of engineering dynamically adaptive software. The results of the research will be incorporated into education, such that tomorrow's software engineers are better equipped to tackle the challenges of constructing adaptive software. The approach will be realized via a suite of open source tools to pave the way for transitioning the research results to the industry. All prior techniques targeted at this research problem have assumed the availability of detailed software component dependency models. This research will develop a novel technique that solves this problem in settings where such models are either not available, difficult to build, or outdated due to the evolution of the software. The hypothesis guiding this research is that by monitoring a software system?s execution history (e.g., message exchanges, method invocations) for a sufficiently long period of time, it is possible to mine an accurate model of interactions and dependencies among the system's components. The research will demonstrate how models inferred in this way can be used to (1) ensure changes in the running software do not create inconsistencies that could jeopardize the system?s functionality, (2) control the level of disruption incurred in system?s operations due to adaptation, and (3) automatically adjust the models to changing dependencies among the potentially evolving software components.