Compositional Feature-Oriented Systems
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
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.
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings |
| Redakteure/-innen | Peter Csaba Ölveczky, Gwen Salaün |
| Herausgeber (Verlag) | Springer-Verlag |
| Seiten | 162-180 |
| Seitenumfang | 19 |
| ISBN (Print) | 9783030304454 |
| Publikationsstatus | Veröffentlicht - 2019 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Band | 11724 LNCS |
| ISSN | 0302-9743 |
Konferenz
| Titel | International Conference on Software Engineering and Formal Methods 2019 |
|---|---|
| Kurztitel | SEFM 2019 |
| Veranstaltungsnummer | 17 |
| Dauer | 18 - 20 September 2019 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Oslo Science Park |
| Stadt | Oslo |
| Land | Norwegen |
Externe IDs
| Scopus | 85072867441 |
|---|