Compositional Feature-oriented Systems

Clemens DubslaffClemens Dubslaff

DOI Link

Clemens Dubslaff
Compositional Feature-oriented Systems
Proc. of 17th International Conference on Software Engineering and Formal Methods, volume 11724 of Lecture Notes in Computer Science, 162--180, 2019. Springer

Details
Bibtex

KurzfassungAbstract
Feature-oriented systems describe system variants through features as first-class abstractions of optional or incremental units of systems functionality. The choice how to treat modularity and composition in feature-oriented systems strongly influences their design and behavioral modeling. Popular paradigms for the composition of features are superimposition and parallel composition. We approach both in a unified formal way for programs in guarded command language by introducing compositional feature-oriented systems (CFOSs). We show how both compositions relate to each other by providing transformations that preserve the behaviors of system variants. Family models of feature-oriented systems encapsulate all behaviors of system variants in a single model, prominently used in family-based analysis approaches. We introduce family-ready CFOSs that admit a family model and show by an annotative approach that every CFOS can be transformed into a family-ready one that has the same modularity and behaviors.
Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-30446-1_9.

@inproceedings{D2019,
  author    = {Clemens Dubslaff},
  title     = {Compositional Feature-oriented Systems},
  booktitle = {Proc. of 17th International Conference on Software Engineering
               and Formal Methods},
  series    = {Lecture Notes in Computer Science},
  volume    = {11724},
  publisher = {Springer},
  year      = {2019},
  pages     = {162--180},
  doi       = {10.1007/978-3-030-30446-1_9}
}