QoS contract preservation through dynamic reconfiguration: A formal semantics approach

Tamura, Gabriel; Casallas, Rubby; Cleve, Anthony; Duchien, Laurence

doi:10.1016/j.scico.2013.12.003

Cited by 10 publications

(14 citation statements)

References 44 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The QoS is a non-functional requirement measure of the overall performance of a service such as reliability, availability, security, affordability, etc. [9][10][11].…”

Section: Qos Concepts For Application Context-awarementioning

confidence: 99%

“…Therefore, a Service Level Agreement (SLA), is a set of SLOs to be compliant, negotiated between the service provider contextual application provider and the customer. In [9][10][11], an SLA is composed of several Service Level Objectives (SLOs).…”

Section: Qos Concepts For Application Context-awarementioning

confidence: 99%

“…The SLA is a commitment. According to many research works, the following challenges [9][10][11] impact the QoS: (1) How can we specify SLA in general for different contexts of dynamic software adaptation? (2) How can we describe the terms of the service level agreement between a contextual application provider and a customer?…”

Section: Contributionsmentioning

confidence: 99%

“…In the absence of such agreements, critical decisions such as dynamic adaptation of the application with the change of the user interface could be based on unreliable information and would no longer meet the needs of users. " These solutions include the implementation of contracts [9] or SLA for QoC. In [2,3], S. Machara focus on the adaptation problem.…”

Section: Problem Descriptionmentioning

confidence: 99%

See 3 more Smart Citations

Architectural QoS pattern to guarantee the expected quality of services at runtime for context-aware adaptation application

Kouamé

Mcheick

2019

SN Appl. Sci.

View full text Add to dashboard Cite

Since the year 2000, the use of mobile applications in general and, more specifically, context-aware applications, becomes very popular in the contemporary and even future services. Indeed, in the field of online sales, we have Amazon application; in the banking field we have e-banking applications; in the field of health we have intelligent medical applications, HealthCare application; in the field of public services, we have e-government applications. The fundamental characteristic of these applications is their ability to adapt or to react according to the information of the context. Quality of Services (QoS) and violation of Service Level Agreement (SLA) during adaptation activity are still a challenge that many researches try to address. Before addressing these problems of violation of SLA, it is important to present a concrete research work on implementing adaptation methods to better understand the adaptation activity concept. This concrete work can help companies to address adaptation issues, and better understand integration of OSGi adaptation technics on android system. In addition, the definition of an SLA between application providers and consumers to improve the QoS for application context-aware, is not obvious. This paper proposes a mechanism for addressing these issues, using existing adaptation works for the android platform, an architecture QoS pattern to preserve the quality service levels of the context-aware applications, design pattern observer and aspect oriented programming to realize service adjustment. This QoS pattern can help to guarantee the expected quality of services at runtime for contextual applications. More details of Design QoS Pattern for context-aware application will be given in the future work.

show abstract

“…The QoS is a non-functional requirement measure of the overall performance of a service such as reliability, availability, security, affordability, etc. [9][10][11].…”

Section: Qos Concepts For Application Context-awarementioning

confidence: 99%

Section: Qos Concepts For Application Context-awarementioning

confidence: 99%

Section: Contributionsmentioning

confidence: 99%

Section: Problem Descriptionmentioning

confidence: 99%

See 2 more Smart Citations

Architectural QoS pattern to guarantee the expected quality of services at runtime for context-aware adaptation application

Kouamé

Mcheick

2019

SN Appl. Sci.

View full text Add to dashboard Cite

show abstract

“…The total number of defined services is obtained through the PASCANI analyzer. Both functionalities, the update of test module attributes and the count of the total number of defined services in the set of imported components, are supported trough an extension of the FRASCATI SCA middleware and its introspection capabilities developed by Tamura et al [14].…”

Section: Definition 3: Given a Set Of Test Modules T Smentioning

confidence: 99%

A Framework for Automated and Composable Testing of Component-Based Services

Jiménez

Gomez

Villegas

et al. 2014

2014 IEEE 8th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems

Self Cite

View full text Add to dashboard Cite

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

Litoiu

Shaw

Tamura

et al. 2017

Software Engineering for Self-Adaptive Systems III. Assurances

Self Cite

View full text Add to dashboard Cite

Self-adaptive software (SAS) systems monitor their own behavior and autonomously make dynamic adjustments to maintain desired properties in response to changes in the systems' operational contexts.Control theory provides veriable feedback models to realize this kind of autonomous control for a broad class of systems for which precise quantitative models can be dened. Recent MAPE-K models, and variants such as the hierarchical ACRA and similar others, address a broader range of tasks, but they do not provide the inherent assurances that control theory does, as they do not explicitly identify the properties that reliable controllers should have. These properties, in general, result not from the abstract models, but from the specics of control strategies, which precisely these models fail to analyze. We show that, even for systems too complex for direct application of classical control theory, the abstractions of control theory provide design guidance that identies important control characteristics and raises critical design issues about the details of the strategy that determine the controllability of the resulting systems. This in turn enables careful reasoning about whether the control characteristics are in fact achieved. In this chapter we examine the control theory approach, explain several control strategies illustrated with examples from both domains, classical control theory and SAS, and show how the issues addressed by these strategies can and should be seriously considered in the design of self-adaptive software systems. From this examination we distill challenges for developing principles that may serve as the basis of a control theory for self-adaptive software systems.

show abstract

QoS contract preservation through dynamic reconfiguration: A formal semantics approach

Cited by 10 publications

References 44 publications

Architectural QoS pattern to guarantee the expected quality of services at runtime for context-aware adaptation application

Architectural QoS pattern to guarantee the expected quality of services at runtime for context-aware adaptation application

A Framework for Automated and Composable Testing of Component-Based Services

What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?

Contact Info

Product

Resources

About