Automated Reasoning on Feature Models
Notes on numerical fluid mechanics and multidisciplinary designPublished 1 January 2005Open access
David Benavides, Pablo Trinidad, Antonio Ruiz–Cortés
Citations612
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra– functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation.
Keywords
Computer Science
Feature-Oriented Domain Analysis (FODA) Feasibility Study
4,194 Citations1990Kyo C. Kang, Sholom Cohen +3 more
This report will establish methods for performing a domain analysis and describe the products of the domain analysis process, and provide a domain analysis of window management system software.
Software Product Lines: Practices and Patterns
3,249 Citations2001Paul Clements, Linda Northrop
The Three Essential Activities: Core Asset Development, Software Engineering Practice Areas, and Single-System Development with Reuse - All Three Together.
Generative Programming: Methods, Tools, and Applications
2,549 Citations2000Krzysztof Czarnecki, Ulrich W. Eisenecker
This chapter discusses Domain Engineering and Object-Oriented Analysis and Design, and main development steps in Generative Programming, as well as Static versus Dynamic Parameterization, and a Fresh Look at Polymorphism.
Elsevier eBooksFoundations of Constraint Satisfaction
1,616 Citations1993
Introduction to the C SP CSP solving - an overview chapter fundamental concepts of the CSP chapter problem reduction chapter basic search strategies for solving CSPs search orders in searching in C SPs exploitation of problem specific features stochastic search methods.
Medical Entomology and ZoologyDesign and Use of Software Architectures: Adopting and Evolving a Product-Line Approach
1,172 Citations2000Jan Bosch
This chapter discusses Software Architecture and Product Lines and the design of Software Architectures and its transformation into Family-Based System Development.
The MIT Press eBooksProgramming with Constraints
868 Citations1998Kimbal George Marriott, Peter J. Stuckey
Annals of Software EngineeringFORM: A feature-;oriented reuse method with domain-;specific reference architectures
863 Citations1998Kyo C. Kang, Sajoong Kim +4 more
On the notion of variability in software product lines
509 Citations2002Jilles van Gurp, Jan Bosch +1 more
The authors provide a framework of terminology and concepts regarding variability and present three recurring patterns of variability, which they suggest a method for managing variability in software product lines.
IEEE SoftwareFeature-oriented product line engineering
505 Citations2002K.C. Kang, Jaejoon Lee +1 more
The article illustrates, with a home integration system example, how FORM brings efficiency into product line development.
Lecture notes in computer scienceGenerative Programming
486 Citations2002Bárbara Barth, Greg Butler +2 more
The goal of the workshop was to discuss the state-of-the-art of generative programming, share experience, consolidate successful techniques, discuss the relation of GP to object-oriented programming and other emerging approaches such as Aspect-Oriented Programming or Multi-dimensional Decomposition, and identify open issues for future work.
Integrating feature modeling with the RSEB
485 Citations2002Martin Griss, John Favaro +1 more
IEEE SoftwareProspects for an engineering discipline of software
340 Citations1990Mary Shaw
Five basic steps that the software engineering profession must take to become a true engineering discipline are described, covering the nature of expertise, recognizing different ways to get information, encouraging routine practice, expecting professional specializations, and improving the coupling between science and commercial practice.
Journal of Computing and Information TechnologyDomain-Specific Language Design Requires Feature Descriptions
278 Citations2002Arie van Deursen, Paul Klint
This paper proposes the Feature Description Language (FDL), a textual language to describe features, and explores automated manipulation of feature descriptions such as normalization, expansion to disjunctive normal form, variability computation and constraint satisfaction.
Lecture notes in computer scienceCOVAMOF: A Framework for Modeling Variability in Software Product Families
267 Citations2004Marco Sinnema, Sybren Deelstra +2 more
A framework for variability modeling—COVAMOF—that provides support for all four requirements and uniformly represent variation points as first-class entities in all abstraction layers.
Artificial intelligence for engineering design analysis and manufacturingTowards a general ontology of configuration
227 Citations1998Timo Soininen, Juha Tiihonen +2 more
The main contributions of this work are in the detailed conceptualization of knowledge on product structures and in extending the resource concept with contexts for limiting the availability and use of resources.
Lecture notes in computer scienceUsing First-Order Logic for Product Line Model Validation
199 Citations2002Mike Mannion
By modelling variability and dependency between requirements using propositional connectives, a logical expression can be developed for the model and this approach can be used to validate the model as a whole.
Managing Variability in Software Product Lines
158 Citations2000Jilles van Gurp, Jan Bosch +1 more
A conceptual framework of terminology for the concept of variability is provided and how variability can be managed in Software Product Lines is discussed.
ACM Transactions on Software Engineering and MethodologyArchitecting families of software systems with process algebras
117 Citations2002Marco Bernardo, Paolo Ciancarini +1 more
This article develops a process algebra-based architectural description language called PADL, which deals with deadlock-related architectural mismatches arising from three different causes: incomp compatibility between two components due to a single interaction, incompatibility between two component due to the combination of several interactions, and lack of interoperability among a set of components forming a cyclic topology.
Product Line Analysis: A Practical Introduction
109 Citations2001Gary Chastek, Patrick Donohoe +2 more
This report describes product line analysis in the context of product line development and shows how a requirements model is built based on object modeling, use-case modeling, and feature-modeling techniques.
Integrating Feature Modeling with the RSEB Proceedings of Fifth International Conference on Software Reuse, Victoria, B.C., 1998
66 Citations1998Martin Griss, John Favaro +1 more
Details of formalized relations in feature models using OCL
55 Citations2004Detlef Streitferdt, Matthias Riebisch +1 more
A formalized definition for feature modeling using the Object Constraint Language (OCL) and a set of associations and constraints to be used in the feature model are proposed and a way to formally handle these relations is presented as a result of a research project.
Concurrency and Computation Practice and ExperienceFeature‐oriented programming: A new way of object composition
31 Citations2001Christian Prehofer
This work presents the feature model as an extension of Java and gives two translations to Java, one via inheritance and the other via aggregation, and shows that it interacts nicely with several common language extensions such as type parameters, exceptions, and higher‐order functions.
Journal of Systems and SoftwareHandling variant requirements in domain modeling
31 Citations2003Stan Jarzabek, Wai Chun Ong +1 more
A modeling method and a Flexible Variant Configuration tool (FVC for short) that alleviate the problems of overly complicated domain models and describes variants as deltas in respect to domain defaults.
Lecture notes in computer scienceAutomatic Generation of Program Families by Model Restrictions
21 Citations2004Andrzej Węsowski
An application of the process of modeling reactive systems with statecharts is described, establishing a trace inclusion refinement relation for automatically generated family members, inducing a behavioral inheritance hierarchy over the generated programs.