Usage Scenarios for Feature Model Synthesis. . . Steven She, - PowerPoint PPT Presentation

Usage Scenarios for Feature Model Synthesis. . . Steven She, Krzysztof Czarnecki, Andrzej Wasowski University of Waterloo IT University of Copenhagen . . September 30, 2012.

Why Synthesize a Feature Model? compiled into the kernel. . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . #endif #endif #error KDB must be enabled for DDB to work! #ifndef KDB #ifdef DDB . also be compiled in automatically if DDB(4) is Variability is o�en scattered over multiple artifacts in large so�ware STACK enables the stack(9) facility … stack(9) will . ddb.c . . . . . NOTES . . projects. 2 / 36

Why Synthesize a Feature Model? (cont.) . . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . so�ware system. . eCos Configurator . . Linux Configurator . 3 / 36 • A feature model provides an overview of variability in the • Automated tool support and product configuration.

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Models. . . ARM . . OMAP . Snapdragon . . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 4G Feature models describe the common and variable product . characteristics of products in a product line. . . Phone . . Processor . . . NFC . . Camera . 4 / 36

Feature Model Synthesis. . . . Processor . NFC . 4G . . ARM Phone . . Snapdragon . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . . . Configs or . Feature Model Synthesis . Feature Model . Features . Dependencies . 5 / 36 { Phone , Processor , ARM , Snapdragon , NFC } ( 4G ∧ NFC → Phone ) ∧ ( Processor ↔ Phone ) ∧ ( ARM ∧ Snapdragon → Processor ) ∧ ( 4G → Snapdragon ) ∧ ( ARM → ¬ Snapdragon )

Feature Model Synthesis. . . . Processor . NFC . 4G . . ARM Phone . . Snapdragon . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . . . Configs or . Feature Model Synthesis . Feature Model . Features . Dependencies . 5 / 36 { Phone , Processor , ARM , Snapdragon , NFC } ( 4G ∧ NFC → Phone ) ∧ ( Processor ↔ Phone ) ∧ ( ARM ∧ Snapdragon → Processor ) ∧ ( 4G → Snapdragon ) ∧ ( ARM → ¬ Snapdragon )

Feature Model Synthesis. . Phone . . . Processor . NFC . 4G . . . ARM . . Snapdragon . implies . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . . 5 / 36 . with Variability . Feature Model Synthesis . Feature Model . Analysis . Artifacts . Features . Configs or Dependencies { Phone , Processor , ARM , Snapdragon , NFC } ( 4G ∧ NFC → Phone ) ∧ ( Processor ↔ Phone ) ∧ ( ARM ∧ Snapdragon → Processor ) ∧ ( 4G → Snapdragon ) ∧ ( ARM → ¬ Snapdragon )

Artifacts with Variability. …and more. . program 1 program 2 program 3 . Clone-and-Own Code Many different kinds of input artifacts, . each requiring specialized analysis. . . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . Build System Makefile . Source Code README . Documentation . ddb.c . . . FM . Feature Model . DOORS . Requirements 6 / 36

Artifacts with Variability. …and more. . program 1 program 2 program 3 . Clone-and-Own Code Many different kinds of input artifacts, . each requiring specialized analysis. . . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . Build System Makefile . Source Code README . Documentation . ddb.c . . . FM . Feature Model . DOORS . Requirements 6 / 36

Workflow for Feature Model Synthesis. . . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . synthesis from the input artifacts. Heuristics User Input, . User Input . Information Supplemental . Configurations Dependencies or Analysis . Feature Model Synthesis . Artifacts with Variability . Feature Model . Features . 7 / 36 • Analysis recovers the abstract input needed for feature model • Feature model synthesis builds a FM given the abstract input.

Challenges of Feature Model Synthesis. A . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . configurations (or dependencies). Both! Different feature models can describe the same set of (b) . C . B . . 8 / 36 (a) constraints: . . A . B . C . implies . Which feature model describes features { A , B , C } , and the following B → A C → A C → B

Challenges of Feature Model Synthesis. A . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . configurations (or dependencies). Both! Different feature models can describe the same set of (b) . C . B . . 8 / 36 (a) constraints: . . A . B . C . implies . Which feature model describes features { A , B , C } , and the following B → A C → A C → B

Workflow for Feature Model Synthesis. . . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . used to select a distinct feature model. Heuristics User Input, . User Input . Information Supplemental Configurations . Artifacts . Analysis . Feature Model Synthesis . 9 / 36 Dependencies or with Variability . Feature Model . Features . • Supplemental information, user input or heuristics can be

Workflow for Feature Model Synthesis. Configurations . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . Heuristics User Input, . User Input . Information Supplemental . Dependencies or . . Features . Model Feature . with Variability Artifacts . Synthesis Feature Model . Analysis . 9 / 36

Outline. 1 Overview of Feature Model Synthesis 2 Scenario Criteria 3 Scenarios 4 Discussion and Conclusions . . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . 10 / 36

Outline. 1 Overview of Feature Model Synthesis 2 Scenario Criteria 3 Scenarios 4 Discussion and Conclusions . . S. She, K. Czarnecki, A. Wasowski. . Usage Scenarios forFeature Model Synthesis. . 11 / 36

Scenario Criteria. . . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . 4 Size . . 3 Required Synthesis Precision . . 2 Precision of Configuration Analysis . . 1 Input Artifacts . 12 / 36

Input Artifacts. models, code, etc. . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . models, code, etc. requirements, Variants VP configs. Feature configs. Instances requirements, Variability platform Configurable mapping VPs and feature-to-VP Feature model Artifacts Variable Realization Variability Interface Abstraction-Realization Abstraction 13 / 36

Precision of Configuration Analysis. Analysis . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . . . through analysis Configurations recovered . by the input artifacts Configurations represented . 14 / 36

Precision of Configuration Analysis. Sound and complete (exact) recovery. . Usage Scenarios forFeature Model Synthesis. . S. She, K. Czarnecki, A. Wasowski. . . Analysis . . through analysis Configurations recovered . by the input artifacts Configurations represented . 14 / 36