skip to main content
10.1145/1190216.1190238acmconferencesArticle/Chapter ViewAbstractPublication PagespoplConference Proceedingsconference-collections
Article

From implementation to theory in product synthesis

Published:17 January 2007Publication History

ABSTRACT

Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based product synthesis can be understood and generalized using elementary ideas from category theory. Doing so reveals (a) practical and previously unrecognized properties that product synthesis tools must satisfy, and (b) non-obvious generalizations of current techniques that will guide future research efforts in automated product development.

References

  1. D. Batory and S. O'Malley. "The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACM TOSEM, October 1992. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. D. Batory, C. Johnson, B. MacDonald, and D. von Heeder, "Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study", ACM TOSEM, Vol 11#2, April 2002, 191--214. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. D. Batory, "From Implementation to Theory in Product Synthesis", Dept. Computer Sciences, University of Texas at Austin, TR-06-53, October 2006.Google ScholarGoogle Scholar
  5. T. Biggerstaff and A. Perlis, Software Reusability Volume II: Applications and Experiences, Addison-Wesley, 1990. Google ScholarGoogle Scholar
  6. G. Bracha and W. Cook. "Mixin-Based Inheritance". OOPSLA and ECOOP 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. E.F. Codd. "A Relational Model of Data for Large Shared Data Banks", CACM 13 (6), 1970. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer-Verlag, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. E. Ernst, "Higher Order Hierarchies", ECOOP 2003.Google ScholarGoogle Scholar
  10. J. Goguen. "Principles of Parameterized Programming" in {5}.Google ScholarGoogle Scholar
  11. J. Goguen. "A Categorical Manifesto". Mathematical Structures in Computer Science, 1991.Google ScholarGoogle Scholar
  12. J. Gray, "What Next? A Dozen Information-Technology Research Goals", Microsoft Research MSR-TR-99-50, 1999.Google ScholarGoogle Scholar
  13. K. Kang, et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study", Tech Report CMU/SEI-90-TR-21.Google ScholarGoogle Scholar
  14. K.K. Lau. "Top-down Synthesis of Sorting Algorithms", The Computer Journal, 1992.Google ScholarGoogle Scholar
  15. O.L. Madsen and B. Müller-Pedersen, "Virtual Classes: A Powerful Mechanism in Object-Oriented Programming", OOPSLA 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. Odersky, et al. "An Overview of the Scala Programming Language". September 2004, scala.epfl.chGoogle ScholarGoogle Scholar
  17. D. Pavlovic and D.R. Smith. "Software Development by Refinement", UNU/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer-Verlag LNCS 2757, 2003.Google ScholarGoogle Scholar
  18. T. Reenskaug, et al. "OORASS: Seamless support for the creation and maintenance of object-oriented systems". Journal of Object-Oriented Programming, October 1992.Google ScholarGoogle Scholar
  19. P. Selinger, M.M. Astrahan, D.D. Chamberlin, R.A. Lorie, and T.G. Price. "Access Path Selection in a Relational Database System", ACM SIGMOD 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. From implementation to theory in product synthesis

                  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

                  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!