A core calculus for dynamic delta-oriented programming

Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph

doi:10.1007/s00236-017-0293-6

Cited by 9 publications

(7 citation statements)

References 57 publications

(61 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In future work we would like to exploit the notions of SPLS and slice for adding support for MPLs and support for deductive verification proof reuse [20,8,27] to the ABS toolchain (https://abs-models.org/) and to the DeltaJava toochain (http://deltajava.org/). We also plan the exploit the notion of SPLS to increase modularity in mechanisms that extend delta-oriented programming to support dynamic SPLs [23] (see also [21,22]) and interoperability between variants of the same SPL [12].…”

Section: Discussionmentioning

confidence: 99%

On Slicing Software Product Line Signatures

Damiani

Lienhardt

Paolini

2020

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Self Cite

View full text Add to dashboard Cite

A Software Product Line (SPL) is a family of similar programs (called variants) generated from a common artifact base. Variability in an SPL can be documented in terms of abstract description of functionalities (called features): a feature model (FM) identifies each variant by a set of features (called a product). Delta-orientation is a flexible approach to implement SPLs. An SPL Signature (SPLS) is a variability-aware Application Programming Interface (API), i.e., an SPL where each variant is the API of a program. In this paper we introduce and formalize, by abstracting from SPL implementation approaches, the notion of slice of an SPLS K for a set of features F (i.e., an SPLS obtained from by K by hiding the features that are not in F). Moreover, we formulate the challenge of defining an efficient algorithm that, given a delta-oriented SPLS K and a set of features F, returns a delta-oriented SPLS that is an slice of K for F. Thus paving the way for further research on devising such an algorithm. The proposed notions are formalized for SPLs of programs written in an imperative version of Featherweight Java.

show abstract

Section: Discussionmentioning

confidence: 99%

On Slicing Software Product Line Signatures

Damiani

Lienhardt

Paolini

2020

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

Self Cite

View full text Add to dashboard Cite

show abstract

“…A dynamic delta-oriented SPL is a delta-oriented SPL with a dynamic reconfiguration graph that specifies how to switch between different feature configurations. Dynamic DOP has been formalized by means of a core calculus that extends IF∆J [18] and we are planning to implement dynamic DOP for ABS. In future work it would be interesting to evaluate whether considering SPLs that are in removeor replace-free form could improve the efficiency of dynamic reconfiguration.…”

Section: Discussionmentioning

confidence: 99%

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

Damiani

Lienhardt

Paolini

2019

Int J Softw Tools Technol Transfer

Self Cite

View full text Add to dashboard Cite

Delta-Oriented Programming (DOP) is a flexible transformational approach to implement Software Product Lines (SPLs). In delta-oriented SPLs, variants are generated by applying operations contained in delta modules to a base program. These operations can add, remove or modify named elements in a program (e.g., classes, methods and fields in a Java program). This paper presents two notions of normal form for delta-oriented SPLs. Both normal forms do not contain the remove operation. Additionally, the second normal form enforces a limitation on the use of the method-modify operation. For each of the proposed normal forms an algorithm for refactoring a delta-oriented SPL into one that satisfies that normal form is described. The algorithms are formalized for a core calculus for delta-oriented SPLs of Java programs.

show abstract

“…Damiani et al [9] present a core calculus that extends DOP with the capability to switch the implemented product configuration at runtime. A dynamic delta-oriented SPL has a dynamic reconfiguration graph that specifies how to switch between different feature configurations.…”

Section: Related Workmentioning

confidence: 99%

From feature models to feature toggles in practice

Jézéquel¹,

Kienzle

Acher³

2022

Proceedings of the 26th ACM International Systems and Software Product Line Conference - Volume A

View full text Add to dashboard Cite

Feature Toggles (often also referred to as Feature Flags) are a powerful technique, providing an alternative to maintaining multiple feature branches in source code. A condition within the code enables or disables a feature at runtime, hence providing a kind of runtime variability resolution. Several works have already identified the proximity of this concept with the notion of Feature found in Software Product Lines. In this paper, we propose to go one step further in unifying these concepts to provide a seamless transition between design time and runtime variability resolutions. We propose to model all the variability using a feature model. Then this feature model can be partially resolved at design time (yielding an incomplete product derivation), the unresolved variability being used to generate feature toggles that can be enabled/disabled at runtime. We first demonstrate these ideas on the toy example of the Expression Product Line, and then show how it can scale to build a configurable authentication system, where a partially resolved feature model can interface with popular feature toggle frameworks such as Togglz. CCS CONCEPTS• Software and its engineering → Software product lines.

show abstract

A core calculus for dynamic delta-oriented programming

Cited by 9 publications

References 57 publications

On Slicing Software Product Line Signatures

On Slicing Software Product Line Signatures

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form

From feature models to feature toggles in practice

Contact Info

Product

Resources

About