The Choice Calculus: A Representation for Software Variation

被引：76
作者：
Erwig, Martin [1 ]
Walkingshaw, Eric [1 ]
机构：
[1] Oregon State Univ, Corvallis, OR 97331 USA
来源：
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY | 2011年 / 21卷 / 01期
基金：
美国国家科学基金会;
关键词：
Languages; Theory; Variation; representation; MODELS;
D O I：
10.1145/2063239.2063245
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Many areas of computer science are concerned with some form of variation in software-from managing changes to software over time to supporting families of related artifacts. We present the choice calculus, a fundamental representation for software variation that can serve as a common language of discourse for variation research, filling a role similar to the lambda calculus in programming language research. We also develop an associated theory of software variation, including sound transformations of variation artifacts, the definition of strategic normal forms, and a design theory for variation structures, which will support the development of better algorithms and tools.
引用
收藏
页数：27
相关论文
共 34 条
[21]  
Mezini M., 2004, Software Engineering Notes, V29, P127, DOI 10.1145/1041685.1029915
[22]  
Ossher H., 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, P734, DOI 10.1109/ICSE.2000.870483
[23]  
Parnas D. L., 1976, IEEE Transactions on Software Engineering, VSe-2, P1, DOI 10.1109/TSE.1976.233797
[24]  
Pohl K., 2005, SOFTWARE PRODUCT LIN, V10
[25]  
ROSENTHAL M., 2009, THESIS U PASSAU GERM
[26]  
Schobbens PY, 2006, RE'06: 14TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, P139
[27]  
SPENCER H, 1992, PROCEEDINGS OF THE SUMMER 1992 USENIX CONFERENCE, P185
[28]  
Szekely P., 1992, CHI '92 Conference Proceedings. ACM Conference on Human Factors in Computing Systems. Striking a Balance, P507, DOI 10.1145/142750.142912
[29]  
Tarr P., 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002), P107, DOI 10.1109/ICSE.1999.841000
[30]  
Tichy W. F., 1982, Sixth International Conference on Software Engineering, P58
1234