Research Topic: "Feature Modeling"

Members

• Michał Antkiewicz, Ph.D.
• Rafael Lotufo, B. Eng.
• Kacper Bąk, Ph.D.
• Matthew Stephan, MASc.
• Krzysztof Czarnecki, Ph.D., P.Eng.
• Steven She, MMath.
• Chang Hwan Peter Kim, MASc.
• Marcilio Mendonça, Ph.D.
• Thorsten Berger
• Jimmy Liang , MMath
• Clone of Michał Antkiewicz, Ph.D.

Tools

• fmp: Feature Modeling Plug-in
• Software Product Lines Online Tools (SPLOT)
• Splot to Clafer Translator
• Ecore to Clafer Translator
• Linux Variability Analysis Tools (LVAT)
• CDL Tools
• CDL to Clafer translator
• Clafer Tools - Binary Distributions
• ClaferMPS

• fmp 0.7.0
• Clafer Documentation

News Items

• fmp 0.7.0 Development Release
• Feature Modeling and Feature-Based Model Templates demos
• 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
• Variability Modeling in the Real: A Perspective from the Operating Systems Domain accepted at ASE 2010
• Feature and Meta-Models in Clafer: Mixed, Specialized, and Coupled has been accepted at SLE 2010
• Clafer Tools 0.4.3 Released
• Clafer Web Tools 0.4.1 Released
• Copenhagen Meeting on Variability Management'2014
• Sixth International Workshop on Feature-Oriented Software Development (FOSD'14)
• Clafer, ClaferIG, and ClaferWiki 0.3.7 Released
• Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
• 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
• 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
• Industrial Variability Modeling
• 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
• 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
• A Study of Non-Boolean Constraints in Variability Models of an Embedded Operating System
• Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches
• A User Survey of Configuration Challenges in Linux and eCos
• Efficient Synthesis of Feature Models
• Variability Modeling in the Systems Software Domain
• Feature-Oriented Software Evolution
• A Study of Variability Models and Languages in the Systems Software Domain
• A survey of variability modeling in industrial practice
• Modeling Product Lines with Kripke Structures and Modal Logic
• 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
• 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
• Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems

Supporting Material Pages

• SLE 2010 Supporting Material
• The Telematics Example
• PhD Thesis Supporting Material