Our formalization of product line transformations is based on category theory, and concentrates on properties of product line relations instead of their single.

Our framework provides improved expressiveness and flexibility of software product line transformations while abstracting from the considered type of model.

This paper presents a formal framework for product line transformations that is able to combine several kinds of product line modifications presented in the ...

Our framework provides improved expressiveness and flexibility of software product line transformations while abstracting from the considered type of model.

A software product line (SPL) is a portfolio of software products created from a set of common core assets. SPLs enable enterprises to produce ...

Our framework provides improved expressiveness and flexibility of software product line transformations while abstracting from the considered type of model.

Taentzer et al. [Tae+17] propose a formal framework specified in category theory for transforming one product line into another, including the evolution of ...

A Generalizing Framework based on. Category Theory. Gabriele Taentzer, Rick ... ▻ Build on existing formal theories: category theory and theory of Algebraic Graph.

Chechik, “Transformations of software product lines: A generalizing framework based on category theory: extended version,” 2017. [Online]. Available: https ...

Transformations of Software Product Lines: A Generalizing Framework based on Category Theory. Taentzer, G., Salay, R., Strüber, D., & Chechik, M. In MODELS ...