Description Logic-Based Web Service Self-Adaptation Strategy Representation

Method of representation for Web service self-adaptation strategy is studied. By this method, description logic is exploited to support the modeling of self-adaptation strategies. The framework of description logic-based adaptation strategy representation is presented with syntax and semantics. Examples are given to show the formalization of self-adaptation strategy. Furthermore, self-adaptation strategy reasoning using description logic is introduced, which mainly includes self-adaptation strategy subsumption reasoning and realization reasoning. Three different subsumptions between strategies suitable for different tasks are identified: abstraction subsumption, goal subsumption, and applicability subsumption. The proposed way has the potential to provide a formal and semantically rich representation for self-adaptation strategy.