Staged configuration through specialization and multilevel configuration of feature models

Czarnecki, Krzysztof; Helsen, Simon; Eisenecker, Ulrich W.

doi:10.1002/spip.225

Cited by 341 publications

(240 citation statements)

References 20 publications

Supporting

Mentioning

219

Contrasting

Unclassified

Order By: Relevance

“…It receives the method requirements and produces the corresponding feature configuration. The stage configuration process [11] starts from the feature model and carries out successive specializations to create the final configuration. That is, the staged configuration process would limit the space of the method family to the space most relevant for the current method that is being built.…”

Section: Application Methods Requirements Analysismentioning

confidence: 99%

See 1 more Smart Citation

Developing Families of Method-Oriented Architecture

Asadi

Mohabbati

Gašević

et al. 2011

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

Abstract. The method engineering paradigm is motivated by the need for software development methods suitable for specific situations and requirements of organizations in general and projects in particular. Assembly-based method engineering, as one of the prominent approaches in method engineering, creates project-specific methods by (re-)using method components, specified with method processes and products, and stored in method repositories. This paper tries to address the two challenges of assembly-based method engineering related to more effective: i) publication and sharing of method components; and ii) management of variability in software methods, which have many commonalties. In order to address these two challenges, we propose the concept of Families of Method-Oriented Architectures. This concept is built on top of the principles of service-oriented architectures and software product lines.

show abstract

Section: Application Methods Requirements Analysismentioning

confidence: 99%

“…Configuration is a process of selecting features needed for specific applications. Recently, the research community has proposed effective methods for staged configuration where each stage addresses a specific set of requirements in the application development process [11].…”

Section: Software Product Line Engineeringmentioning

confidence: 99%

Developing Families of Method-Oriented Architecture

Asadi

Mohabbati

Gašević

et al. 2011

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

show abstract

“…13 Now it is easy to see that for a given model M , its PPL P −i2c (M ) is a Boolean ppKS specified by the pair (BL −i2c (M ), BL ! (M )) with the first theory, Table 1), specifying partial products not necessary satisfying the i2c, and the second one specifying full products.…”

Section: Definition 12mentioning

confidence: 99%

“…Czarnecki et al introduced and developed the concept of (multi-level ) staged configuration in [11,13]: given an model M , its full products are instantiated via consecutive specializations (called stages) of M by either discarding an optional feature or making it mandatory for the stage at hand and all consecutive stages. This process is continued until a fully specialized model denoting only one configuration is reached.…”

Section: Related Work In Feature Modelingmentioning

confidence: 99%

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

Diskin¹,

Safilian²,

Maibaum³

et al. 2016

SACS

View full text Add to dashboard Cite

Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories. We discuss a major deficiency of this semantics, and show that it can be fixed by considering a product to be an instantiation process rather than its final result. We call intermediate states of this process partial products, and argue that what a feature model really defines is a poset of its partial products. We argue that such structures can be viewed as special Kripke structure that we call partial product Kripke structures, ppKS. To specify these Kripke structures, we propose a CTL-based logic, called partial product CTL, ppCTL. We show how to represent a feature model M by a ppCTL theory ML(M ) (ML stands for modal logic) such that any ppKS satisfying the theory is equal to the partial product line determined by M . Hence, ML(M ) can be considered a sound and complete representation of M . We also discuss several applications of the modal logic view in feature modeling, including refactoring of feature models.

show abstract

“…Applying separation of concerns principles and providing support for modularising and composing feature models can improve scalability. Yet a study of the literature about SPL engineering demonstrates that providing automated support for composing feature models still remains an open challenge [7,8,5,9,10]. In previous work [11], we designed a set of composition operators for feature models and defined semantic properties that must be preserved during composition.…”

Section: Introductionmentioning

confidence: 99%

Comparing Approaches to Implement Feature Model Composition

Acher

Collet

Lahire

et al. 2010

Modelling Foundations and Applications

View full text Add to dashboard Cite

Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, support for composing FMs describing different SPL aspects is needed. Some composition operators, with interesting property preservation capabilities, have already been defined but a comprehensive and efficient implementation is still to be proposed. In this paper, we systematically compare strengths and weaknesses of different implementation approaches. The study provides some evidence that using generic model composition frameworks are not helping much in the realization, whereas a specific solution is finally necessary and clearly stands out by its qualities.

show abstract

Staged configuration through specialization and multilevel configuration of feature models

Cited by 341 publications

References 20 publications

Developing Families of Method-Oriented Architecture

Developing Families of Method-Oriented Architecture

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

Comparing Approaches to Implement Feature Model Composition

Contact Info

Product

Resources

About