{'fraction_non_alphanumeric': 0.021827000808407437, 'fraction_numerical': 0.0, 'mean_word_length': 5.414507772020725, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Quality-driven Formal Modelling of the Travel Planner Application

Service-based systems (SBSs) have been widely used in recent years, however ensuring adequate service quality is a significant challenge. To that end, managing the properties of service-based systems through dynamic service selection is primordial. It is an important research problem in SBSs, which aims to select proper services to meet user requirements. However, the dynamics of these systems make their design extremely difficult and leading engineers to pursue new solutions and approaches to model and maintain their Quality of Services. Quality-driven self-adaptation is a promising strategy for managing such complexity while also allowing underlying software systems to accomplish functional and/or quality of service requirements by autonomously adapting their behavior at runtime. In this regard, we defined a formal approach for modeling quality-driven self-adaptive systems and ensuring that quality objectives are constantly met in a previous work. In this paper, we aim to apply the proposed approach to a concrete service-based system, the Travel Planner application, to assess the scalability and generality of our approach, and show its effectiveness.