Modelling and multi-objective optimization of quality attributes in variability-rich software

Olaechea, Rafael; Stewart, S L; Czarnecki, Krzysztof; Rayside, Derek

doi:10.1145/2420942.2420944

Cited by 52 publications

(57 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…DSL specification given in Clafer are validated using the Clafer Tools [4] that supports various tasks for domain engineering, like consistency checking and instance model generation based on backend reasoners like Alloy or Choco [1,37]. The provided solution for model completion (ClaferIG -Instance Generator) for structural requirements and another solution for model optimization (ClaferMOO -Multi-Objective Optimizer) [42] for attributed models to find a set of Paretooptimal model instances based on given a set of optimization objectives.…”

Section: Related Workmentioning

confidence: 99%

Formal validation of domain-specific languages with derived features and well-formedness constraints

et al. 2015

View full text Add to dashboard Cite

Despite the wide range of existing tool support, constructing a design environment for a complex domain-specific language (DSL) is still a tedious task as the large number of derived features and well-formedness constraints complementing the domain metamodel necessitate special handling. Such derived features and constraints are frequently defined by declarative techniques (such graph patterns or OCL invariants).However, for complex domains, derived features and constraints can easily be formalized incorrectly resulting in inconsistent, incomplete or ambiguous DSL specifications. To detect such issues, we propose an automated mapping of EMF metamodels enriched with derived features and well-formedness constraints captured as graph queries in EMF-IncQuery or (a subset of) OCL invariants into an effectively propositional fragment of first-order logic which can be efficiently analyzed by back-end reasoners.On the conceptual level, the main added value of our encoding is (1) to transform graph patterns of the EMF-IncQuery framework into FOL and (2) to introduce approximations for complex language features (e.g. transitive closure or multiplicities) which are not expressible in FOL. On the practical level, we identify and address relevant challenges and scenarios for systematically validating DSL specifications. Our approach is supported by a tool and it will be illustrated on analyzing a DSL in the avionics domain. We also present initial performance experiments for the validation using Z3 and Alloy as back-end reasoners.

show abstract

Section: Related Workmentioning

confidence: 99%

Formal validation of domain-specific languages with derived features and well-formedness constraints

et al. 2015

View full text Add to dashboard Cite

show abstract

“…Moreover, there are circumstances where more than one mapping can be acceptable. For example, when coping with feature models having attributes, some developers may want to configure their value [29] while others will assign a concrete value in the model representation [35].…”

Section: The Invar Approachmentioning

confidence: 99%

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches

Galindo

Dhungana

Rabiser

et al. 2015

Information and Software Technology

View full text Add to dashboard Cite

Context: In industrial settings products are developed by more than one organization. Software vendors and suppliers commonly typically maintain their own product lines, which contribute to a larger (multi) product line or software ecosystem. It is unrealistic to assume that the participating organizations will agree on using a specific variability modeling technique-they will rather use different approaches and tools to manage the variability of their systems. Objective: We aim to support product configuration in software ecosystems based on several variability models with different semantics that have been created using different notations. Method: We present an integrative approach that provides a unified perspective to users configuring products in multi product line environments, regardless of the different modeling methods and tools used internally. We also present a technical infrastructure and a prototype implementation based on web services. Results: We show the feasibility of the approach and its implementation by using it with the three most widespread types of variability modeling approaches in the product line community, i.e., feature-based, OVM-style, and decision-oriented modeling. To demonstrate the feasibility and flexibility of our approach, we present an example derived from industrial experience in enterprise resource planning. We further applied the approach to support the configuration of privacy settings in the Android ecosystem based on multiple variability models. We also evaluated the performance of different model enactment strategies used in our approach. Conclusions: Tools and techniques allowing stakeholders to handle variability in a uniform manner can considerably foster the initiation and growth of software ecosystems from the perspective of software reuse and configuration.

show abstract

“…Throughout the paper, we refer to such variants as Pareto-optimal, or just optimal variants. In this phase, one can use a multi-objective optimizer such as ClaferMoo [11]. ClaferMoo takes a model with quality attributes and objectives as an input, performs a multiobjective optimization, and generates the set of optimal variants: in our example, 16 variants.…”

Section: Introductionmentioning

confidence: 99%

Visualization and exploration of optimal variants in product line engineering

Murashkin

Antkiewicz

Rayside

et al. 2013

Proceedings of the 17th International Software Product Line Conference

Self Cite

View full text Add to dashboard Cite

The decision-making process in Product Line Engineering (PLE) is often concerned with variant qualities such as cost, battery life, or security. Pareto-optimal variants, with respect to a set of objectives such as minimizing a variant's cost while maximizing battery life and security, are variants in which no single quality can be improved without sacrificing other qualities. We propose a novel method and a tool for visualization and exploration of a multi-dimensional space of optimal variants (i.e., a Pareto front). The visualization method is an integrated, interactive, and synchronized set of complementary views onto a Pareto front specifically designed to support PLE scenarios, including: understanding differences among variants and their positioning with respect to quality dimensions; solving trade-offs; selecting the most desirable variants; and understanding the impact of changes during product line evolution on a variant's qualities. We present an initial experimental evaluation showing that the visualization method is a good basis for supporting these PLE scenarios.

show abstract

Modelling and multi-objective optimization of quality attributes in variability-rich software

Cited by 52 publications

References 13 publications

Formal validation of domain-specific languages with derived features and well-formedness constraints

Formal validation of domain-specific languages with derived features and well-formedness constraints

Supporting distributed product configuration by integrating heterogeneous variability modeling approaches

Visualization and exploration of optimal variants in product line engineering

Contact Info

Product

Resources

About