Decomposing Feature Models               Language, Environment, and Applications  Mathieu Acher1, Philippe Collet1 , Phili...
Feature Models                                        defacto standard for modeling variability                           ...
Feature Models          semantics: control legal combination of features (aka configurations)                              ...
Feature Models         support: automated reasoning (e.g., configurators) Benavides et al. 2010                  languages ...
Feature Models                           large, complex and multiple     Feature Model of Linux: more than 5000 features B...
Feature Models                           large, complex and multipleWe need support for Separation of Concerns and Automat...
Feature Models                                  We need support for Managing Feature Models        new capabilities arise ...
Decomposing Feature Models   Language, Environment, and Applications                                                      ...
See you!                                                         Slicing Feature Models                                   ...
Upcoming SlideShare
Loading in...5
×

ASE tool demonstration

472

Published on

Published in: Technology, Business
1 Comment
0 Likes
Statistics
Notes
  • blessing_11111@yahoo.com

    My name is Blessing
    i am a young lady with a kind and open heart,
    I enjoy my life,but life can't be complete if you don't have a person to share it
    with. blessing_11111@yahoo.com

    Hoping To Hear From You
    Yours Blessing
       Reply 
    Are you sure you want to  Yes  No
    Your message goes here
  • Be the first to like this

No Downloads
Views
Total Views
472
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
3
Comments
1
Likes
0
Embeds 0
No embeds

No notes for slide

ASE tool demonstration

  1. 1. Decomposing Feature Models Language, Environment, and Applications Mathieu Acher1, Philippe Collet1 , Philippe Lahire1 and Robert France21 University 2 Colorado State University, USA of Nice Sophia Antipolis, CNRS, France {acher,collet,lahire}@i3s.unice.fr Computer Science Department france@cs.colostate.edu Slicing Feature Models Semantics, Algorithm, Support, and Applications Mathieu Acher1, Philippe Collet1 , Philippe Lahire1 and Robert France2 1 University 2 Colorado State University, USA of Nice Sophia Antipolis, CNRS, France {acher,collet,lahire}@i3s.unice.fr Computer Science Department france@cs.colostate.edu ASE11 short paper Semantics Algorithm Hierarchy Set of Support for Semantics-aware configurations Constraints Technique Root Support Or Mandatory Slicing Xor Optional Technique Future Work Motivation Reasoning about two kinds of variability Reconciling Updating and Paper Feature Models Extracting Views Large and Multiple, Inter- Support Complex FMs related FMs Algorithm Propositional Demonstration Long Short Logics Support for Constraints Corrective Capabilities Semantics-aware Automation Language Syntactical Technique Environment Root Support Technique Case Study BDD SAT Standalone Eclipse Editors Semantics Video Surveillance Processing Chains Medical Imaging Reverse Engineering Graphical Textual Workflows Software Architecture Editor Editor Hierarchy Set of configurations (Algorithm <-> Semantics) ^ (Algorithm <-> CorrectiveCapabilities) ^ (Algorithm <-> RootSupport) ^ (CorrectiveCapabilities -> SupportForConstraints) ^ (CorrectiveCapabilities -> SemanticsAware) ^ (SetOfConfigurations <-> SemanticsAware) ^ (SemanticsAware -> Automation) ^ (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) ^ Language ASE11 demonstration Applications Support Technique Case Study Language Reasoning Automation Environment about two kinds Reconciling Updating of variability Video Feature and Surveillance Models Extracting Processing Views Textual Chains Medical Standalone Eclipse Reverse Engineering BDD SAT Editor Imaging Software Architecture Workflows
  2. 2. Feature Models defacto standard for modeling variability more than 1000 citations of Kang et al. 1990 per year Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  3. 3. Feature Models semantics: control legal combination of features (aka configurations) Batory et al. 2005, Czarnecki et al. 2007, Schobbens et al. 2007 Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  4. 4. Feature Models support: automated reasoning (e.g., configurators) Benavides et al. 2010 languages and tools e.g., FeatureIDE, SPLOT, TVL and FAMILIAR Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  5. 5. Feature Models large, complex and multiple Feature Model of Linux: more than 5000 features Berger et al. ASE’10, She et al. ICSE’11Feature models are governed by many complex constraints Hubaux et al. 2010, Benavides et al. 2010 Feature models are multiple (e.g., systems-of-systems, suppliers) Acher et al. 2011 (PhD thesis) Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  6. 6. Feature Models large, complex and multipleWe need support for Separation of Concerns and Automated Reasoning (1) ability to compose feature models (inserting, merging, aggregating) Acher et al. 2009 (II) ability to decompose feature models Acher et al. ASE’11 (III) ability to reason about the composition and decomposition Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  7. 7. Feature Models We need support for Managing Feature Models new capabilities arise when you combine decomposition mechanism with composition, reasoning, comparison and editing mechanisms Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting ViewsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor
  8. 8. Decomposing Feature Models Language, Environment, and Applications Slicing Technique Case Study Reasoning about two kinds Support of variability Updating and Reconciling Feature Models Extracting Views Video Surveillance Processing Chains Medical Imaging Reverse Engineering Workflows Software Architecture Automation Language Or Mandatory Environment CaseStudy -> Automation ^ Language) ^ Xor Optional (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) BDD SAT Standalone Eclipse Editors Graphical Textual Editor Editor ASE11 demonstration Applications Support Technique Case Study Language Reasoning Automation Environment about two kinds Reconciling Updating of variability Video Feature and Surveillance Models Extracting Processing Views Textual Chains Medical Standalone Eclipse Reverse Engineering BDD SAT Editor Imaging Software Architecture Workflows
  9. 9. See you! Slicing Feature Models Semantics, Algorithm, Support, and Applications Mathieu Acher1, Philippe Collet1 , Philippe Lahire1 and Robert France2 1 University 2 Colorado of Nice Sophia Antipolis, CNRS, France State University, USA {acher,collet,lahire}@i3s.unice.fr Computer Science Department france@cs.colostate.edu ASE11 short paper Semantics Algorithm Hierarchy Set of Support for Semantics-aware configurations Constraints Technique Root Support Or Mandatory Slicing Xor Optional Technique Future Work Motivation Reasoning about two kinds of variability Reconciling Updating and Paper Feature Models Extracting Views Large and Multiple, Inter- Support Complex FMs related FMs Algorithm Propositional Demonstration Long Short Logics Support for Constraints Corrective Capabilities Semantics-aware Automation Language Syntactical Technique Environment Root Support Technique Case Study BDD SAT Standalone Eclipse Editors SemanticsVideo SurveillanceProcessing Chains Medical Imaging Reverse Engineering Graphical Textual Workflows Software Architecture Editor Editor Hierarchy Set of configurations (Algorithm <-> Semantics) ^ (Algorithm <-> CorrectiveCapabilities) ^ (Algorithm <-> RootSupport) ^ (CorrectiveCapabilities -> SupportForConstraints) ^ (CorrectiveCapabilities -> SemanticsAware) ^ (SetOfConfigurations <-> SemanticsAware) ^ (SemanticsAware -> Automation) ^ (Language -> TextualEditor) ^ (TextualEditor -> Eclipse) ^ Language ASE11 demonstration Applications Support Technique Case Study Language Reasoning Automation Environment about two kinds Reconciling Updating of variability Video Feature and Surveillance Models Extracting Processing Views Textual Chains Medical Standalone Eclipse Reverse Engineering BDD SAT Editor Imaging Software Architecture Workflows
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×