publications: - title: "Reasoning about Feature Model Edits" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" year: "2008" month: "JUN" abstract: "Feature modeling is a technique in domain analysis to describe the variabilities and commonalities among similar programs. The valid combinations of features are specified in a feature model. Automated analysis of feature models reveals errors and supports the configuration process. Feature models evolve over time and there is a need for edits on feature models. We categorize edits into refactorings, specializations, and generalizations, and arbitrary edits to support the modeling process. This paper presents an algorithm to reason about feature model edits and their categories. Two stand-alone feature models can be taken as input, where the set of features is not necessary identical. We evaluate the algorithm with random feature models to show that the algorithm scales even for larger feature models." tags: - "object-oriented programming" - "program analysis" - "meta programming" - "meta-model" - "SAT solver" - "modeling" - "model refactoring" - "refactoring" - "domain analysis" - "analysis" - "object-role modeling" - "subject-oriented programming" - "Meta-Environment" - "feature model" - "process modeling" - "automated analysis" - "feature-oriented programming" researchr: "https://researchr.org/publication/thesisThuem" cites: 0 citedby: 0 school: "University of Magdeburg" type: "Bachelor's Thesis (Studienarbeit)" address: "Germany" advisor: - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" kind: "mastersthesis" key: "thesisThuem" - title: "Applying Design by Contract to Feature-Oriented Programming" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Ina Schaefer" link: "http://www.tu-braunschweig.de/sse/mitarbeiter/schaefer" - name: "Martin Kuhlemann" link: "http://wwwiti.cs.uni-magdeburg.de/~mkuhlema/" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" year: "2012" month: "MAR" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/TSK+:FASE12.pdf" tags: - "object-oriented programming" - "contracts" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/TSK-%3AFASE12" cites: 0 citedby: 0 pages: "255-269" booktitle: "Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE)" kind: "inproceedings" key: "TSK-:FASE12" - title: "Abstract Features in Feature Modeling" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Sebastian Erdweg" link: "http://www.informatik.uni-marburg.de/~seba/" - name: "Norbert Siegmund" link: "http://wwwiti.cs.uni-magdeburg.de/~nsiegmun/" year: "2011" month: "August" tags: - "meta-model" - "modeling" - "Meta-Environment" researchr: "https://researchr.org/publication/TKES%3ASPLC11" cites: 0 citedby: 0 booktitle: "Proceedings of the International Software Product Line Conference (SPLC)" kind: "inproceedings" key: "TKES:SPLC11" - title: "Reasoning about Edits to Feature Models" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" year: "2009" doi: "http://dx.doi.org/10.1109/ICSE.2009.5070526" abstract: "Features express the variabilities and commonalities among programs in a software product line (SPL). A feature model defines the valid combinations of features, where each combination corresponds to a program in an SPL. SPLs and their feature models evolve over time. We classify the evolution of a feature model via modifications as refactorings, specializations, generalizations, or arbitrary edits. We present an algorithm to reason about feature model edits to help designers determine how the program membership of an SPL has changed. Our algorithm takes two feature models as input (before and after edit versions), where the set of features in both models are not necessarily the same, and it automatically computes the change classification. Our algorithm is able to give examples of added or deleted products and efficiently classifies edits to even large models that have thousands of features." links: doi: "http://dx.doi.org/10.1109/ICSE.2009.5070526" tags: - "object-oriented programming" - "meta programming" - "classification" - "meta-model" - "SAT solver" - "modeling" - "model refactoring" - "refactoring" - "software evolution" - "object-role modeling" - "subject-oriented programming" - "software product line" - "Meta-Environment" - "feature model" - "product line" - "feature-oriented programming" - "FeatureIDE" researchr: "https://researchr.org/publication/ThumBK09" cites: 0 citedby: 0 pages: "254-264" booktitle: "ICSE" kind: "inproceedings" key: "ThumBK09" - title: "FeatureIDE: A Tool Framework for Feature-Oriented Software Development" author: - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" - name: "Janet Feigenspan" link: "http://wwwiti.cs.uni-magdeburg.de/~feigensp/" - name: "Thomas Leich" link: "http://wwwiti.cs.uni-magdeburg.de/~leich" - name: "Fabian Wielgorz" link: "https://researchr.org/alias/fabian-wielgorz" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" year: "2009" doi: "http://dx.doi.org/10.1109/ICSE.2009.5070568" abstract: "Tools support is crucial for the acceptance of a new programming language. However, providing such tool support is a huge investment that can usually not be provided for a research language. With FeatureIDE, we have built an IDE for AHEAD that integrates all phases of featureoriented software development. To reuse this investment for other tools and languages, we refactored FeatureIDE into an open source framework that encapsulates the common ideas of feature-oriented software development and that can be reused and extended beyond AHEAD. Among others, we implemented extensions for FeatureC++ and FeatureHouse, but in general, FeatureIDE is open for everybody to showcase new research results and make them usable to a wide audience of students, researchers, and practitioners." links: doi: "http://dx.doi.org/10.1109/ICSE.2009.5070568" tags: - "programming languages" - "object-oriented programming" - "FeatureC++" - "FeatureHouse" - "fosd" - "tool support" - "tool" - "model refactoring" - "refactoring" - "reuse" - "model-driven development" - "source-to-source" - "AHEAD" - "programming" - "subject-oriented programming" - "feature model" - "feature-oriented programming" - "IDE" - "open-source" - "FeatureIDE" researchr: "https://researchr.org/publication/KastnerTSFLWA09" cites: 0 citedby: 0 pages: "611-614" booktitle: "ICSE" kind: "inproceedings" key: "KastnerTSFLWA09" - title: "Multi-Dimensional Variability Modeling" author: - name: "Marko Rosenmüller" link: "http://wwwiti.cs.uni-magdeburg.de/~rosenmue/" - name: "Norbert Siegmund" link: "http://wwwiti.cs.uni-magdeburg.de/~nsiegmun/" - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" year: "2011" abstract: "The variability of a software product line (SPL) is often described with a feature model. To avoid highly complex models, stakeholders usually try to separate dierent variability dimensions, such as domain variability and implementation variability. This results in distinct variability models, which are easier to handle than one large model. On the other hand, it is sometimes required to analyze the variability dimensions of an SPL in combination using a single model only. To combine separate modeling and integrated analysis of variability, we present Velvet, a language for multi-dimensional variability modeling. Velvet allows stakeholders to model each variability dimension of an SPL separately and to compose the separated dimensions on demand. This improves reuse of feature models and supports independent modeling variability dimensions. Furthermore, Velvet integrates feature modeling and conguration in a single language. The combination of both concepts creates further reuse opportunities and allows stakeholders to independently congure variability dimensions." tags: - "meta-model" - "modeling language" - "modeling" - "DSLsAndPLE" - "language modeling" - "domain analysis" - "analysis" - "reuse" - "software product line" - "Meta-Environment" - "product line" - "domain-specific language" researchr: "https://researchr.org/publication/RSTS%3AVAMOS11" cites: 0 citedby: 0 pages: "11-20" booktitle: "Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS)" kind: "inproceedings" key: "RSTS:VAMOS11" - title: "FeatureIDE: An Extensible Framework for Feature-Oriented Software Development" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Fabian Benduhn" link: "https://researchr.org/alias/fabian-benduhn" - name: "Jens Meinicke" link: "https://researchr.org/alias/jens-meinicke" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" - name: "Thomas Leich" link: "http://wwwiti.cs.uni-magdeburg.de/~leich" year: "2012" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThKaBe+:SCP12.pdf" researchr: "https://researchr.org/publication/ThKaBe-%3ASCP12" cites: 0 citedby: 0 journal: "SCP" kind: "article" key: "ThKaBe-:SCP12" - title: "Family-Based Deductive Verification of Software Product Lines" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Ina Schaefer" link: "http://www.tu-braunschweig.de/sse/mitarbeiter/schaefer" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "Martin Hentschel" link: "https://www.se.tu-darmstadt.de/se/group-members/martin-hentschel/" year: "2012" month: "SEP" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/ThScAp+:GPCE12.pdf" tags: - "rule-based" - "software product lines" researchr: "https://researchr.org/publication/ThScAp-%3AGPCE12" cites: 0 citedby: 0 pages: "11-20" booktitle: "International Conference on Generative Programming and Component Engineering" kind: "inproceedings" key: "ThScAp-:GPCE12" - title: "Automatic Detection of Feature Interactions using the Java Modeling Language: An Experience Report" author: - name: "Scholz, Wolfgang" link: "https://researchr.org/alias/scholz%2C-wolfgang" - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "Christian Lengauer" link: "http://www.infosun.fim.uni-passau.de/cl/staff/lengauer/" year: "2011" month: "AUG" abstract: "In the development of complex software systems, interactions between dierent program features increase the design complexity. Feature-oriented software development focuses on the representation and compositions of features. The implementation of features often cuts across object-oriented module boundaries and hence comprises interactions. The manual detection and treatment of feature interactions requires a deep knowledge of the implementation details of the features involved. Our goal is to detect interactions automatically using specications by means of design by contract and automated theorem proving. We provide a software tool that operates on programs in Java and the Java Modeling Language (JML). We discuss which kinds of feature interactions can be detected automatically with our tool and how to detect other kinds of interactions." links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/STSL:FOSD11.pdf" tags: - "programming languages" - "interaction design" - "object-oriented programming" - "Java" - "operating system" - "meta programming" - "contracts" - "meta-model" - "modeling language" - "modeling" - "design complexity" - "language modeling" - "composition" - "language design" - "model-driven development" - "object-role modeling" - "subject-oriented programming" - "Meta-Environment" - "software contracts" - "design" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/STAL%3AFOSD11" cites: 0 citedby: 0 booktitle: "Proceedings of the International SPLC Workshop Feature-Oriented Software Development (FOSD)" kind: "inproceedings" key: "STAL:FOSD11" - title: "AutoDaMa: On the Feasibility of Secure and Tailor-made Automotive Data Management" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Sandro Schulze" link: "http://wwwiti.cs.uni-magdeburg.de/~sanschul/" - name: "Mario Pukall" link: "http://wwwiti.cs.uni-magdeburg.de/~pukall/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" - name: "Sebastian Günther" link: "https://researchr.org/alias/sebastian-g%C3%BCnther" year: "2011" month: "November" links: "url": "http://www.cs.uni-magdeburg.de/inf_media/downloads/forschung/technical_reports_und_preprints/2011/TechReport08-p-3754.pdf" researchr: "https://researchr.org/publication/TSPSG%3A2011" cites: 0 citedby: 0 institution: "School of Computer Science, University of Magdeburg" number: "FIN-008-2011" kind: "techreport" key: "TSPSG:2011" - title: "Analysis Strategies for Software Product Lines" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Martin Kuhlemann" link: "http://wwwiti.cs.uni-magdeburg.de/~mkuhlema/" - name: "Ina Schaefer" link: "http://www.tu-braunschweig.de/sse/mitarbeiter/schaefer" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" year: "2012" month: "APR" links: "url": "http://www.cs.uni-magdeburg.de/inf_media/downloads/forschung/technical_reports_und_preprints/2012/04_2012.pdf" tags: - "software product lines" - "analysis" researchr: "https://researchr.org/publication/TAK-12" cites: 0 citedby: 0 institution: "School of Computer Science, University of Magdeburg" number: "FIN-004-2012" address: "Germany" kind: "techreport" key: "TAK-12" - title: "Verification of Software Product Lines Using Contracts" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" year: "2012" month: "JUL" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/Th:MIT12.pdf" tags: - "software product lines" - "contracts" - "software contracts" researchr: "https://researchr.org/publication/Th%3AMIT12" cites: 0 citedby: 0 pages: "75-82" booktitle: "Doktorandentagung Magdeburger-Informatik-Tage (MIT)" kind: "inproceedings" key: "Th:MIT12" - title: "Type Checking Annotation-Based Product Lines" author: - name: "Christian Kästner" link: "http://wwwiti.cs.uni-magdeburg.de/~ckaestne/" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" year: "2012" month: "jul" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/KATS:TOSEM11.pdf" tags: - "rule-based" - "type checking" researchr: "https://researchr.org/publication/KATS%3ATOSEM12" cites: 0 citedby: 0 journal: "ACM Transactions on Software Engineering and Methodology" volume: "21" number: "3" pages: "1-39" kind: "article" key: "KATS:TOSEM12" - title: "Secure and Customizeable Data Management for Automotive Systems - A Feasibility Study" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Sandro Schulze" link: "http://wwwiti.cs.uni-magdeburg.de/~sanschul/" - name: "Mario Pukall" link: "http://wwwiti.cs.uni-magdeburg.de/~pukall/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" - name: "Sebastian Günther" link: "https://researchr.org/alias/sebastian-g%C3%BCnther" year: "2012" month: "MAR" links: "url": "http://www.isrn.com/journals/se/2012/424230/" researchr: "https://researchr.org/publication/TSPSGJournal%3A2011" cites: 0 citedby: 0 journal: "ISRN Software Engineering" volume: "2012" pages: "1-7" kind: "article" key: "TSPSGJournal:2011" - title: "A Machine-Checked Proof for a Product-Line-Aware Type System" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" year: "2010" month: "January" abstract: "A software product line is a set of software-intensive systems that share a common code base. Program variants are generated using a feature selection, where only the code for the selected features is generated. Since the number of program variants grows exponentially with the number of features, we cannot type-check each variant on its own. Recently, product-line-aware type systems were proposed to efficiently type-check the software product line. Type soundness proofs show that no ill-typed program variants can be generated from a well-typed product line. We present a formal type soundness proof for Colored Featherweight Java in Coq. Furthermore, we present a simplied type system for Colored Featherweight Java and share our experiences with machine-checked proofs using the proof assistant Coq." tags: - "object-oriented programming" - "rule-based" - "Java" - "proof assistant" - "type soundness" - "type system" - "type checking" - "context-aware" - "software product line" - "product line" - "feature-oriented programming" researchr: "https://researchr.org/publication/T10" cites: 0 citedby: 0 school: "University of Magdeburg" address: "Germany" kind: "mastersthesis" key: "T10" - title: "Variant-Preserving Refactoring in Feature-Oriented Software Product Lines" author: - name: "Sandro Schulze" link: "http://wwwiti.cs.uni-magdeburg.de/~sanschul/" - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Martin Kuhlemann" link: "http://wwwiti.cs.uni-magdeburg.de/~mkuhlema/" - name: "Gunter Saake" link: "http://wwwiti.cs.uni-magdeburg.de/~saake/" year: "2012" month: "January" links: "url": "http://wwwiti.cs.uni-magdeburg.de/iti_db/publikationen/ps/auto/SchulzeVAMOS2012.pdf" tags: - "software product lines" - "refactoring" researchr: "https://researchr.org/publication/SchulzeVAMOS2012" cites: 0 citedby: 0 pages: "73-81" booktitle: "International Workshop on Variability Modeling of Software-intensive Systems (VaMoS)" kind: "inproceedings" key: "SchulzeVAMOS2012" - title: "Proof Composition for Deductive Verification of Software Product Lines" author: - name: "Thomas Thüm" link: "http://www.ovgu.de/~tthuem/" - name: "Ina Schaefer" link: "http://www.tu-braunschweig.de/sse/mitarbeiter/schaefer" - name: "Martin Kuhlemann" link: "http://wwwiti.cs.uni-magdeburg.de/~mkuhlema/" - name: "Sven Apel" link: "http://www.infosun.fim.uni-passau.de/cl/staff/apel/" year: "2011" tags: - "software product lines" - "Variability-Aware Analysis" - "composition" - "analysis" - "context-aware" researchr: "https://researchr.org/publication/TSKS%3AVAST11" cites: 0 citedby: 0 booktitle: "Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST)" kind: "inproceedings" key: "TSKS:VAST11"