Towards Formalizing Adaptive Software Services

Abstract

More and more complex, distributed and software-Intensive systems are built using independently developed services. Due to various reasons, such as changes in the execution environment, these systems may need to adapt their behavior. Although, adaptation at the system level has been extensively studied, developing adaptive services to start-with has not received any significant attention. This paper describes a framework for formalizing the concept of adaptation at the service level, leading to the "service adaptation by construction" approach. Hence, the proposed work will help software developers in identifying the important adaptation categories at the service level.