Delta-oriented programming (DOP) is a compositional approach to flexibly implement software product lines. A delta-oriented product line is realized by a code base and a product line declaration. The code base consists of delta modules comprising modifications of object-oriented programs. The product line declaration defines how these modifications have to be combined to generate all possible products. This talk presents a foundation for compositional type checking of delta-oriented product lines of Java programs using a minimal core calculus for DOP. The calculus is equipped with a constraint-based type system that allows analyzing each delta module in isolation, so that the results of the analysis can be reused (like the delta module themselves) across different product lines. By combining the results of the delta module analysis with the product line declaration, it can be established whether all the products of the product line are well-typed according to the Java type system.

Compositional Type-Checking for Delta-oriented Product Lines

BETTINI, LORENZO;DAMIANI, Ferruccio
2010

Abstract

Delta-oriented programming (DOP) is a compositional approach to flexibly implement software product lines. A delta-oriented product line is realized by a code base and a product line declaration. The code base consists of delta modules comprising modifications of object-oriented programs. The product line declaration defines how these modifications have to be combined to generate all possible products. This talk presents a foundation for compositional type checking of delta-oriented product lines of Java programs using a minimal core calculus for DOP. The calculus is equipped with a constraint-based type system that allows analyzing each delta module in isolation, so that the results of the analysis can be reused (like the delta module themselves) across different product lines. By combining the results of the delta module analysis with the product line declaration, it can be established whether all the products of the product line are well-typed according to the Java type system.
NWPT 2010 : 22nd Nordic Workshop on Programming Theory
Turku, Finland
November 10-12, 2010
Proceedings of the 22nd Nordic Workshop on Programming Theory NWPT'10
Turku Centre for Computer Science (TUCS)
57
13
15
9789521224782
https://research.it.abo.fi/nwpt10/
Compositional Anaysis; Java; Software Product Line; Type System
Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/84096
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact