research-article

Delta modeling in practice: a Fredhopper case study

Authors:

Michiel Helvensteijn,

Radu Muschevici,

Peter Y. H. WongAuthors Info & Claims

VaMoS '12: Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems

Pages 139 - 148

https://doi.org/10.1145/2110147.2110163

Published: 25 January 2012 Publication History

Abstract

Delta modeling is a method for modeling software product lines (SPL), which supports the automated derivation of products. ABS is a recent modeling language and accompanying toolset that implements delta modeling as its core paradigm for developing variable systems. Due to its novelty, delta modeling has so far seen little practical application. However, only practical evaluation can indicate to what extent the delta modeling methodology is suited for the efficient and accurate modeling and implementation of SPLs. This paper reports on the development of an industrial scale product line in ABS following a workflow that guides the application of delta modeling in practice. By following the delta modeling workflow (DMW), we show how conflicting feature functionality can be systematically reconciled, and how DMW guides the implementation towards a globally unambiguous and complete product line. We further explain how this experience has been used to refine the workflow and its support by the ABS language.

References

[1]

The ABS Language Specification, 2011. http://tools.hats-project.eu/download/absrefmanual.pdf.

[2]

D. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6), 2004.

Digital Library

[3]

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.

Digital Library

[4]

D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract Delta Modeling. In Proceedings of the ninth international conference on Generative programming and component engineering, GPCE '10, pages 13--22, New York, NY, USA, Oct. 2010. ACM.

Digital Library

[5]

D. Clarke, R. Muschevici, J. Proença, I. Schaefer, and R. Schlatte. Variability modelling in the ABS language. In Formal Methods for Components and Objects, volume 6957 of LNCS. Springer, 2011.

Digital Library

[6]

A. Classen, Q. Boucher, and P. Heymans. A text-based approach to feature modelling: Syntax and semantics of TVL. Science of Computer Programming, 76(12):1130--1143, 2011.

Digital Library

[7]

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

Digital Library

[8]

Evaluation of Core Framework, Aug. 2010. Deliverable 5.2 of project FP7-231620 (HATS), available at http://www.hats-project.eu.

[9]

S. Ducasse, O. Nierstrasz, N. Schärli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2), 2006.

Digital Library

[10]

Highly Adaptable and Trustworthy Software using Formal Models, Mar. 2009. http://www.hats-project.eu.

[11]

M. Helvensteijn. Delta Modeling Workflow. In Proceedings of the 6th International Workshop on Variability Modelling of Software-intensive Systems, Leipzig, Germany, January 25--27 2012, ACM International Conference Proceedings Series. ACM, 2012.

Digital Library

[12]

E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen. ABS: A core language for abstract behavioral specification. In B. Aichernig, F. S. de Boer, and M. M. Bonsangue, editors, Proc. 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Lecture Notes in Computer Science. Springer-Verlag, 2011. To appear.

Digital Library

[13]

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.

[14]

C. Kästner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In ASE, pages 258--267. IEEE, 2008.

Digital Library

[15]

K. Pohl, G. Böckle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005.

Digital Library

[16]

I. Schaefer. Variability modelling for model-driven development of software product lines. In D. Benavides, D. S. Batory, and P. Grünbacher, editors, International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS), volume 37, pages 85--92. Universität Duisburg-Essen, 2010.

[17]

I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella. Delta-oriented programming of software product lines. In Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pages 77--91. Springer, 2010.

Digital Library

[18]

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.

[19]

J. Schäfer and A. Poetzsch-Heffter. JCoBox: Generalizing active objects to concurrent components. In European Conference on Object-Oriented Programming (ECOOP'10), volume 6183 of Lecture Notes in Computer Science, pages 275--299. Springer-Verlag, June 2010.

Digital Library

[20]

A. van Deursen and P. Klint. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1):1--18, 2002.

Cited By

Damiani FLienhardt MPaolini L(2020)On Slicing Software Product Line SignaturesLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_5(81-102)Online publication date: 20-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-61362-4_5
Damiani FLienhardt MPaolini L(2019)Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free formInternational Journal on Software Tools for Technology Transfer10.1007/s10009-019-00534-221:6(691-707)Online publication date: 23-Sep-2019
https://doi.org/10.1007/s10009-019-00534-2
Damiani FLienhardt MMuschevici RSchaefer I(2017)An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLsIntegrated Formal Methods10.1007/978-3-319-66845-1_8(111-126)Online publication date: 27-Aug-2017
https://doi.org/10.1007/978-3-319-66845-1_8
Show More Cited By

Recommendations

Engineering delta modeling languages
SPLC '13: Proceedings of the 17th International Software Product Line Conference

Delta modeling is a modular, yet flexible approach to capture spatial and temporal variability by explicitly representing the differences between system variants or versions. The conceptual idea of delta modeling is language-independent. But, in order ...
Abstract delta modeling
GPCE '10

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-...
Abstract delta modeling: my research plan
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2

Software product lines are sets of software programs with well defined commonalities and variabilities that are distinguished by which features they support. There is need of a way to organize the underlying code to clearly link features on the feature ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

VaMoS '12: Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems

January 2012

193 pages

ISBN:9781450310581

DOI:10.1145/2110147

General Chair:
Ulrich W. Eisenecker
University of Leipzig, Germany
,
Program Chairs:
Sven Apel
University of Passau, Germany
,
Stefania Gnesi
ISTI-CNR, Italy

Copyright © 2012 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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 January 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Seventh Framework Programme

Conference

VaMoS '12

VaMoS '12: Variability Modeling of Software-intensive Systems

January 25 - 27, 2012

Leipzig, Germany

Acceptance Rates

Overall Acceptance Rate 66 of 147 submissions, 45%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
149
Total Downloads

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

Reflects downloads up to 27 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Damiani FLienhardt MPaolini L(2020)On Slicing Software Product Line SignaturesLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_5(81-102)Online publication date: 20-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-61362-4_5
Damiani FLienhardt MPaolini L(2019)Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free formInternational Journal on Software Tools for Technology Transfer10.1007/s10009-019-00534-221:6(691-707)Online publication date: 23-Sep-2019
https://doi.org/10.1007/s10009-019-00534-2
Damiani FLienhardt MMuschevici RSchaefer I(2017)An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLsIntegrated Formal Methods10.1007/978-3-319-66845-1_8(111-126)Online publication date: 27-Aug-2017
https://doi.org/10.1007/978-3-319-66845-1_8
Hähnle RHelvensteijn MJohnsen ELienhardt MSangiorgi DSchaefer IWong P(2013)HATS Abstract Behavioral Specification: The Architectural ViewFormal Methods for Components and Objects10.1007/978-3-642-35887-6_6(109-132)Online publication date: 2013
https://doi.org/10.1007/978-3-642-35887-6_6
Helvensteijn M(2012)Abstract delta modelingProceedings of the 16th International Software Product Line Conference - Volume 210.1145/2364412.2364449(217-224)Online publication date: 2-Sep-2012
https://dl.acm.org/doi/10.1145/2364412.2364449
Helvensteijn MEisenecker UApel SGnesi S(2012)Delta modeling workflowProceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems10.1145/2110147.2110162(129-137)Online publication date: 25-Jan-2012
https://dl.acm.org/doi/10.1145/2110147.2110162
Wong PAlbert EMuschevici RProença JSchäfer JSchlatte R(2012)The ABS tool suiteInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0250-114:5(567-588)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/s10009-012-0250-1
Laud P(2012)Secure Implementation of Asynchronous Method Calls and FuturesTrusted Systems10.1007/978-3-642-35371-0_3(25-47)Online publication date: 2012
https://doi.org/10.1007/978-3-642-35371-0_3

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.

Figures

Tables

Media

View Table of Conten