The development of a family of software-intensive systems in an integrated way by systematically making use of commonalities is the subject of software product family engineering. In this thesis we introduce a theoretical framework for constructing and reasoning about software product families. The framework consists of: (1) a process algebra called PL-CCS for the specification of the operational behavior of a set of software-intensive, reactive systems in an integrated way as a product family; (2) a multi-valued version of the μ-calculus, which facilitates the specification and verification of behavioral properties of PL-CCS product families and their family members; and (3) a restructuring concept that allows to calculate the commonalities and differences in the operational behavior of the family members. As a second major contribution we provide an axiomatization of general product family concepts which captures the universal construction concept inherent in any product family.     «

The development of a family of software-intensive systems in an integrated way by systematically making use of commonalities is the subject of software product family engineering. In this thesis we introduce a theoretical framework for constructing and reasoning about software product families. The framework consists of: (1) a process algebra called PL-CCS for the specification of the operational behavior of a set of software-intensive, reactive systems in an integrated way as a product family;...     »

Gegenstand der Software Produktlinienentwicklung ist es, eine Familie software-intensiver Systeme in integrierter Art und Weise durch systematisches Ausnützen von Gemeinsamkeiten zu entwickeln. In dieser Arbeit wird ein theoretisches Rahmenwerk für die Entwicklung von Software Produktfamilien vorgestellt. Das Rahmenwerk umfasst (1) die Prozessalgebra PL-CCS, zur Spezifikation des operationalen Verhaltens einer Menge von software-intensiven, reaktiven Systemen in integrierter Weise als Produktfamilie, (2) eine mehrwertige Logik basierend auf dem μ-Kalkül, die die Spezifikation und Verifikation von Verhaltenseigenschaften von PL-CCS Produktfamilien und deren Produkten ermöglicht, und (3) einen Umstrukturierungsmechanismus, der es erlaubt die Gemeinsamkeiten und Unterschiede im Verhalten von Familienmitgliedern zu bestimmen. Als zweiter wesentlicher Beitrag wird eine Axiomatisierung von Software Produktfamilienkonzepten angegeben, die das universelle Bauprinzip von Produktfamilien formalisiert.     «

Gegenstand der Software Produktlinienentwicklung ist es, eine Familie software-intensiver Systeme in integrierter Art und Weise durch systematisches Ausnützen von Gemeinsamkeiten zu entwickeln. In dieser Arbeit wird ein theoretisches Rahmenwerk für die Entwicklung von Software Produktfamilien vorgestellt. Das Rahmenwerk umfasst (1) die Prozessalgebra PL-CCS, zur Spezifikation des operationalen Verhaltens einer Menge von software-intensiven, reaktiven Systemen in integrierter Weise als Produktfam...     »