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                                   ...
Prochain SlideShare
Chargement dans…5
×

ASE tool demonstration

944 vues

Publié le

Publié dans : Technologie, Business
1 commentaire
0 j’aime
Statistiques
Remarques
  • 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
       Répondre 
    Voulez-vous vraiment ?  Oui  Non
    Votre message apparaîtra ici
  • Soyez le premier à aimer ceci

Aucun téléchargement
Vues
Nombre de vues
944
Sur SlideShare
0
Issues des intégrations
0
Intégrations
3
Actions
Partages
0
Téléchargements
3
Commentaires
1
J’aime
0
Intégrations 0
Aucune incorporation

Aucune remarque pour cette diapositive

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

×