More Web Proxy on the site http://driver.im/

research-article

Feature-oriented language families: a case study

Authors:

Sven ApelAuthors Info & Claims

VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

Article No.: 11, Pages 1 - 8

https://doi.org/10.1145/2430502.2430518

Published: 23 January 2013 Publication History

Abstract

Software-language engineering is gaining momentum in research and practice, but it faces many challenges regarding language evolution, reuse, and variation. We propose language families, a feature-oriented approach to language engineering inspired by product lines and program families. The goal is to systematically manage the development and evolution of variants and versions of a software language in terms of the language features it provides. We offer a tool chain for the development and management of composable language features and language families. By means of a case study on the Web-programming language Mobl, we evaluate the practicality of our approach and discuss our experiences, open issues, and perspectives.

References

[1]

S. Apel and C. Kästner. An Overview of Feature-Oriented Software Development. JOT, 8(5):49--84, 2009.

[2]

S. Apel, C. Kästner, A. Größlinger, and C. Lengauer. Type Safety for Feature-Oriented Product Lines. ASE, 17(3):251--300, 2010.

Digital Library

[3]

S. Apel, C. Kästner, and C. Lengauer. Feature Featherweight Java: A Calculus for Feature-Oriented Programming and Stepwise Refinement. In GPCE, pages 101--112. ACM, 2008.

Digital Library

[4]

S. Apel, C. Kästner, and C. Lengauer. FeatureHouse: Language-Independent, Automated Software Composition. In ICSE, pages 221--231. IEEE, 2009.

Digital Library

[5]

S. Apel, C. Lengauer, B. Möller, and C. Kästner. An Algebraic Foundation for Automatic Feature-Based Program Synthesis. SCP, 75(11):1022--1047, 2010.

Digital Library

[6]

P. Avgustinov, A. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. abc: An Extensible AspectJ Compiler. In AOSD, pages 87--98. ACM, 2005.

Digital Library

[7]

D. Batory and E. Börger. Modularizing Theorems for Software Product Lines: The Jbook Case Study. JUCS, 14(12):2059--2082, 2008.

[8]

D. Batory, P. Höfner, and J. Kim. Feature Interactions, Products, and Composition. In GPCE, pages 13--22. ACM, 2011.

Digital Library

[9]

D. Batory, J. Liu, and J. Sarvela. Refinements and Multi-Dimensional Separation of Concerns. In ESEC/FSE, pages 48--57. ACM, 2003.

Digital Library

[10]

D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. TSE, 30(6):355--371, 2004.

Digital Library

[11]

S. Boxleitner, S. Apel, and C. Kästner. Language-Independent Quantification and Weaving for Feature Composition. In SoftComp, pages 45--54. Springer, 2009.

Digital Library

[12]

M. Bravenboer, K. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.17. A Language and Toolset for Program Transformation. SCP, 72(1--2):52--70, 2008.

Digital Library

[13]

M. Bravenboer and E. Visser. Concrete Syntax for Objects: Domain-Specific Language Embedding and Assimilation without Restrictions. In OOPSLA, pages 365--383. ACM, 2004.

Digital Library

[14]

W. Cazzola. Domain-Specific Languages in Few Steps - The Neverlang Approach. In SoftComp, pages 162--177. Springer, 2012.

Digital Library

[15]

P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2001.

Digital Library

[16]

W. Cook. Object-Oriented Programming Versus Abstract Data Types. In Proc. of REX School/Workshop on Foundations of Object-Oriented Languages, pages 151--178. Springer, 1991.

Digital Library

[17]

K. Czarnecki and U. Eisenecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.

Digital Library

[18]

B. Delaware, W. Cook, and D. Batory. Fitting the Pieces Together: A Machine-Checked Model of Safe Composition. In FSE, pages 243--252. ACM, 2009.

Digital Library

[19]

B. Delaware, W. Cook, and D. Batory. Product Lines of Theorems. In OOPSLA, pages 595--608. ACM, 2011.

Digital Library

[20]

T. Ekman and G. Hedin. The JastAdd Extensible Java Compiler. In OOPSLA, pages 1--18. ACM, 2007.

Digital Library

[21]

S. Erdweg, T. Rendel, C. Kästner, and K. Ostermann. SugarJ: Library-based Syntactic Language Extensibility. In OOPSLA, pages 391--406. ACM, 2011.

Digital Library

[22]

N. Haldiman, M. Denker, and O. Nierstrasz. Practical, Pluggable Types for a Dynamic Language. Computer Languages, Systems and Structures, 35(1):48--62, 2009.

Digital Library

[23]

Z. Hemel and E. Visser. Declaratively Programming the Mobile Web with Mobl. In OOPSLA, pages 695--712. ACM, 2011.

Digital Library

[24]

P. Hudak. Modular Domain Specific Languages and Tools. In ICSR, pages 134--142. IEEE, 1998.

Digital Library

[25]

C. Kästner, S. Apel, S. ur Rahman, M. Rosenmüller, D. Batory, and G. Saake. On the Impact of the Optional Feature Problem: Analysis and Case Studies. In SPLC, pages 181--190. SEI, 2009.

Digital Library

[26]

L. Kats and E. Visser. The Spoofax Language Workbench: Rules for Declarative Specification of Languages and IDEs. In OOPSLA, pages 444--463. ACM, 2010.

Digital Library

[27]

H. Krahn, B. Rumpe, and S. Völkel. MontiCore: A Framework for Compositional Development of Domain Specific Languages. STTT, 12(5):353--372, 2010.

Digital Library

[28]

S. Krishnamurthi, M. Felleisen, and D. Friedman. Synthesizing Object-Oriented and Functional Design to Promote Re-Use. In ECOOP, pages 91--113. Springer, 1998.

Digital Library

[29]

J. Liu, D. Batory, and C. Lengauer. Feature-Oriented Refactoring of Legacy Applications. In ICSE, pages 112--121. ACM, 2006.

Digital Library

[30]

S. Moser and O. Nierstrasz. The Effect of Object-Oriented Frameworks on Developer Productivity. IEEE Computer, 29(9):45--51, 1996.

Digital Library

[31]

N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An Extensible Compiler Framework for Java. In CC, volume 2622, pages 138--152. Springer, 2003.

Digital Library

[32]

M. Papi, M. Ali, T. Correa, Jr., J. Perkins, and M. Ernst. Practical Pluggable Types for Java. In ISSTA, pages 201--212. ACM, 2008.

Digital Library

[33]

D. Parnas. On the Design and Development of Program Families. TSE, 2(1):1--9, 1976.

Digital Library

[34]

B. Pierce. Types and Programming Languages. MIT Press, 2002.

Digital Library

[35]

J. Reynolds. User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction. In Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pages 13--23. MIT Press, 1994.

Digital Library

[36]

M. Rosenmüller, C. Kästner, N. Siegmund, S. Sunkle, S. Apel, T. Leich, and G. Saake. SQL à la Carte -- Toward Tailor-made Data Management. pages 117--136, 2009.

[37]

C. Simonyi, M. Christerson, and S. Clifford. Intentional Software. In OOPSLA, pages 451--464. ACM, 2006.

Digital Library

[38]

S. Sparks, K. Benner, and C. Faris. Managing Object-Oriented Framework Reuse. IEEE Computer, 29(9):52--61, 1996.

Digital Library

[39]

Guy Steele Jr. Growing a Language. Higher-Order and Symbolic Computation, 12(3):221--236, 1999.

Digital Library

[40]

M. Stonebraker and U. Cetintemel. "One Size Fits All": An Idea Whose Time Has Come and Gone. In ICDE, pages 2--11. IEEE, 2005.

Digital Library

[41]

M. Svahnberg and J. Bosch. Evolution in Software Product Lines: Two Cases. Journal of Software Maintenance, 11(6):391--422, 1999.

Digital Library

[42]

S. Thaker, D. Batory, D. Kitchin, and W. Cook. Safe Composition of Product Lines. In GPCE, pages 95--104. ACM, 2007.

Digital Library

[43]

M. Torgersen. The Expression Problem Revisited. In ECOOP, pages 123--143. Springer, 2004.

[44]

M. van den Brand, A. van Deursen, J. Heering, H. de Jong, M. de Jonge, T. Kuipers, P. Klint, L. Moonen, P. Olivier, J. Scheerder, J. Vinju, E. Visser, and J. Visser. The ASF+SDF Meta-environment: A Component-Based Language Development Environment. In CC, volume 2027, pages 365--370. Springer, 2001.

Digital Library

Cited By

Frölich Dvan Binsbergen L(2024) : An extensible meta-language with support for exploratory language development Journal of Systems and Software10.1016/j.jss.2024.111979211(111979)Online publication date: May-2024
https://doi.org/10.1016/j.jss.2024.111979
Pfeiffer J(2023)Systematic Component-Oriented Language Reuse2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00043(166-171)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00043
Frölich Dvan Binsbergen LFischer BBurgueño LCazzola W(2022)iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567529(202-215)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567529
Show More Cited By

Index Terms

Feature-oriented language families: a case study
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. General programming languages
      1. Language types
        Extensible languages
    2. Software libraries and repositories

Recommendations

Language support for feature-oriented product line engineering
FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development

Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variability of family members, product line implementation gives its attention to ...
Feature-oriented programming with Ruby
FOSD '09: Proceedings of the First International Workshop on Feature-Oriented Software Development

Features identify core characteristics of software in order to produce families of programs. Through configuration, different variants of a program can be composed. Our approach is to design features as first-class entities of a language. With this ...
Variant-preserving refactoring in feature-oriented software product lines
VaMoS '12: Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems

A software product line (SPL) is an advanced concept to manage a family of programs under one umbrella. As with stand-alone programs, maintenance is an important challenge within SPL engineering. One pivotal activity during software maintenance is ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

VaMoS '13: Proceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems

January 2013

136 pages

ISBN:9781450315418

DOI:10.1145/2430502

General Chair:
Stefania Gnesi
ISTI-CNR, Italy
,
Program Chairs:
Philippe Collet
Université Nice Sophia Antipolis - CNRS/I3S, France
,
Klaus Schmid
University of Hildesheim, Germany

Copyright © 2013 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

ICAR, National Research Council, Section of Naples, Italy: ICAR, National Research Council, Section of Naples, Italy
CNR: Istituto di Scienza e Tecnologie dell Informazione

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 January 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Deutsche Forschungsgemeinschaft

Conference

VaMoS '13

Sponsor:

ICAR, National Research Council, Section of Naples, Italy
CNR

VaMoS '13: The Seventh International Workshop on Variability Modelling of Software-intensive Systems

January 23 - 25, 2013

Pisa, Italy

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

25
Total Citations
View Citations
261
Total Downloads

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

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Frölich Dvan Binsbergen L(2024) : An extensible meta-language with support for exploratory language development Journal of Systems and Software10.1016/j.jss.2024.111979211(111979)Online publication date: May-2024
https://doi.org/10.1016/j.jss.2024.111979
Pfeiffer J(2023)Systematic Component-Oriented Language Reuse2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C59198.2023.00043(166-171)Online publication date: 1-Oct-2023
https://doi.org/10.1109/MODELS-C59198.2023.00043
Frölich Dvan Binsbergen LFischer BBurgueño LCazzola W(2022)iCoLa: A Compositional Meta-language with Support for Incremental Language DevelopmentProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567529(202-215)Online publication date: 29-Nov-2022
https://dl.acm.org/doi/10.1145/3567512.3567529
Cazzola WFavalli L(2022)Towards a recipe for language decomposition: quality assessment of language product linesEmpirical Software Engineering10.1007/s10664-021-10074-627:4Online publication date: 1-Jul-2022
https://dl.acm.org/doi/10.1007/s10664-021-10074-6
Sobernig S(2022)Object Parsing Expressions for Unplanned, Unmodified, and Incremental Grammar ReuseSoftware Technologies10.1007/978-3-031-11513-4_2(24-40)Online publication date: 18-Jul-2022
https://doi.org/10.1007/978-3-031-11513-4_2
Pfeiffer JWortmann A(2021)Towards the Black-Box Aggregation of Language Components2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)10.1109/MODELS-C53483.2021.00088(576-585)Online publication date: Oct-2021
https://doi.org/10.1109/MODELS-C53483.2021.00088
Butting AHölldobler KRumpe BWortmann A(2021)Compositional Modelling Languages with Analytics and Construction Infrastructures Based on Object-Oriented Techniques—The MontiCore ApproachComposing Model-Based Analysis Tools10.1007/978-3-030-81915-6_10(217-234)Online publication date: 18-Jul-2021
https://doi.org/10.1007/978-3-030-81915-6_10
Favalli LKühn TCazzola WLopez-Herrejon R(2020)Neverlang and FeatureIDE just marriedProceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A10.1145/3382025.3414961(1-11)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1145/3382025.3414961
Butting APfeiffer JRumpe BWortmann ASyriani ESahraoui H(2020)A compositional framework for systematic modeling language reuseProceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3365438.3410934(35-46)Online publication date: 16-Oct-2020
https://dl.acm.org/doi/10.1145/3365438.3410934
Sobernig SSobernig S(2020)Variability Support in DSL DevelopmentVariable Domain-specific Software Languages with DjDSL10.1007/978-3-030-42152-6_2(33-72)Online publication date: 10-Jul-2020
https://doi.org/10.1007/978-3-030-42152-6_2
Show More Cited By

View Options

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