article

From implementation to theory in product synthesis

Author:

Don BatoryAuthors Info & Claims

ACM SIGPLAN Notices, Volume 42, Issue 1

Pages 135 - 136

https://doi.org/10.1145/1190215.1190238

Published: 17 January 2007 Publication 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.

Digital 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.

Digital Library

[3]

D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004.

Digital Library

[4]

D. Batory, "From Implementation to Theory in Product Synthesis", Dept. Computer Sciences, University of Texas at Austin, TR-06-53, October 2006.

[5]

T. Biggerstaff and A. Perlis, Software Reusability Volume II: Applications and Experiences, Addison-Wesley, 1990.

[6]

G. Bracha and W. Cook. "Mixin-Based Inheritance". OOPSLA and ECOOP 1990.

Digital Library

[7]

E.F. Codd. "A Relational Model of Data for Large Shared Data Banks", CACM 13 (6), 1970.

Digital Library

[8]

H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer-Verlag, 1990.

Digital Library

[9]

E. Ernst, "Higher Order Hierarchies", ECOOP 2003.

[10]

J. Goguen. "Principles of Parameterized Programming" in {5}.

[11]

J. Goguen. "A Categorical Manifesto". Mathematical Structures in Computer Science, 1991.

[12]

J. Gray, "What Next? A Dozen Information-Technology Research Goals", Microsoft Research MSR-TR-99-50, 1999.

[13]

K. Kang, et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study", Tech Report CMU/SEI-90-TR-21.

[14]

K.K. Lau. "Top-down Synthesis of Sorting Algorithms", The Computer Journal, 1992.

[15]

O.L. Madsen and B. Müller-Pedersen, "Virtual Classes: A Powerful Mechanism in Object-Oriented Programming", OOPSLA 1989.

Digital Library

[16]

M. Odersky, et al. "An Overview of the Scala Programming Language". September 2004, scala.epfl.ch

[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.

[18]

T. Reenskaug, et al. "OORASS: Seamless support for the creation and maintenance of object-oriented systems". Journal of Object-Oriented Programming, October 1992.

[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.

Digital Library

Cited By

Höfner PMöller B(2016)Extended Feature AlgebraJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2015.12.00285:5(952-971)Online publication date: Aug-2016
https://doi.org/10.1016/j.jlamp.2015.12.002
Höfner PMöller BZelend A(2012)Foundations of coloring algebra with consequences for feature-oriented programmingProceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science10.1007/978-3-642-33314-9_3(33-49)Online publication date: 17-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33314-9_3
Höfner PMöller B(2009)An extension for feature algebraProceedings of the First International Workshop on Feature-Oriented Software Development10.1145/1629716.1629731(75-80)Online publication date: 6-Oct-2009
https://dl.acm.org/doi/10.1145/1629716.1629731
Show More Cited By

Index Terms

From implementation to theory in product synthesis
1. Software and its engineering

Recommendations

From implementation to theory in product synthesis
POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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 ...
Can reactive synthesis and syntax-guided synthesis be friends?
SPLASH Companion 2021: Companion Proceedings of the 2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

While reactive synthesis and syntax-guided synthesis (SyGuS) have seen enormous progress in recent years, combining the two approaches has remained a challenge. In this work, we present the synthesis of reactive programs from Temporal Stream Logic ...
Optimizing synthesis with metasketches
POPL '16

Many advanced programming tools---for both end-users and expert developers---rely on program synthesis to automatically generate implementations from high-level specifications. These tools often need to employ tricky, custom-built synthesis algorithms ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 42, Issue 1

Proceedings of the 2007 POPL Conference

January 2007

379 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1190215

Issue’s Table of Contents

POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
January 2007
400 pages
ISBN:1595935754
DOI:10.1145/1190216
General Chair:
Martin Hofmann
Ludwig-Maximilians U, Munich, Germany
,
Program Chair:
Matthias Felleisen
Northeastern University, Boston MA

Copyright © 2007 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: 17 January 2007

Published in SIGPLAN Volume 42, Issue 1

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
457
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 19 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Höfner PMöller B(2016)Extended Feature AlgebraJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2015.12.00285:5(952-971)Online publication date: Aug-2016
https://doi.org/10.1016/j.jlamp.2015.12.002
Höfner PMöller BZelend A(2012)Foundations of coloring algebra with consequences for feature-oriented programmingProceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science10.1007/978-3-642-33314-9_3(33-49)Online publication date: 17-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33314-9_3
Höfner PMöller B(2009)An extension for feature algebraProceedings of the First International Workshop on Feature-Oriented Software Development10.1145/1629716.1629731(75-80)Online publication date: 6-Oct-2009
https://dl.acm.org/doi/10.1145/1629716.1629731
Lee HKang KGnesi SCollet PSchmid K(2013)A design feature-based approach to deriving program code from featuresProceedings of the 7th International Workshop on Variability Modelling of Software-Intensive Systems10.1145/2430502.2430510(1-6)Online publication date: 23-Jan-2013
https://dl.acm.org/doi/10.1145/2430502.2430510
Apel SHutchins D(2008)A calculus for uniform feature compositionACM Transactions on Programming Languages and Systems10.1145/1745312.174531632:5(1-33)Online publication date: 24-May-2008
https://dl.acm.org/doi/10.1145/1745312.1745316
Apel SKaestner CLengauer CKontogiannis KLewis GLitoiu MSmith D(2008)Research challenges in the tension between features and servicesProceedings of the 2nd international workshop on Systems development in SOA environments10.1145/1370916.1370930(53-58)Online publication date: 11-May-2008
https://dl.acm.org/doi/10.1145/1370916.1370930
Apel SLeich TSaake G(2008)Aspectual Feature ModulesIEEE Transactions on Software Engineering10.1109/TSE.2007.7077034:2(162-180)Online publication date: 1-Mar-2008
https://dl.acm.org/doi/10.1109/TSE.2007.70770
Apel SLengauer CMöller BKästner C(2008)An Algebra for Features and Feature CompositionProceedings of the 12th international conference on Algebraic Methodology and Software Technology10.1007/978-3-540-79980-1_4(36-50)Online publication date: 28-Jul-2008
https://dl.acm.org/doi/10.1007/978-3-540-79980-1_4
Batory D(2007)Program refactoring, program synthesis, and model-driven developmentProceedings of the 16th international conference on Compiler construction10.5555/1759937.1759952(156-171)Online publication date: 26-Mar-2007
https://dl.acm.org/doi/10.5555/1759937.1759952
Uzuncaova EGarcia DKhurshid SBatory DCrnkovic IBertolino A(2007)A specification-based approach to testing software product linesThe 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering: companion papers10.1145/1295014.1295032(525-528)Online publication date: 3-Sep-2007
https://dl.acm.org/doi/10.1145/1295014.1295032
Show More Cited By

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 Issue’s Table of Contents