skip to main content
research-article

Abstract delta modeling

Published:10 October 2010Publication History
Skip Abstract Section

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.Google ScholarGoogle Scholar
  2. }}S. Apel, C. Kaestner, and C. Lengauer. FeatureHouse: Language-independent, automated software composition. In ICSE, pages 221--231, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. }}S. Apel, T. Leich, and G. Saake. Aspectual feature modules. IEEE Trans. Software Eng., 34(2):162--180, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. }}S. Apel, C. Lengauer, B. Moeller, and C. Kaestner. An algebraic foundation for automatic feature-based progra.Google ScholarGoogle Scholar
  5. }}synthesis. Science of Computer Programming (SCP), 2010. To appear.Google ScholarGoogle Scholar
  6. }}S. Apel, C. Kaestner, and D.Batory. Program refactoring using functional aspects. In GPCE, pages 161--170, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. }}D.S. Batory, J. Sarvela, and A. Rauschmayer. Scaling Step-Wise Refinement. IEEE Trans. Software Eng., 30(6), 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. }}G. Bracha. Executable Grammars in Newspeak. ENTCS, 193:3--18, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. }}D. Clarke, M. Helvensteijn, and I. Schaefer. Abstract delta modeling. Technical Report CW592, Dept. Computer Sciences, Katholiek. Universiteit Leuven, August 2010.Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. }}P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison Wesley Longman, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. }}S. Ducasse, O. Nierstrasz, N. Schaerli, R. Wuyts, and A. Black. Traits: A mechanism for fine-grained reuse. ACM TOPLAS, 28(2), 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. }}O. Haugen, B. Moller-Pedersen, J. Oldevik, G. Olsen, and A. Svendsen. Adding Standardized Variability to Domain Specific Languages. In SPLC, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. }}F. Heidenreich and C. Wende. Bridging the Gap Between Features and Models. In Aspect-Oriented Product Line Engineering (AOPLE'07), 2007.Google ScholarGoogle Scholar
  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.Google ScholarGoogle ScholarCross RefCross Ref
  20. }}J. Jacobson. A formalization of Darcs patch theory using inverse semigroups. Technical Report CAM report 09--83, UCLA, 2009.Google ScholarGoogle Scholar
  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.Google ScholarGoogle ScholarCross RefCross Ref
  22. }}C. Kaestner and S. Apel. Type-Checking Software Product Lines - A Formal Approach. In ASE, pages 258--267. IEEE, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. }}C. Kaestner, S. Apel, and D.S. Batory. A Case Study Implementing Features Using AspectJ. In SPLC, pages 223--232. IEEE, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. }}C. Kaestner, S. Apel, and M. Kuhlemann. Granularity in software product lines. In ICSE, pages 311--320, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. }}C.W. Krueger. New Methods in Software Product Line Development. In SPLC, pages 95--102, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. }}J. Liu, D.S. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In ICSE, pages 112--121, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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.Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. }}M. Mezini and K. Ostermann. Variability management with feature-oriented programming and aspects. In SIGSOFT FSE, pages 127--136. ACM, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  32. }}N. Noda and T. Kishi. Aspect-Oriented Modeling for Variability Management. In SPLC, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  33. }}M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007.Google ScholarGoogle Scholar
  34. }}J. Oldevik, O. Haugen, and B. Moller-Pedersen. Confluence in domain-independent product line transformations. In FASE, pages 34--48, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. }}G. Perrouin, J. Klein, N. Guelfi, and J.-M. Jezequel. Reconciling Automation and Flexibility in Product Derivation. In SPLC, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. }}K. Pohl, G. Boeckle, and F. Van Der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, Heidelberg, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. }}C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP, volume 1241 of LNCS, pages 419--443. Springer, 1997.Google ScholarGoogle Scholar
  38. }}S. Trujillo S. Apel, F. Janda and C. Kaestner. Model Superimposition in Software Product Lines. In International Conference on Model Transformation (ICMT), 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle ScholarCross RefCross Ref
  45. }}M. Voelter and I. Groher. Product Line Implementation using Aspect-Oriented and Model-Driven Software Development. In SPLC, pages 233--242, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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..Google ScholarGoogle Scholar

Index Terms

  1. Abstract delta modeling

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            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
            • 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

            Copyright © 2010 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 10 October 2010

            Check for updates

            Qualifiers

            • research-article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!