Research Topic: "Variability Modeling"

Members

• Michał Antkiewicz, Ph.D.
• Zubair Akhtar, B.Sc.
• Yi Zhang, MSci
• Rafael Lotufo, B. Eng.
• Kacper Bąk, Ph.D.
• Matthew Stephan, MASc.
• Yingfei Xiong, Ph.D.
• Krzysztof Czarnecki, Ph.D., P.Eng.
• Steven She, MMath.
• Chang Hwan Peter Kim, MASc.
• Sean Lau, MASc.
• Marcilio Mendonça, Ph.D.
• Thorsten Berger
• Jimmy Liang , MMath
• Jianmei Guo (郭健美), Ph.D.
• Pavel Valov, M.Sc.
• Manish Chauhan, B.Tech.
• Clone of Michał Antkiewicz, Ph.D.

Tools

• fmp: Feature Modeling Plug-in
• Ecore.fmp
• Software Product Lines Online Tools (SPLOT)
• fmp2rsm: Mapping Features to UML 2.0 Models Plug-in
• fmp2rsmVerifier: Verifying Model Templates Against OCL Constraints Plug-in
• Splot to Clafer Translator
• Ecore to Clafer Translator
• Linux Variability Analysis Tools (LVAT)
• CDL Tools
• CDL to Clafer translator
• ECC fixer
• Clafer Tools - Binary Distributions
• Web-Based Clafer Tools
• ClaferMPS

• fmp 0.7.0
• Clafer Documentation

News Items

• fmp 0.7.0 Development Release
• Feature Modeling and Feature-Based Model Templates demos
• Sean Lau's MASc. Thesis
• Peter Kim's MASc. Thesis
• fmp goes open source
• GSD Lab members receive the ACM SIGSOFT Distinguished Paper Award
• New article on IBM CAS success stories page
• Ecore.fmp Technical Report
• Steven She's MMath. Thesis
• Marcílio Mendonça’s Ph.D. Thesis
• Evolution of the Linux Kernel Variability Model accepted at SPLC 2010
• Krzysztof Czarnecki delivers keynote at VaMoS'10
• Two Online Tools
• Variability Modeling in the Real: A Perspective from the Operating Systems Domain accepted at ASE 2010
• GSD Lab joins mbeddr
• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted at SLE 2010
• Concrete-to-abstract modeling with Clafer example (draft v.3)
• Real-world Variability Models in Clafer
• Report "Configuration Challenges in Linux and eCos: A Survey" published
• Clafer Tools 0.4.3 Released
• "A User Survey of Configuration Challenges in Linux and eCos" accepted at VaMoS'12
• Clafer News
• "Generating Range Fixes for Software Configuration" accepted at ICSE'12
• Clafer Web Tools 0.4.1 Released
• ECC fixer 0.1 released
• Clafer Tools 0.3.2 Released
• Our paper "SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities" has been accepted for publication at SPLC'13
• Our paper "Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel" has been accepted for publication at SPLC'13
• Our paper "Visualization and Exploration of Optimal Variants in Product Line Engineering" has been accepted for publication at SPLC'13
• Our paper "Variability-Aware Performance Prediction: A Statistical Learning Approach" accepted at ASE 2013
• Clafer Tools 0.3.3 Released
• Clafer Tools 0.3.4 Released
• Clafer Tools 0.3.5 Released
• Copenhagen Meeting on Variability Management'2014
• Sixth International Workshop on Feature-Oriented Software Development (FOSD'14)
• Clafer Tools 0.3.6.1 Released
• Clafer, ClaferIG, and ClaferWiki 0.3.7 Released
• Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
• Best paper award
• Clafer Tools 0.4.2 Released
• Our paper "Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel" is now published online at the Empirical Software Engineering Journal
• Our paper "The shape of feature code: an analysis of twenty C-preprocessor-based systems" is now published online at the Software & Systems Modeling Journal
• ClaferMPS 0.4.3 Released
• Clafer Tools 0.4.4 Released
• Clafer Tools 0.4.5 Released

Projects

• Feature Models in the Wild
• Clafer
• Interpreter for FSML: Detecting Framework Concepts in Source Code Through Reverse-Engineering
• Feature Modeling and Model Templates
• Software Product Line Evolution: the Linux Kernel
• NECSIS: Managing Variability and Configurability in a MDE Development Process
• Software Configuration Support
• Study of Code Cloning Practices for Software Product Lines
• Industrial Variability Modeling
• Mining Configuration Constraints
• Modeling and Optimization Case Studies for Clafer Tools
• AADL2Clafer: Optimization of Architectural Models
• Migration of Software Products to Software Product Lines

Publications

• Engineering of Framework-Specific Modeling Languages
• Staged configuration through specialization and multilevel configuration of feature models
• Formalizing cardinality-based feature models and their specialization
• Efficient compilation techniques for large scale feature models
• Sample Spaces and Feature Models: There and Back Again
• Feature Diagrams and Logics: There and Back Again
• Verifying feature-based model templates against well-formedness OCL constraints
• Framework-Specific Modeling Languages with Round-Trip Engineering
• Feature Models are Views on Ontologies
• Synchronizing Cardinality-Based Feature Models and Their Specializations
• Mapping Features to Models: A Template Approach Based on Superimposed Variants
• Staged Configuration Using Feature Models
• S.P.L.O.T. - Software Product Lines Online Tools
• Framework-specific modeling languages
• Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates
• On the Relationship between Feature Models and Ontologies
• Variability Model of the Linux Kernel
• Efficient Reasoning Techniques for Large Scale Feature Models
• Feature Model Mining
• SAT-based Analysis of Feature Models is Easy
• Cardinality-based feature modeling and constraints: a progress report
• FeaturePlugin: Feature Modeling Plug-In for Eclipse
• Variability Modeling in the Real: A Perspective from the Operating Systems Domain
• Ecore.fmp: A tool for editing and instantiating class models as feature models
• Evolution of the Linux Kernel Variability Model
• Formal Semantics of the Kconfig Language
• Formal Semantics of the CDL Language
• fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates
• Model-Driven Software Product Lines
• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled
• Mining Configuration Constraints: Static Analyses and Empirical Results
• Configurator Semantics of the CDL language
• A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
• Configuration Challenges in Linux and eCos: A Survey
• Generating Range Fixes for Software Configuration
• Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches
• A User Survey of Configuration Challenges in Linux and eCos
• Generating Range Fixes for Software Configuration
• Efficient Synthesis of Feature Models
• Correcting Clafer Models with Automated Analysis
• Variability Modeling in the Systems Software Domain
• Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software
• Variability-Aware Performance Modeling: A Statistical Learning Approach
• Feature-Oriented Software Evolution
• A Study of Variability Models and Languages in the Systems Software Domain
• Web-based GUI for Pareto front visualization and analysis
• A survey of variability modeling in industrial practice
• Clafer Tools for Product Line Engineering
• SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities
• Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel
• Variability-Aware Performance Prediction: A Statistical Learning Approach
• Modeling Product Lines with Kripke Structures and Modal Logic
• Flexible Product Line Engineering with a Virtual Platform
• Three Cases of Feature-Based Variability Modeling in Industry
• Proceedings of the 6th International Workshop on Feature-Oriented Software Development (FOSD)
• Clafer: Unifying Class and Feature Modeling
• Coevolution of Variability Models and Related Software Artifacts: A Fresh Look at Evolution Patterns in the Linux Kernel
• Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers
• Presence-Condition Simplification in Highly Configurable Systems
• Where do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study
• Maintaining Feature Traceability with Embedded Annotations
• What is a Feature? A Qualitative Study of Features in Industrial Software Product Lines
• SAT-based Analysis of Large Real-world Feature Models is Easy
• Modeling Aerospace Systems Product Lines in SysML
• Performance Prediction of Configurable Software Systems by Fourier Learning
• Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems

Supporting Material Pages

• SLE 2010 Supporting Material
• The Telematics Example
• The variability model constraints benchmark
• PhD Thesis Supporting Material