FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W83076330> ?p ?o ?g. }

• W83076330 abstract "Ubiquitous software services are increasingly pervading the daily activities of common people. In turn, this situation is increasing the users' demands for highly dynamic capabilities of these services to satisfy context-dependent requirements. In the last years, the engineering of self-adaptive software has demonstrated its support for these capabilities and has achieved significant advances. However, self-adaptation theories, models and mechanisms are further required to be trustworthy, extensible and re-usable in order to be incorporated as common assets of the software engineering design process, when appropriate. Most of the existing approaches focus only on one kind of these assets, usually an ad-hoc mechanism, and moreover, the community lacks standardized properties to evaluate these mechanisms in comparable ways. To address these shortcomings, in this dissertation we develop and implement a formal model to preserve Quality of Service (QoS) contracts in component-based software applications through dynamic reconfiguration. Our contribution is twofold. First, we provide a comprehensive solution strategy that ranges from a formal foundation that concedes trustworthiness to our proposal, to an experimental evaluation that grants practical feasibility to our work. Second, we identify and define properties inherent to self-adaptive software systems that allow comparable assessment on them. In our first contribution we identify four elements: the formal model, the architecture of the proposal, its implementation, and its experimental evaluation. Our formal model is based on the feedback-loop model to achieve reconfiguration autonomy. To obtain reliability, we build on a typed and attributed graph transformation theory to define component-based application structures, QoS contracts and reconfiguration rules. These definitions are typing structures that guarantee conformance of the corresponding instances. We specify the dynamic reconfiguration operation with these operations. Our approach benefits from graph transformation theorems to guarantee that the reconfiguration process is terminating, atomic, and verifiable on the component-based well-formation rules. To cope with context unpredictability, we conceive a finite state machine that manages states of both, contract fulfillment, and also unfulfillment. We devise an architecture to realize our formal model, which creates and maintains a graph representation of the managed application and the QoS contracts at runtime. Furthermore, this architecture bridges the graph representation structure with the actual running application structure through a pair of functions that maintain the coherence between these two structures. We encode this architecture as an SCA layer for dynamic reconfiguration in an implementation, which we deploy and execute in FraSCAti, a multi-scale SCA middleware. We undertake an experimental evaluation of our approach by applying a benchmark on two plausible case studies. From the obtained results we conclude on the practical feasibility of our proposal. In the second contribution, we aim at filling-in the existing gap in the assessment of the MAPE-K (Monitor, Analyzer, Planner, Executor and shared Knowledge) loop model, which was proposed with no standard properties to compare among its different realizations. Based on an extensive survey of research papers, we characterized common properties inherent to self-adaptive software and proposed for them suitable mappings to metrics. Among the most important properties are the atomic adaptation, the settling-time, the termination, the structural consistency, the robustness, the resource overshoot and the stability. For the validation of our proposal, we analyzed and verified the corresponding conditions for the first five of these properties. With our first contribution, our aim is to advance the software engineering for self-adaptive software systems by providing a comprehensive solution strategy built on a formal foundation. With our second contribution we provide the basis to standardize self-adaptive software properties, useful for their assessment." @default.
• W83076330 created "2016-06-24" @default.
• W83076330 creator A5088756024 @default.
• W83076330 date "2012-05-28" @default.
• W83076330 modified "2023-09-23" @default.
• W83076330 title "QoS-CARE : a reliable system for preserving QoS contracts through dynamic reconfiguration" @default.
• W83076330 hasPublicationYear "2012" @default.
• W83076330 type Work @default.
• W83076330 sameAs 83076330 @default.
• W83076330 citedByCount "6" @default.
• W83076330 countsByYear W830763302012 @default.
• W83076330 countsByYear W830763302013 @default.
• W83076330 countsByYear W830763302015 @default.
• W83076330 countsByYear W830763302019 @default.
• W83076330 crossrefType "dissertation" @default.
• W83076330 hasAuthorship W83076330A5088756024 @default.
• W83076330 hasConcept C115903868 @default.
• W83076330 hasConcept C119701452 @default.
• W83076330 hasConcept C120314980 @default.
• W83076330 hasConcept C120665830 @default.
• W83076330 hasConcept C121332964 @default.
• W83076330 hasConcept C136764020 @default.
• W83076330 hasConcept C139807058 @default.
• W83076330 hasConcept C149091818 @default.
• W83076330 hasConcept C149635348 @default.
• W83076330 hasConcept C174683762 @default.
• W83076330 hasConcept C199360897 @default.
• W83076330 hasConcept C2777904410 @default.
• W83076330 hasConcept C2780615836 @default.
• W83076330 hasConcept C31258907 @default.
• W83076330 hasConcept C41008148 @default.
• W83076330 hasConcept C5119721 @default.
• W83076330 hasConcept C75606506 @default.
• W83076330 hasConceptScore W83076330C115903868 @default.
• W83076330 hasConceptScore W83076330C119701452 @default.
• W83076330 hasConceptScore W83076330C120314980 @default.
• W83076330 hasConceptScore W83076330C120665830 @default.
• W83076330 hasConceptScore W83076330C121332964 @default.
• W83076330 hasConceptScore W83076330C136764020 @default.
• W83076330 hasConceptScore W83076330C139807058 @default.
• W83076330 hasConceptScore W83076330C149091818 @default.
• W83076330 hasConceptScore W83076330C149635348 @default.
• W83076330 hasConceptScore W83076330C174683762 @default.
• W83076330 hasConceptScore W83076330C199360897 @default.
• W83076330 hasConceptScore W83076330C2777904410 @default.
• W83076330 hasConceptScore W83076330C2780615836 @default.
• W83076330 hasConceptScore W83076330C31258907 @default.
• W83076330 hasConceptScore W83076330C41008148 @default.
• W83076330 hasConceptScore W83076330C5119721 @default.
• W83076330 hasConceptScore W83076330C75606506 @default.
• W83076330 hasLocation W830763301 @default.
• W83076330 hasOpenAccess W83076330 @default.
• W83076330 hasPrimaryLocation W830763301 @default.
• W83076330 hasRelatedWork W1539635396 @default.
• W83076330 hasRelatedWork W1539705164 @default.
• W83076330 hasRelatedWork W1557634793 @default.
• W83076330 hasRelatedWork W1580970500 @default.
• W83076330 hasRelatedWork W1990911977 @default.
• W83076330 hasRelatedWork W2015244008 @default.
• W83076330 hasRelatedWork W2029787924 @default.
• W83076330 hasRelatedWork W2033406822 @default.
• W83076330 hasRelatedWork W2065942621 @default.
• W83076330 hasRelatedWork W2089781058 @default.
• W83076330 hasRelatedWork W2118606420 @default.
• W83076330 hasRelatedWork W2134485500 @default.
• W83076330 hasRelatedWork W2163784380 @default.
• W83076330 hasRelatedWork W2521706480 @default.
• W83076330 hasRelatedWork W2750840171 @default.
• W83076330 hasRelatedWork W2807850479 @default.
• W83076330 hasRelatedWork W2889681271 @default.
• W83076330 hasRelatedWork W3017680360 @default.
• W83076330 hasRelatedWork W3099698644 @default.
• W83076330 hasRelatedWork W659401613 @default.
• W83076330 isParatext "false" @default.
• W83076330 isRetracted "false" @default.
• W83076330 magId "83076330" @default.
• W83076330 workType "dissertation" @default.