Feature-model interfaces

Schröter, Reimar; Thüm, Thomas; Benduhn, Fabian; Saake, Gunter

doi:10.1145/2884781.2884823

Cited by 44 publications

(32 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The following theorem shows that the construction of the feature model of a DPL can be expressed as a sequence of • operations. This, plus the fact that an SPLS Z is an interface of a DPL L only when M Z M L ensures that the results presented in [24,Sect. 5] can be used as-is to analyse the feature models constructed in DPL-DPL compositions by analysing each feature model independently.…”

Section: Compositionality Of Existing Spl Analysesmentioning

confidence: 86%

“…In this section, we give two initial results illustrating the fact that our MPL model is well-suited for compositional analysis. First, we show that the results about the compositionality of existing analyses of feature models (void feature model, core features, dead features, void partial configuration, and atomic sets) given in [24,Sect. 5] can be used as-is in our model.…”

Section: Compositionality Of Existing Spl Analysesmentioning

confidence: 94%

“…Recently, Schröter et al [24] considered a notion of feature model composition through aggregation (i.e., by inclusion of one feature model into another feature model [20]) and proposed to use it in combination with a notion of feature model interface in order to support compositional analyses of feature models.…”

Section: Feature Model Composition and Feature Model Interfacesmentioning

confidence: 99%

“…In particular, syntactical interfaces, which build on feature model interfaces to provide a view of reusable programming artifacts, and behavioral interfaces, which in turn build on syntactical interfaces to support formal verification. More recently, Schröter et al [24] proposed a concept of feature model interface that consists of a subset of features (thus it hides all other features and dependencies) and used it in combination with a concept of feature model composition through aggregation to support compositional analyses of feature models-see Section 2.2. In this paper we build on [24] and propose the concepts of SPLS, DPL, and DPL-DPLs composition and show how to use them to support compositional type checking of delta-oriented MPL.…”

Section: Related Work and Conclusionmentioning

confidence: 99%

“…Our model is constructed around the concepts of SPL signature, Dependent SPL and SPL composition. It builds on recent work done by Schröter et al [24] on compositional analysis of feature models, and on the delta-oriented programming core calculus IF∆J by Bettini et al [5], which is extended here to enable the construction of MPLs. The main achievement of our model is the ability to modularly compose and analyze SPLs by means of Dependent SPLs, which are SPLs with explicit dependencies, modeled by SPL signatures, that can be filled by SPLs (or Dependent SPLs) satisfying the given signatures.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

A Formal Model for Multi SPLs

Damiani¹,

Lienhardt²,

Paolini³

2017

Fundamentals of Software Engineering

View full text Add to dashboard Cite

A Software Product Line (SPL) is a family of similar programs generated from a common artifact base. A Multi SPL (MPL) is a set of interdependent SPLs that are typically managed and developed in a decentralized fashion. Delta-Oriented Programming (DOP) is a flexible and modular approach to implement SPLs. This paper presents new concepts that extend DOP to support the implementation of MPLs. These extensions aim to accommodate compositional analyses. They are presented by means of a core calculus for delta-oriented MPLs of Java programs. Suitability for MPL compositional analyses is demonstrated by compositional reuse of existing SPL analysis techniques. This work has been partially supported by: EU Horizon 2020 project Hy-Var (www.hyvar-project.eu), GA No. 644298; ICT COST Action IC1402 ARVI (www.cost-arvi.eu); and Ateneo/CSP D16D15000360005 project RunVar (runvar-project.di.unito.it).

show abstract

Section: Compositionality Of Existing Spl Analysesmentioning

confidence: 86%

Section: Compositionality Of Existing Spl Analysesmentioning

confidence: 94%

Section: Feature Model Composition and Feature Model Interfacesmentioning

confidence: 99%

Section: Related Work and Conclusionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

A Formal Model for Multi SPLs

Damiani¹,

Lienhardt²,

Paolini³

2017

Fundamentals of Software Engineering

View full text Add to dashboard Cite

show abstract

Designing Process-Centric Blockchain-Based Architectures: A Case Study in e-voting as a Service

Bellini¹,

Ceravolo²,

Bellini³

et al. 2020

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

This article aims at introducing a new process-centric, trusted, configurable and multipurpose electronic voting service based on the blockchain infrastructure. The objective is to design an e-voting service using blockchain able to automatically translate service configuration defined by the end-user into a cloud-based deployable bundle, automating business logic definition, blockchain configuration, and cloud service provider selection. The architecture includes process mining by design in order to optimize process performance and configuration. The article depicts all the components of the architecture and discusses the impact of the proposed solution.

show abstract

On Slicing Software Product Line Signatures

Damiani

Lienhardt

Paolini

2020

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

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

Feature-model interfaces

Cited by 44 publications

References 39 publications

A Formal Model for Multi SPLs

A Formal Model for Multi SPLs

Designing Process-Centric Blockchain-Based Architectures: A Case Study in e-voting as a Service

On Slicing Software Product Line Signatures

Contact Info

Product

Resources

About