research-article

Safe composition of non-monotonic features

Authors:

Martin Kuhlemann,

Christian KästnerAuthors Info & Claims

GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering

Pages 177 - 186

https://doi.org/10.1145/1621607.1621634

Published: 04 October 2009 Publication History

Abstract

Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to enable features to add and remove code, describe our analyses and implementation, and review case studies. We observe that more expressive features increase the complexity of developed programs rapidly -- up to the point where tools and automated concepts as presented in this paper are indispensable for verification.

References

[1]

S. Apel and C. Kastner. An overview of feature-oriented software development. Journal of Object Technology (JOT), 8(5):49--84, 2009.

[2]

S. Apel, C. Kastner, A. Großlinger, and C. Lengauer. Type-safe feature-oriented product lines. Technical Report MIP-0909, Department of Informatics and Mathematics, University of Passau, 2009.

[3]

S. Apel, M. Kuhlemann, and T. Leich. Generic feature modules: Two-staged program customization. In Proceedings of the International Conference on Software and Data Technologies (ICSOFT), pages 127--132, 2006.

[4]

S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Transactions on Software Engineering (TSE), 34(2):162--180, 2008.

Digital Library

[5]

S. Apel, C. Lengauer, B. M¨oller, and C. Kastner. An algebra for features and feature composition. In Proceedings of the International Conference on Algebraic Methodology and Software Technology (AMAST), pages 36--50, 2008.

Digital Library

[6]

I. Balaban, F. Tip, and R. Fuhrer. Refactoring support for class library migration. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 265--279, 2005.

Digital Library

[7]

D. Batory. Feature models, grammars, and propositional formulas. In Proceedings of the International Software Product Line Conference (SPLC), pages 7--20, 2005.

Digital Library

[8]

D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACMTransactions on Software Engineering and Methodology (TOSEM), 1(4):355--398, 1992.

Digital Library

[9]

D. Batory, J. N. Sarvela, and A. Rauschmayer. Scaling step-wise refinement. IEEE Transactions on Software Engineering (TSE), 30(6):355--371, 2004.

Digital Library

[10]

D. Batory, V. Singhal, M. Sirkin, and J. Thomas. Scalable software libraries. In Proceedings of the International Symposium on Foundations of Software Engineering (FSE), pages 191--199, 1993.

Digital Library

[11]

K. Czarnecki and K. Pietroszek. Verifying feature-based model templates against well-formedness OCL constraints. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 211--220, 2006.

Digital Library

[12]

K. Czarnecki and A. Wasowski. Feature diagrams and logics: There and back again. In Proceedings of the International Software Product Line Conference (SPLC), pages 23--34, 2007

Digital Library

[13]

B. Delaware, W. Cook, and D. Batory. A machine-checked model of safe composition. In Workshop on Foundations of Aspect-Oriented Languages (FOAL), pages 31--35, 2009.

Digital Library

[14]

D. Dig, S. Negara, V. Mohindra, and R. Johnson. ReBA: Refactoringaware binary adaptation of evolving libraries. In Proceedings of the International Conference on Software Engineering (ICSE), pages 441--450, 2008.

Digital Library

[15]

D. R. Engler andM.Musuvathi. Static analysis versus software model checking for bug finding. In International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), pages 191--210, 2004.

[16]

M. Fowler. Refactoring: Improving the design of existing code. Addison-Wesley Longman Publishing Co., Inc., 1999.

Digital Library

[17]

N. Juillerat and B. Hirsbrunner. Food: An intermediate model for automated refactoring. In International Conference on Software Methodologies, Tools and Techniques (SoMeT), pages 452--461, 2006.

Digital Library

[18]

K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-21, Software Engineering Institute, Carnegie Mellon University, 1990.

[19]

C. Kastner and S. Apel. Type-checking software product lines - A formal approach. In Proceedings of the International Conference on Automated Software Engineering (ASE), pages 258--267, 2008.

Digital Library

[20]

C. Kastner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In Proceedings of the International Conference on Software Engineering (ICSE), pages 311--320, 2008.

Digital Library

[21]

C.H.P. Kim, C. Kastner, and D. Batory. On the modularity of feature interactions. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 23--34, 2008.

Digital Library

[22]

C. W. Krueger. New methods in software product line practice. Communications of the ACM (CACM), 49(12):37--40, 2006.

Digital Library

[23]

M. Kuhlemann, D. Batory, and S. Apel. Refactoring feature modules. In Proceedings of the International Conference on Software Reuse (ICSR), 2009.

Digital Library

[24]

D. Lacey, N. D. Jones, E. Van Wyk, and C. C. Frederiksen. Proving correctness of compiler optimizations by temporal logic. In Proceedings of the International Symposium on Principles of Programming Languages (POPL), pages 283--294, 2002.

Digital Library

[25]

R. E. Lopez-Herrejon and D. Batory. A standard problem for evaluating product-line methodologies. In Proceedings of the International Symposium on Generative and Component-Based Software Engineering (GCSE), pages 10--24, 2001.

Digital Library

[26]

T. Mens, N. v. Eetvelde, D. Janssens, and S. Demeyer. Formalizing refactorings with graph transformations. Software Maintenance and Evolution: Research and Practice, 17(4):247--276, 2005.

Digital Library

[27]

M. W. Moskewicz, C. F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. In Proceedings of the Conference on Design Automation (DAC), pages 530--535, 2001.

Digital Library

[28]

S. S. Muchnick. Advanced compiler design and implementation. Morgan Kaufmann Publishers Inc., 1997.

Digital Library

[29]

W. F. Opdyke. Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, 1992.

Digital Library

[30]

D. L. Parnas. On the design and development of program families. IEEE Transactions on Software Engineering (TSE), SE-2(1):1--9, 1976.

Digital Library

[31]

C. Prehofer. Feature-oriented programming: A fresh look at objects. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), pages 419--443, 1997.

[32]

D. B. Roberts. Practical analysis for refactoring. PhD thesis, University of Illinois at Urbana-Champaign, 1999.

Digital Library

[33]

P. Steyaert, C. Lucas, K. Mens, and T. D'Hondt. Reuse contracts: Managing the evolution of reusable assets. In Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 268--285, 1996.

Digital Library

[34]

M. Tatsubori, S. Chiba, M.-O. Killijian, and K. Itano. OpenJava: A class-based macro system for Java. In Workshop on Reflection and Software Engineering, pages 117--133, 2000.

Digital Library

[35]

S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe composition of product lines. In Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), pages 95--104, 2007.

Digital Library

[36]

D. L. Whitfield and M.L. Soffa. An approach for exploring code improving transformations. ACM Transactions on Programming Languages and Systems (TOPLAS), 19(6):1053--1084, 1997.

Digital Library

Cited By

Bettini LDamiani FSchaefer I(2019)Compositional type checking of delta-oriented software product linesActa Informatica10.1007/s00236-012-0173-z50:2(77-122)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1007/s00236-012-0173-z
Thüm TApel SKästner CSchaefer ISaake G(2014)A Classification and Survey of Analysis Strategies for Software Product LinesACM Computing Surveys10.1145/258095047:1(1-45)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2580950
Zhang QKhedri RJaskolka J(2013)An aspect-oriented language for feature-modelingJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-013-0201-z5:3(343-356)Online publication date: 23-Jul-2013
https://doi.org/10.1007/s12652-013-0201-z
Show More Cited By

Index Terms

Safe composition of non-monotonic features
1. General and reference
  1. Cross-computing tools and techniques
    1. Validation
2. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
    2. Software verification and validation
      1. Empirical software validation
      2. Process validation
  2. Software notations and tools
    1. Software libraries and repositories

Recommendations

Safe composition of non-monotonic features
GPCE '09

Programs can be composed from features. We want to verify automatically that all legal combinations of features can be composed safely without errors. Prior work on this problem assumed that features add code monotonically. We generalize prior work to ...
Feature refactoring a multi-representation program into a product line
GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering

Feature refactoring is the process of decomposing a program into aset of modules, called features, that encapsulate increments in program functionality. Different compositions of features yield different programs. As programs are defined using multiple ...
Type safety for feature-oriented product lines

A feature-oriented product line is a family of programs that share a common set of features. A feature implements a stakeholder's requirement and represents a design decision or configuration option. When added to a program, a feature involves the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

GPCE '09: Proceedings of the eighth international conference on Generative programming and component engineering

October 2009

194 pages

ISBN:9781605584942

DOI:10.1145/1621607

General Chair:
Jeremy Siek
University of Colorado at Boulder, USA
,
Program Chair:
Bernd Fischer
University of Southampton, UK

ACM SIGPLAN Notices Volume 45, Issue 2
GPCE '09
February 2010
182 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/1837852
Issue’s Table of Contents

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 04 October 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

GPCE'09

Sponsor:

GPCE'09: Generative Programming and Component Engineering

October 4 - 5, 2009

Colorado, Denver, USA

Acceptance Rates

GPCE '09 Paper Acceptance Rate 18 of 62 submissions, 29%;

Overall Acceptance Rate 56 of 180 submissions, 31%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
229
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bettini LDamiani FSchaefer I(2019)Compositional type checking of delta-oriented software product linesActa Informatica10.1007/s00236-012-0173-z50:2(77-122)Online publication date: 2-Jan-2019
https://dl.acm.org/doi/10.1007/s00236-012-0173-z
Thüm TApel SKästner CSchaefer ISaake G(2014)A Classification and Survey of Analysis Strategies for Software Product LinesACM Computing Surveys10.1145/258095047:1(1-45)Online publication date: 1-Jun-2014
https://dl.acm.org/doi/10.1145/2580950
Zhang QKhedri RJaskolka J(2013)An aspect-oriented language for feature-modelingJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-013-0201-z5:3(343-356)Online publication date: 23-Jul-2013
https://doi.org/10.1007/s12652-013-0201-z
Lienhardt MClarke DEisenecker UApel SGnesi S(2012)Row types for delta-oriented programmingProceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems10.1145/2110147.2110161(121-128)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2110147.2110161
Schaefer IRabiser RClarke DBettini LBenavides DBotterweck GPathak ATrujillo SVillela K(2012)Software diversityInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0253-y14:5(477-495)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/s10009-012-0253-y
Zhang QKhedri RJaskolka J(2012)Verification of aspectual composition in feature-modelingProceedings of the 10th international conference on Software Engineering and Formal Methods10.1007/978-3-642-33826-7_8(109-125)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-33826-7_8
Schaefer IBettini LDamiani FBorba PChiba S(2011)Compositional type-checking for delta-oriented programmingProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960283(43-56)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960283
Kim SKim DLu LKim SPark S(2011)A feature-based approach for modeling role-based access control systemsJournal of Systems and Software10.1016/j.jss.2011.03.08484:12(2035-2052)Online publication date: 1-Dec-2011
https://dl.acm.org/doi/10.1016/j.jss.2011.03.084
Parra CCleve ABlanc XDuchien L(2010)Feature-based composition of software architecturesProceedings of the 4th European conference on Software architecture10.5555/1887899.1887919(230-245)Online publication date: 23-Aug-2010
https://dl.acm.org/doi/10.5555/1887899.1887919
Schaefer IBettini LDamiani FTanzarella N(2010)Delta-oriented programming of software product linesProceedings of the 14th international conference on Software product lines: going beyond10.5555/1885639.1885647(77-91)Online publication date: 13-Sep-2010
https://dl.acm.org/doi/10.5555/1885639.1885647
Show More Cited By

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents