Dynamic delta-oriented programming

Damiani, Ferruccio; Schaefer, Ina

doi:10.1145/2019136.2019175

Cited by 30 publications

(20 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In future work we plan to formalize a suitable notion of well-formed FineFit specification and to develop static analysis techniques for checking whether the product generation mapping of a DeltaFineFit specification is total and all its products are well-formed FineFit specifications. Moreover, we would like to extend the DeltaFineFit approach to deal with dynamic DOP [13,12].…”

Section: Discussionmentioning

confidence: 99%

A novel model-based testing approach for software product lines

et al. 2016

Self Cite

View full text Add to dashboard Cite

A novel model-based testing approach for software product lines / Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel. -In: SOFTWARE AND SYSTEMS MODELING. -ISSN 1619-ISSN -1366-ISSN . -14:4(2017, pp. 1223-1251. Original Citation:A novel model-based testing approach for software product lines Abstract Model-based testing relies on a model of the system under test. FineFit is a framework for model-based testing of Java programs. In the FineFit approach, the model is expressed by a set of tables based on Parnas tables. A software product line is a family of programs (the products) with well-defined commonalities and variabilities that are developed by (re)using common artifacts. In this paper we address the issue of using the FineFit approach to support the development of correct software product lines. We specify a software product line as a specification product line where each product is a FineFit specification of the corresponding software product. The main challenge is to concisely specify the software product line while retaining the readability of the specification of a single system. To address this we used delta-oriented programming, a recently proposed flexible approach for implementing software product lines, and developed: (i) delta-tables as a means to apply the delta-oriented programming idea to the specification of software product lines; and (ii) DeltaFineFit as a novel model-based testing approach for software product lines.

show abstract

Section: Discussionmentioning

confidence: 99%

A novel model-based testing approach for software product lines

et al. 2016

Self Cite

View full text Add to dashboard Cite

show abstract

“…As within feature modules, choices between feature combinations can be probabilistically (e.g., on the basis of statistical information on feature combinations and their adaptations over time) or nondeterministically (e.g., if feature changes rely on internal choices of the controller or are triggered from outside by an unknown or unpredictable environment) and combinations thereof. To the best of our knowledge, this concept is novel in the probabilistic setting and has also been only merely considered in the nonprobabilistic case [16].…”

Section: Verification Of Splsmentioning

confidence: 99%

“…We start with purely nondeterministic controllers switching feature combinations similar to [16] (Definition 3.4). Then, we extend such simple controllers by assigning probabilities to the feature switch events (Definition 3.5).…”

Section: Feature Controllermentioning

confidence: 99%

Probabilistic model checking for energy analysis in software product lines

Dubslaff

Klüppelholz

Baier

2014

Proceedings of the 13th International Conference on Modularity

View full text Add to dashboard Cite

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment.The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automatabased coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.

show abstract

“…We include a language feature that allows the developer to explicitly define how to transform the state of the program upon dynamic feature reconfiguration. DOP has been also applied recently to dynamic SPL [10,9,17] in the sequential setting of the DeltaJ language. In DeltaJ the reconfiguration space is formalised by an automaton and a reconfigure instruction specifies safe reconfiguration points in the program.…”

Section: Dynamic Software Product Linesmentioning

confidence: 99%

“…DOP handles changes to the set of selected features by triggering the application of deltas; this results in a program transformation, as deltas can add, modify and also remove code. The lower level support required for such dynamic transformations is available [18,21,30] and some of this has crept into features relevant for SPL engineering [10]. However, we do not know of any tool and language support for DOP-based DSPL.…”

Section: Introductionmentioning

confidence: 99%

Executable modelling of dynamic software product lines in the ABS language

Muschevici

Clarke

Proença

2013

Proceedings of the 5th International Workshop on Feature-Oriented Software Development

View full text Add to dashboard Cite

Dynamic software product lines (DSPLs) combine the advantages of traditional SPLs, such as an explicit variability model connected to an integrated repository of reusable code artefacts, with the ability to exploit a system's variability at runtime. When a system needs to adapt, for example to changes in operational environment or functional requirements, DSPL systems are capable of adapting their behaviour dynamically, thus avoiding the need to halt, recompile and redeploy. The field of DSPL engineering is still in formation and general-purpose DSPL development languages and tools are rare. In this paper we introduce a language and execution environment for developing and running dynamic SPLs. Our work builds on ABS, a language and integrated development environment with dedicated support for implementing static software product lines. Our ABS extension advances the scope of ABS to dynamic SPL engineering. Systems developed using ABS are compiled to Java, and are thus executable on a wide range of platforms.

show abstract

Dynamic delta-oriented programming

Cited by 30 publications

References 28 publications

A novel model-based testing approach for software product lines

A novel model-based testing approach for software product lines

Probabilistic model checking for energy analysis in software product lines

Executable modelling of dynamic software product lines in the ABS language

Contact Info

Product

Resources

About