Towards migrating object-oriented frameworks to enable synthesis of product line members

George Heineman; Armend Hoxha; Boris Dudder; Jakob Rehof

doi:10.1145/2791060.2791076

Towards migrating object-oriented frameworks to enable synthesis of product line members

George Heineman, Armend Hoxha, Boris Dudder, Jakob Rehof

5 Citations (Scopus)

Abstract

For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. The framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. These units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications.

Original language	English
Title of host publication	Proceedings - 19th International Software Product Line Conference, SPLC 2015
Number of pages	5
Publisher	Association for Computing Machinery, Inc.
Publication date	20 Jul 2015
Pages	56-60
ISBN (Electronic)	9781450336130
DOIs	https://doi.org/10.1145/2791060.2791076
Publication status	Published - 20 Jul 2015
Event	19th International Software Product Line Conference, SPLC 2015 - Nashville, United States Duration: 20 Jul 2015 → 24 Jul 2015

Conference

Conference	19th International Software Product Line Conference, SPLC 2015
Country/Territory	United States
City	Nashville
Period	20/07/2015 → 24/07/2015
Sponsor	BigLever Software, Inc., Vanderbilt University

Series	ACM International Conference Proceeding Series
Volume	20-24-July-2015

Access to Document

10.1145/2791060.2791076

Cite this

Towards migrating object-oriented frameworks to enable synthesis of product line members. / Heineman, George; Hoxha, Armend; Dudder, Boris et al.
Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., 2015. p. 56-60 (ACM International Conference Proceeding Series, Vol. 20-24-July-2015).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Heineman, G, Hoxha, A, Dudder, B & Rehof, J 2015, Towards migrating object-oriented frameworks to enable synthesis of product line members. in Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc., ACM International Conference Proceeding Series, vol. 20-24-July-2015, pp. 56-60, 19th International Software Product Line Conference, SPLC 2015, Nashville, United States, 20/07/2015. https://doi.org/10.1145/2791060.2791076

Heineman G, Hoxha A, Dudder B, Rehof J. Towards migrating object-oriented frameworks to enable synthesis of product line members. In Proceedings - 19th International Software Product Line Conference, SPLC 2015. Association for Computing Machinery, Inc. 2015. p. 56-60. (ACM International Conference Proceeding Series, Vol. 20-24-July-2015). doi: 10.1145/2791060.2791076

@inproceedings{2eeda173446645dfb9bc0f93a0f12129,

title = "Towards migrating object-oriented frameworks to enable synthesis of product line members",

abstract = "For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. The framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. These units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications.",

author = "George Heineman and Armend Hoxha and Boris Dudder and Jakob Rehof",

year = "2015",

month = jul,

day = "20",

doi = "10.1145/2791060.2791076",

language = "English",

series = "ACM International Conference Proceeding Series",

publisher = "Association for Computing Machinery, Inc.",

pages = "56--60",

booktitle = "Proceedings - 19th International Software Product Line Conference, SPLC 2015",

note = "19th International Software Product Line Conference, SPLC 2015 ; Conference date: 20-07-2015 Through 24-07-2015",

}

TY - GEN

T1 - Towards migrating object-oriented frameworks to enable synthesis of product line members

AU - Heineman, George

AU - Hoxha, Armend

AU - Dudder, Boris

AU - Rehof, Jakob

PY - 2015/7/20

Y1 - 2015/7/20

N2 - For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. The framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. These units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications.

AB - For many software engineers, object-oriented frameworks represent the highest level of achievement in extensible design. The framework designers become experts in a specific application domain and design cooperating classes that impose specific responsibilities and collaborations for those seeking to extend the framework. In short, once a framework matures, it has complicated usage patterns that must be followed otherwise nothing works. Turning a framework into a software product line is challenging because of the difficulty in coding these complex behaviors and enabling the configuration of product line members using the framework. We propose to support this migration process by showing how to design a repository of modular units to synthesize member applications compositionally. These units are formalized using combinatory logic synthesis, a type-based approach to component-oriented synthesis. We demonstrate the feasibility of our approach with a Java-based product line for which we can automatically synthesize member applications.

UR - http://www.scopus.com/inward/record.url?scp=84982835425&partnerID=8YFLogxK

U2 - 10.1145/2791060.2791076

DO - 10.1145/2791060.2791076

M3 - Article in proceedings

AN - SCOPUS:84982835425

T3 - ACM International Conference Proceeding Series

SP - 56

EP - 60

BT - Proceedings - 19th International Software Product Line Conference, SPLC 2015

PB - Association for Computing Machinery, Inc.

T2 - 19th International Software Product Line Conference, SPLC 2015

Y2 - 20 July 2015 through 24 July 2015

ER -

Towards migrating object-oriented frameworks to enable synthesis of product line members

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this