A quality driven extension to the QVT-relations transformation language

Drago, Mauro Luigi; Ghezzi, Carlo; Mirandola, Raffaela

doi:10.1007/s00450-011-0202-0

Cited by 15 publications

(14 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Drago et al [7,8,9] proposed QVT-R 2 , an extension of QVT-Relational. In QVT-R 2 , transformation developers create nondeterministic transformations by providing multiple rules matching the same structure in the source model.…”

Section: Optimisation Of Transformationsmentioning

confidence: 99%

See 1 more Smart Citation

Towards Model-Based Optimisation: Using Domain Knowledge Explicitly

Zschaler

Mandow

2016

Software Technologies: Applications and Foundations

View full text Add to dashboard Cite

Abstract. Search-based software engineering (SBSE) treats softwaredesign problems as search and optimisation problems addressing them by applying automated search and optimisation algorithms. A key concern is the adequate capture and representation of the structure of design problems. Model-driven engineering (MDE) has a strong focus on domainspecific languages (DSLs) which are defined through meta-models, capturing the structure and constraints of a particular domain. There is, thus, a clear argument for combining both techniques to obtain the best of both worlds. Some authors have proposed a number of approaches in recent years, but these have mainly focused on the optimisation of transformations or on the identification of good generic encodings of models for search. In this paper, we first provide a structured overview of the current state of the art before identifying limitations of the key proposals (transformation optimisation and generic genetic encodings of models). We then present a first prototype for running search algorithms directly on models themselves (rather than a separate representation) and derive key research challenges for this approach to model optimisation.

show abstract

Section: Optimisation Of Transformationsmentioning

confidence: 99%

“…Model-driven engineering (MDE) offers good techniques for capturing complex domains including their structural constraints by using meta-models. As a result, there has recently been increased interest in combining the advantages of SBSE and MDE [6,7,8,9,10,11,12,13,14,15].…”

Section: Introductionmentioning

confidence: 99%

Towards Model-Based Optimisation: Using Domain Knowledge Explicitly

Zschaler

Mandow

2016

Software Technologies: Applications and Foundations

View full text Add to dashboard Cite

show abstract

“…Our approach is novel in having formalized ORM strategies previously informally described in some of these research efforts, thereby enabling automatic generation of OR mappings for each application object model. Drago et al [14] considered OR mapping strategies as a variation points in their work on feedback provisioning. They extended the QVT-relations language with annotations for describing design variation points, and provided a feedback-driven backtracking capability to enable engineers to explore the design space.…”

Section: Related Workmentioning

confidence: 99%

TradeMaker: automated dynamic analysis of synthesized tradespaces

Bagheri

Tang

Sullivan

2014

Proceedings of the 36th International Conference on Software Engineering

View full text Add to dashboard Cite

System designers today are focusing less on point solutions for complex systems and more on design spaces, often with a focus on understanding tradeoffs among non-functional properties across such spaces. This shift places a premium on the efficient comparative evaluation of non-functional properties of designs in such spaces. While static analysis of designs will sometimes suffice, often one must run designs dynamically, under comparable loads, to determine properties and tradeoffs. Yet variant designs often present variant interfaces, requiring that common loads be specialized to many interfaces. The main contributions of this paper are a mathematical framework, architecture, and tool for specification-driven synthesis of design spaces and common loads specialized to individual designs for dynamic tradeoff analysis of non-functional properties in large design spaces. To test our approach we used it to run an experiment to test the validity of static metrics for object-relational database mappings, requiring design space and load synthesis for, and dynamic analysis of, hundreds of database designs.

show abstract

“…In order to present how similar optimization problems have been approached in the literature, we use a classification partially derived by the one presented in [45], which is suited to describe a broad range of similar approaches. This taxonomy has the am- this approach is the Query, View, Transformation language defined by OMG that has been adopted and extended by many approaches such as [45] with the addition of feedback rules.…”

Section: Related Workmentioning

confidence: 99%

A mixed integer linear programming optimization approach for multi-cloud capacity allocation

Ciavotta

Ardagna

Gibilisco

2017

Journal of Systems and Software

View full text Add to dashboard Cite

The large success of the Cloud computing, its strong impact on the ICT world and on everyday life testifies the maturity and effectiveness this paradigm achieved in the last few years. Presently, the Cloud market offers a multitude of heterogeneous solutions; however, despite the undeniable advantages, Cloud computing introduced new issues and challenges. In particular, the heterogeneity of the available Cloud services and their pricing models makes the identification of a configuration that minimizes the operating costs of a Cloud application, guaranteeing at the same time the Quality of Service (QoS), a challenging task. This situation requires new processes and models to design software architectures (SAs) and predict costs and performance considering together the large variability in price models and the intrinsic dynamism and multi-tenancy of the Cloud environments. This work aims at providing a novel mathematical approach to this problem presenting a queueing theory based Mixed Integer Linear Program (MILP) to find a promising multi-cloud configuration for a given software architecture. The effectiveness of the proposed model has been favorably evaluated against first principle heuristics currently adopted by practitioners. Furthermore, the configuration returned by the model has been also used as initial solution for a local-search based optimization engine, which exploits more accurate but time-consuming performance models. This combined approach has been shown to improve the quality of the returned solutions by a 37% on average and reducing the overall search time by 50% with respect to state of the art heuristics based on tiers utilization thresholds.

show abstract

A quality driven extension to the QVT-relations transformation language

Cited by 15 publications

References 13 publications

Towards Model-Based Optimisation: Using Domain Knowledge Explicitly

Towards Model-Based Optimisation: Using Domain Knowledge Explicitly

TradeMaker: automated dynamic analysis of synthesized tradespaces

A mixed integer linear programming optimization approach for multi-cloud capacity allocation

Contact Info

Product

Resources

About