Article

Free access

Type-Checking Software Product Lines - A Formal Approach

Authors:

S. ApelAuthors Info & Claims

ASE '08: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

Pages 258 - 267

https://doi.org/10.1109/ASE.2008.36

Published: 15 September 2008 Publication History

Abstract

A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high number of possible program variants, it is difficult to test all variants and ensure properties like type-safety for the entire SPL. While first steps to type-check an entire SPL have been taken, they are informal and incomplete. In this paper, we extend the Featherweight Java (FJ) calculus with feature annotations to be used for SPLs. By extending FJ's type system, we guarantee that - given a well-typed SPL - all possible program variants are well- typed as well. We show how results from this formalization reflect and help implementing our own language-independent SPL tool CIDE.

References

[1]

S. Apel, T. Leich, and G. Saake, "Aspectual feature modules," IEEE Trans. Softw. Eng., vol. 34, no. 2, pp. 162-180, 2008.

Digital Library

[2]

S. Apel and D. Hutchins, "An overview of the gDeep calculus," Department of Informatics and Mathematics, University of Passau, Germany, Tech. Rep. MIP-0712, 2007.

[3]

S. Apel, C. Kästner, and C. Lengauer, "An overview of Feature Featherweight Java," Department of Informatics and Mathematics, University of Passau, Germany, Tech. Rep. MIP-0802, Apr. 2008.

[4]

S. Apel, C. Lengauer, B. Möller, and C. Kästner, "An algebra for features and feature composition," in Proceedings of the 12th International Conference on Algebraic Methodology and Software Technology (AMAST), ser. Lecture Notes in Computer Science, vol. 5140. Springer-Verlag, Jul. 2008, pp. 36-50.

Digital Library

[5]

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice. Boston, MA, USA: Addison-Wesley, 1998.

Digital Library

[6]

D. Batory, "Feature models, grammars, and propositional formulas." in Proc. Int'l Software Product Line Conference, Sep. 2005, pp. 7-20.

Digital Library

[7]

D. Batory and B. J. Geraci, "Composition validation and subjectivity in GenVoca generators," IEEE Trans. Softw. Eng., vol. 23, no. 2, pp. 67-82, 1997.

Digital Library

[8]

D. Batory, J. N. Sarvela, and A. Rauschmayer, "Scaling stepwise refinement," IEEE Trans. Softw. Eng., vol. 30, no. 6, pp. 355-371, 2004.

Digital Library

[9]

K. Czarnecki and M. Antkiewicz, "Mapping features to models: A template approach based on superimposed variants," in Proc. Int'l Conf. Generative Programming and Component Engineering, 2005, pp. 422- 437.

Digital Library

[10]

K. Czarnecki and U. Eisenecker, Generative programming: methods, tools, and applications. ACM Press, 2000.

Digital Library

[11]

K. Czarnecki and K. Pietroszek, "Verifying feature-based model templates against well-formedness OCL constraints," in Proc. Int'l Conf. Generative Programming and Component Engineering. New York, NY, USA: ACM Press, 2006, pp. 211-220.

Digital Library

[12]

S. Drossopoulou, T. Valkevych, and S. Eisenbach, "Java type soundness revisited," Department of Computing, Imperial College London, Tech. Rep. 09, 2000.

[13]

M. Flatt, S. Krishnamurthi, and M. Felleisen, "Classes and mixins," in Proc. Conf. Principles of Programming Languages. New York, NY, USA: ACM, 1998, pp. 171-183.

Digital Library

[14]

J. Gosling, B. Joy, G. Steele, and G. Bracha, Java^¿Language Specification, 3rd ed., ser. The JavaTMSeries. Addison-Wesley Professional, 2005.

Digital Library

[15]

M. L. Griss, "Implementing product-line features by composing aspects," in Proc. Int'l Software Product Line Conference. Norwell, MA, USA: Kluwer Academic Publishers, 2000, pp. 271-288.

Digital Library

[16]

S. Huang, D. Zook, and Y. Smaragdakis, "Statically safe program generation with SafeGen," in Proc. Int'l Conf. Generative Programming and Component Engineering. Springer, 2005, pp. 309-326.

Digital Library

[17]

A. Igarashi, B. Pierce, and P. Wadler, "Featherweight Java: A minimal core calculus for Java and GJ," ACM Trans. Program. Lang. Syst., vol. 23, no. 3, pp. 396-450, 2001.

Digital Library

[18]

A. Igarashi and B. C. Pierce, "On inner classes," Inf. Comput., vol. 177, no. 1, pp. 56-89, 2002.

Digital Library

[19]

S. Jarzabek, P. Bassett, H. Zhang, and W. Zhang, "XVCL: XML-based variant configuration language," in Proc. Int'l Conf. on Software Engineering. Los Alamitos, CA, USA: IEEE Computer Society, 2003, pp. 810-811.

Digital Library

[20]

K. Kang et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study," Software Engineering Institute, Tech. Rep. CMU/SEI-90-TR-21, Nov. 1990.

[21]

C. Kästner, S. Apel, and M. Kuhlemann, "Granularity in software product lines," in Proc. Int'l Conf. on Software Engineering. New York, NY, USA: ACM, May 2008, pp. 311-320.

Digital Library

[22]

C. Kästner, S. Apel, S. Trujillo, M. Kuhlemann, and D. Batory, "Language-independent safe decomposition of legacy applications into features," School of Computer Science, University of Magdeburg, Germany, Tech. Rep. 2, Mar. 2008.

[23]

C. Krueger, "Easing the transition to software mass customization," in Proc. Int'l Workshop on Software Product-Family Eng. London, UK: Springer-Verlag, 2002, pp. 282-293.

Digital Library

[24]

J. Liu, D. Batory, and C. Lengauer, "Feature oriented refactoring of legacy applications," in Proc. Int'l Conf. on Software Engineering, 2006, pp. 112-121.

Digital Library

[25]

T. Nipkow and D. von Oheimb, "Java light is type-safe - definitely," in Proc. Conf. Principles of Programming Languages. New York, NY, USA: ACM, 1998, pp. 161-170.

Digital Library

[26]

N. Nystrom, S. Chong, and A. Myers, "Scalable extensibility via nested inheritance," in Proc. Conf. Object-Oriented Programming, Systems, Languages and Applications. New York, NY, USA: ACM Press, 2004, pp. 99-115.

Digital Library

[27]

B. C. Pierce, Types and Programming Languages. Cambridge, MA, USA: MIT Press, 2002.

Digital Library

[28]

K. Pohl, G. Böckle, and F. J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques. Secaucus, NJ, USA: Springer, 2005.

[29]

C. Szyperski, Component Software: Beyond Object-Oriented Programming. Addison-Wesley, 2002.

Digital Library

[30]

S. Thaker, D. Batory, D. Kitchin, and W. Cook, "Safe composition of product lines," in Proc. Int'l Conf. Generative Programming and Component Engineering. New York, NY, USA: ACM, 2007, pp. 95- 104.

Digital Library

Cited By

Lyu JLi SZhang HYang LLiu BRigger M(2024)Towards Efficient Build Ordering for Incremental Builds with Multiple ConfigurationsProceedings of the ACM on Software Engineering10.1145/36607741:FSE(1494-1517)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660774
Randrianaina GKhelladi DZendra OAcher MPasquale LTreude C(2022)Towards incremental build of software configurationsProceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results10.1145/3510455.3512792(101-105)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510455.3512792
Randrianaina GTërnava XKhelladi DAcher MDwyer MDamian DZeller A(2022)On the benefits and limits of incremental build of software configurationsProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510190(1584-1596)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510190
Show More Cited By

Recommendations

Type checking annotation-based product lines

Software product line engineering is an efficient means of generating a family of program variants for a domain from a single code base. However, because of the potentially high number of possible program variants, it is difficult to test them all and ...
Implementing type-safe software product lines using parametric traits

A software product line (SPL) is a set of related software systems with well-defined commonality and variability that are developed by reusing common artifacts. In this paper, we present a novel technique for implementing SPLs by exploiting mechanisms ...
Implementing software product lines using traits
SAC '10: Proceedings of the 2010 ACM Symposium on Applied Computing

A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this paper, we present a novel approach to implement SPL by fine-grained reuse ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

ASE '08: Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering

September 2008

538 pages

ISBN:9781424421879

Publisher

IEEE Computer Society

United States

Publication History

Published: 15 September 2008

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

67
Total Citations
View Citations
196
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)8

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Lyu JLi SZhang HYang LLiu BRigger M(2024)Towards Efficient Build Ordering for Incremental Builds with Multiple ConfigurationsProceedings of the ACM on Software Engineering10.1145/36607741:FSE(1494-1517)Online publication date: 12-Jul-2024
https://dl.acm.org/doi/10.1145/3660774
Randrianaina GKhelladi DZendra OAcher MPasquale LTreude C(2022)Towards incremental build of software configurationsProceedings of the ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results10.1145/3510455.3512792(101-105)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510455.3512792
Randrianaina GTërnava XKhelladi DAcher MDwyer MDamian DZeller A(2022)On the benefits and limits of incremental build of software configurationsProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510190(1584-1596)Online publication date: 21-May-2022
https://dl.acm.org/doi/10.1145/3510003.3510190
Beek MDamiani FLienhardt MMazzanti FPaolini L(2019)Static Analysis of Featured Transition SystemsProceedings of the 23rd International Systems and Software Product Line Conference - Volume A10.1145/3336294.3336295(39-51)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3336294.3336295
Halin ANuttinck AAcher MDevroey XPerrouin GBaudry B(2019)Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stackEmpirical Software Engineering10.1007/s10664-018-9635-424:2(674-717)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10664-018-9635-4
Dimovski ABrabrand CWąsowski A(2019)Finding suitable variability abstractions for lifted analysisFormal Aspects of Computing10.1007/s00165-019-00479-y31:2(231-259)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s00165-019-00479-y
Abal IMelo JStănciulescu ŞBrabrand CRibeiro MWąsowski A(2018)Variability Bugs in Highly Configurable SystemsACM Transactions on Software Engineering and Methodology10.1145/314911926:3(1-34)Online publication date: 12-Jan-2018
https://dl.acm.org/doi/10.1145/3149119
Halin ANuttinck AAcher MDevroey XPerrouin GHeymans PSchaefer I(2017)Yo variability! JHipsterProceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3023956.3023963(44-51)Online publication date: 1-Feb-2017
https://dl.acm.org/doi/10.1145/3023956.3023963
Li YZhu CRubin JChechik MLo DApel SKhurshid S(2016)Precise semantic history slicing through dynamic delta refinementProceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering10.1145/2970276.2970336(495-506)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2970276.2970336
Dintzner NBertolino ACanfora GElbaum S(2015)Safe evolution patterns for software product linesProceedings of the 37th International Conference on Software Engineering - Volume 210.5555/2819009.2819203(875-878)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2819009.2819203
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Table of Contents