Type-Safe Feature-Oriented Product Lines - Computer Science > Software EngineeringReportar como inadecuado

Type-Safe Feature-Oriented Product Lines - Computer Science > Software Engineering - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: A feature-oriented product line is a family of programs that share a commonset of features. A feature implements a stakeholder-s requirement, represents adesign decision and configuration option and, when added to a program, involvesthe introduction of new structures, such as classes and methods, and therefinement of existing ones, such as extending methods. With feature-orienteddecomposition, programs can be generated, solely on the basis of a user-sselection of features, by the composition of the corresponding feature code. Akey challenge of feature-oriented product line engineering is how to guaranteethe correctness of an entire feature-oriented product line, i.e., of all of themember programs generated from different combinations of features. As thenumber of valid feature combinations grows progressively with the number offeatures, it is not feasible to check all individual programs. The onlyfeasible approach is to have a type system check the entire code base of thefeature-oriented product line. We have developed such a type system on thebasis of a formal model of a feature-oriented Java-like language. Wedemonstrate that the type system ensures that every valid program of afeature-oriented product line is well-typed and that the type system iscomplete.

Autor: Sven Apel, Christian Kaestner, Armin Groesslinger, Christian Lengauer

Fuente: https://arxiv.org/

Documentos relacionados