skip to main content
10.1145/1868294.1868298acmconferencesArticle/Chapter ViewAbstractPublication PagesgpceConference Proceedingsconference-collections
research-article

Abstract delta modeling

Published: 10 October 2010 Publication History

Abstract

Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-dependent conditions. This paper presents abstract delta modeling, which explores delta modeling from an abstract, algebraic perspective.
Compared to previous work, we take a more flexible approach with respect to conflicts between modifications and introduce the notion of conflict-resolving deltas. We present conditions on the structure of deltas to ensure unambiguous product generation.

References

[1]
}}Highly Adaptable and Trustworthy Software using Formal Methods (HATS)}, March 2009. http://www.hats-project.eu.
[2]
}}S. Apel, C. Kaestner, and C. Lengauer. FeatureHouse: Language-independent, automated software composition. In ICSE, pages 221--231, 2009.
[3]
}}S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Trans. Software Eng., 34(2):162--180, 2008.
[4]
}}S. Apel, C. Lengauer, B. Moeller, and C. Kaestner. An algebraic foundation for automatic feature-based progra.
[5]
}}synthesis. Science of Computer Programming (SCP), 2010. To appear.
[6]
}}S. Apel, C. Kaestner, and D.Batory. Program refactoring using functional aspects. In GPCE, pages 161--170, 2008.
[7]
}}D.S. Batory and S.W. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Trans. Softw. Eng. Methodol., 1(4):355--398, 1992.
[8]
}}D.S. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6), 2004.
[9]
}}D.S. Batory and D. Smith. Finite map spaces and quarks: Algebras of program structure. Technical Report TR-07--66, University of Texas at Austin, Dept. of Computer Sciences, 2007.
[10]
}}L. Bettini, F. Damiani, and I. Schaefer. Implementing Software Product Lines using Traits. In Proc. of Object-Oriented Programming Languages and Systems (OOPS), Track of ACM SAC, 2010.
[11]
}}G. Bracha. Executable Grammars in Newspeak. ENTCS, 193:3--18, 2007.
[12]
}}D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Technical Report CW592, Dept. Computer Sciences, Katholiek. Universiteit Leuven, August 2010.
[13]
}}P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001.
[14]
}}K. Czarnecki and M. Antkiewicz. Mapping Features to Models: A Template Approach Based on Superimposed Variants. In Conf. on Generative Programming and Component Engineering(GPCE), 2005.
[15]
}}S. Deelstra, M. Sinnema, and J. Bosch. Product Derivation in Software Product Families: A Case Study. Journal of Systems and Software, 74(2):173--194, 2005.
[16]
}}S. Ducasse, O. Nierstrasz, N. Schaerli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2), 2006.
[17]
}}O. Haugen, B. Moller-Pedersen, J. Oldevik, G. Olsen, and A. Svendsen. Adding Standardized Variability to Domain Specific Languages. In SPLC, 2008.
[18]
}}F. Heidenreich and C. Wende. Bridging the Gap Between Features and Models. In Aspect-Oriented Product Line Engineering (AOPLE'07), 2007.
[19]
}}P. Heymans, P.Y. Schobbens, J.C. Trigaux, Y. Bontemps, R. Matulevicius, and A. Classen. Evaluating formal properties of feature diagram languages. Software, IET, 2(3):281--302, 2008.
[20]
}}J. Jacobson. A formalization of Darcs patch theory using inverse semigroups. Technical Report CAM report 09--83, UCLA, 2009.
[21]
}}K.C. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-Oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, Carnegie Mellon University Software Engineering Institute, 1990.
[22]
}}C. Kaestner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In ASE, pages 258--267. IEEE, 2008.
[23]
}}C. Kaestner, S. Apel, and D.S. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223--232. IEEE, 2007.
[24]
}}C. Kaestner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In ICSE, pages 311--320, 2008.
[25]
}}C. Kaestner, S. Apel, S.S. ur Rahman, M. Rosenmueller, D.S. Batory, and G. Saake. On the impact of the optional feature problem: Analysis and case studies. In Proc. Int'l Software Product Line Conference (SPLC). SEI, 2009.
[26]
}}C.W. Krueger. New Methods in Software Product Line Development. In SPLC, pages 95--102, 2006.
[27]
}}J. Liu, D.S. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In ICSE, pages 112--121, 2006.
[28]
}}R.E. Lopez-Herrejon, D.S. Batory, and W.R. Cook. Evaluating Support for Features in Advanced Modularization Technologies. In ECOOP, volume 3586 of LNCS, pages 169--194. Springer, 2005.
[29]
}}N. Loughran and A. Rashid. Framed aspects: Supporting variability and configurability for AOP. In ICSR, volume 3107 of LNCS, pages 127--140. Springer, 2004.
[30]
}}T. Mens, G. Taentzer, and O. Runge. Detecting structural refactoring conflicts using critical pair analysis. Electr. Notes Theor. Comput. Sci., 127(3):113--128, 2005.
[31]
}}M. Mezini and K. Ostermann. Variability management with feature-oriented programming and aspects. In SIGSOFT FSE, pages 127--136. ACM, 2004.
[32]
}}N. Noda and T. Kishi. Aspect-Oriented Modeling for Variability Management. In SPLC, 2008.
[33]
}}M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007.
[34]
}}J. Oldevik, O. Haugen, and B. Moller-Pedersen. Confluence in domain-independent product line transformations. In FASE, pages 34--48, 2009.
[35]
}}G. Perrouin, J. Klein, N. Guelfi, and J.-M. Jezequel. Reconciling Automation and Flexibility in Product Derivation. In SPLC, 2008.
[36]
}}K. Pohl, G. Boeckle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.
[37]
}}C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, volume 1241 of LNCS, pages 419--443. Springer, 1997.
[38]
}}S. Trujillo S. Apel, F. Janda and C. Kaestner. Model Superimposition in Software Product Lines. In International Conference on Model Transformation (ICMT), 2009.
[39]
}}I. Schaefer. Variability Modelling for Model-Driven Development of Software Product Lines. In Intl. Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), 2010.
[40]
}}I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella. Delta-oriented programming of software product lines. In Proceedings, 14th International Software Product Line Conference, Lecture Notes in Computer Science, Jeju, South Korea, 2010. Springer.
[41]
}}I. Schaefer, A. Worret, and A. Poetzsch-Heffter. A Model-Based Framework for Automated Product Derivation. In Proc. of Workshop in Model-based Approaches for Product Line Engineering (MAPLE 2009), 2009.
[42]
}}Y.Smaragdakis and D.S. Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM Trans. Softw. Eng. Methodol., 11(2):215--255, 2002.
[43]
}}P.Tarr, H. Ossher, W. Harrison, and S.M Sutton Jr. N degrees of separation: multi-dimensional separation of concerns. In ICSE, pages 107--119, 1999.
[44]
}}A. van Deursen and P. Klint. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1):1--18, 2002.
[45]
}}M. Voelter and I. Groher. Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In SPLC, pages 233--242, 2007.
[46]
}}H. Zhang and S. Jarzabek. An XVCL-based Approach to Software Product Line Development. In Software Engineering and Knowledge Engineering, pages 267--275, 2003.

Cited By

View all
  • (2024)White-box validation of quantitative product lines by statistical model checking and process miningJournal of Systems and Software10.1016/j.jss.2024.111983210:COnline publication date: 1-Apr-2024
  • (2022)Effects of variability in models: a family of experimentsEmpirical Software Engineering10.1007/s10664-021-10112-327:3Online publication date: 1-May-2022
  • (2021)CHECKSUM: tracking changes and measuring contributions in cooperative systems modelingSoftware and Systems Modeling10.1007/s10270-020-00840-320:4(1079-1122)Online publication date: 5-Jan-2021
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
GPCE '10: Proceedings of the ninth international conference on Generative programming and component engineering
October 2010
198 pages
ISBN:9781450301541
DOI:10.1145/1868294
  • General Chair:
  • Eelco Visser,
  • Program Chair:
  • Jaakko Järvi
  • cover image ACM SIGPLAN Notices
    ACM SIGPLAN Notices  Volume 46, Issue 2
    GPCE '10
    Febuary 2011
    185 pages
    ISSN:0362-1340
    EISSN:1558-1160
    DOI:10.1145/1942788
    Issue’s Table of Contents
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: 10 October 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. automated product derivation
  2. conflict resolution
  3. delta modeling
  4. software product lines

Qualifiers

  • Research-article

Conference

GPCE'10
Sponsor:
GPCE'10: Generative Programming and Component Engineering
October 10 - 13, 2010
Eindhoven, The Netherlands

Acceptance Rates

GPCE '10 Paper Acceptance Rate 18 of 59 submissions, 31%;
Overall Acceptance Rate 56 of 180 submissions, 31%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)37
  • Downloads (Last 6 weeks)8
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)White-box validation of quantitative product lines by statistical model checking and process miningJournal of Systems and Software10.1016/j.jss.2024.111983210:COnline publication date: 1-Apr-2024
  • (2022)Effects of variability in models: a family of experimentsEmpirical Software Engineering10.1007/s10664-021-10112-327:3Online publication date: 1-May-2022
  • (2021)CHECKSUM: tracking changes and measuring contributions in cooperative systems modelingSoftware and Systems Modeling10.1007/s10270-020-00840-320:4(1079-1122)Online publication date: 5-Jan-2021
  • (2020)Structurally evolving component-port-connector architectures of centrally controlled systemsProceedings of the 14th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3377024.3377035(1-9)Online publication date: 5-Feb-2020
  • (2020)Automating system test case classification and prioritization for use case-driven testing in product linesEmpirical Software Engineering10.1007/s10664-020-09853-4Online publication date: 18-Aug-2020
  • (2018)TraceME chunks: the designTraceME: A Traceability-Based Method for Conceptual Model Evolution10.1007/978-3-319-89716-5_4(65-141)Online publication date: 1-May-2018
  • (2017)Delta-oriented product prioritization for similarity-based product-line testingProceedings of the 2nd International Workshop on Variability and Complexity in Software Design10.5555/3106050.3106059(34-40)Online publication date: 20-May-2017
  • (2017)DarwinSPLProceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3023956.3023962(92-99)Online publication date: 1-Feb-2017
  • (2017)A tool environment for quality assurance of delta-oriented model-based SPLsProceedings of the 11th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/3023956.3023960(84-91)Online publication date: 1-Feb-2017
  • (2017)Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE)10.1109/VACE.2017.8(34-40)Online publication date: May-2017
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media