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.
- }}Highly Adaptable and Trustworthy Software using Formal Methods (HATS)}, March 2009. http://www.hats-project.eu.Google Scholar
- }}S. Apel, C. Kaestner, and C. Lengauer. FeatureHouse: Language-independent, automated software composition. In ICSE, pages 221--231, 2009. Google Scholar
Digital Library
- }}S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Trans. Software Eng., 34(2):162--180, 2008. Google Scholar
Digital Library
- }}S. Apel, C. Lengauer, B. Moeller, and C. Kaestner. An algebraic foundation for automatic feature-based progra.Google Scholar
- }}synthesis. Science of Computer Programming (SCP), 2010. To appear.Google Scholar
- }}S. Apel, C. Kaestner, and D.Batory. Program refactoring using functional aspects. In GPCE, pages 161--170, 2008. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}D.S. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6), 2004. Google Scholar
Digital Library
- }}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.Google Scholar
- }}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. Google Scholar
Digital Library
- }}G. Bracha. Executable Grammars in Newspeak. ENTCS, 193:3--18, 2007. Google Scholar
Digital Library
- }}D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Technical Report CW592, Dept. Computer Sciences, Katholiek. Universiteit Leuven, August 2010.Google Scholar
Digital Library
- }}P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}S. Ducasse, O. Nierstrasz, N. Schaerli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2), 2006. Google Scholar
Digital Library
- }}O. Haugen, B. Moller-Pedersen, J. Oldevik, G. Olsen, and A. Svendsen. Adding Standardized Variability to Domain Specific Languages. In SPLC, 2008. Google Scholar
Digital Library
- }}F. Heidenreich and C. Wende. Bridging the Gap Between Features and Models. In Aspect-Oriented Product Line Engineering (AOPLE'07), 2007.Google Scholar
- }}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.Google Scholar
Cross Ref
- }}J. Jacobson. A formalization of Darcs patch theory using inverse semigroups. Technical Report CAM report 09--83, UCLA, 2009.Google Scholar
- }}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.Google Scholar
Cross Ref
- }}C. Kaestner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In ASE, pages 258--267. IEEE, 2008. Google Scholar
Digital Library
- }}C. Kaestner, S. Apel, and D.S. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223--232. IEEE, 2007. Google Scholar
Digital Library
- }}C. Kaestner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In ICSE, pages 311--320, 2008. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}C.W. Krueger. New Methods in Software Product Line Development. In SPLC, pages 95--102, 2006. Google Scholar
Digital Library
- }}J. Liu, D.S. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In ICSE, pages 112--121, 2006. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}N. Loughran and A. Rashid. Framed aspects: Supporting variability and configurability for AOP. In ICSR, volume 3107 of LNCS, pages 127--140. Springer, 2004.Google Scholar
- }}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.Google Scholar
Digital Library
- }}M. Mezini and K. Ostermann. Variability management with feature-oriented programming and aspects. In SIGSOFT FSE, pages 127--136. ACM, 2004. Google Scholar
Digital Library
- }}N. Noda and T. Kishi. Aspect-Oriented Modeling for Variability Management. In SPLC, 2008. Google Scholar
Digital Library
- }}M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007.Google Scholar
- }}J. Oldevik, O. Haugen, and B. Moller-Pedersen. Confluence in domain-independent product line transformations. In FASE, pages 34--48, 2009. Google Scholar
Digital Library
- }}G. Perrouin, J. Klein, N. Guelfi, and J.-M. Jezequel. Reconciling Automation and Flexibility in Product Derivation. In SPLC, 2008. Google Scholar
Digital Library
- }}K. Pohl, G. Boeckle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005. Google Scholar
Digital Library
- }}C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, volume 1241 of LNCS, pages 419--443. Springer, 1997.Google Scholar
- }}S. Trujillo S. Apel, F. Janda and C. Kaestner. Model Superimposition in Software Product Lines. In International Conference on Model Transformation (ICMT), 2009. Google Scholar
Digital Library
- }}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.Google Scholar
- }}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. Google Scholar
Digital Library
- }}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.Google Scholar
- }}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. Google Scholar
Digital Library
- }}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. Google Scholar
Digital Library
- }}A. van Deursen and P. Klint. Domain-specific language design requires feature descriptions. Journal of Computing and Information Technology, 10(1):1--18, 2002.Google Scholar
Cross Ref
- }}M. Voelter and I. Groher. Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In SPLC, pages 233--242, 2007. Google Scholar
Digital Library
- }}H. Zhang and S. Jarzabek. An XVCL-based Approach to Software Product Line Development. In Software Engineering and Knowledge Engineering, pages 267--275, 2003..Google Scholar
Index Terms
Abstract delta modeling
Recommendations
Higher-order delta modeling for software product line evolution
FOSD 2016: Proceedings of the 7th International Workshop on Feature-Oriented Software DevelopmentIn software product lines (SPL), i.e., a family of similar software systems sharing common and variable artifacts, modeling evolution and reasoning about it is challenging, as not only a single system, but rather a set of system variants as well as ...
Abstract delta modeling
GPCE '10: Proceedings of the ninth international conference on Generative programming and component engineeringDelta 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-...
A modal logic for abstract delta modeling
SPLC '12: Proceedings of the 16th International Software Product Line Conference - Volume 2Abstract Delta Modeling is a technique for implementing (software) product lines. Deltas are placed in a partial order which restricts their application and are then sequentially applied to a core product in order to form specific products in the ...







Comments