Model-Driven Assessment of QoS-Aware Self-Adaptation

Author(s):  
Vincenzo Grassi ◽  
Raffaela Mirandola ◽  
Enrico Randazzo
Keyword(s):  
Author(s):  
Esma Maatougui ◽  
Chafia Bouanaka ◽  
Nadia Zeghib

Today's software systems tend to be flexible and dynamic by provisioning mechanisms to react quickly to the environment changes and to adapt system configuration accordingly, in order to maintain the required quality of service (QoS). The engineering of system self-adaptation requires new modeling methods and development methodologies that employ the principles of model-driven development in building self-adaptive systems (SASs). To tackle this issue, the present work proposes SQAL (self-adaptive system quality assurance language) a domain specific language for quality-aware SASs. This language allows describing SASs architectural elements and the corresponding interrelations in terms of hierarchical compositions. It also provides concepts for defining SASs behavioral aspects by identifying adaptation actions and mainly weighting them with QoS parameters. SQAL is defined in terms of its abstract and concrete syntaxes. This article associates a PSMaude-based semantics to SQAL in order to quantitatively analyze quality-aware SASs behaviors.


An adaptive system is any system that can self-conform according to changes that occur inhis environment. Self-adaptation includes self-reconfiguration, self-restructuring, self-repair, self-optimization or allat the same time. The realization of this kind of systems, in spite of the efforts made, suffers from a deficiency of engineering approaches. One of the most promising techniques in this quest is model-driven engineering. In the model-driven engineering paradigm, the model is the backbone of the systems engineering process. In this paper, we outline a model-based approach that offers a way to explicitly design self-adapting standard systems. We define it based on the UML profiling technique which allows to specify models for the most application domain frameworks. Through this profile we clearly define the components involved in the management of adaptation of systems, as well as the relationships between them. We present, for practical validation, an example application based on the approach.


Author(s):  
Meryem El Allaoui ◽  
Khalid Nafil ◽  
Raja Touahni

2009 ◽  
Vol 38 (38) ◽  
pp. 119-130
Author(s):  
Erika Asnina

Use of Business Models within Model Driven Architecture Model Driven Architecture is a framework dedicated for development of large and complex computer systems. It states and implements the principle of architectural separation of concerns. This means that a system can be modeled from three different but related to each other viewpoints. The viewpoint discussed in this paper is a Computation Independent one. MDA specification states that a model that shows a system from this viewpoint is a business model. Taking into account transformations foreseen by MDA, it should be useful for automation of software development processes. This paper discusses an essence of the Computation Independent Model (CIM) and the place of business models in the computation independent modeling. This paper considers four types of business models, namely, SBVR, BPMN, use cases and Topological Functioning Model (TFM). Business persons use SBVR to define business vocabularies and business rules of the existing and planned domains, BPMN to define business processes of both existing and planned domains, and use cases to define business requirements to the planned domain. The TFM is used to define functionality of both existing and planned domains. This paper discusses their capabilities to be used as complete CIMs with formally defined conformity between planned and existing domains.


Author(s):  
M. Yue ◽  
Y. C. Wang ◽  
D. T. Zhang
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document