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 条
[1]  
[Anonymous], 2005, Database in Depth-Relational Theory for Practitioners
[2]   Aspectual feature modules [J].
Apel, Sven ;
Leich, Thomas ;
Saake, Gunter .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (02) :162-180
[3]  
Apel S, 2008, LECT NOTES COMPUT SC, V5140, P36
[4]  
ASSmann Uwe., 2003, INVASIVE SOFTWARE CO
[5]   Scaling step-wise refinement [J].
Batory, D ;
Sarvela, JN ;
Rauschmayer, A .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (06) :355-371
[6]   Generating product-lines of product-families [J].
Batory, D ;
Lopez-Herrejon, RE ;
Martin, JP .
ASE 2002: 17TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, 2002, :81-92
[7]  
Batory D., 2003, Software Engineering Notes, V28, P48, DOI 10.1145/949952.940079
[8]  
Batory D., 1992, ACM Transactions on Software Engineering and Methodology, V1, P355, DOI 10.1145/136586.136587
[9]  
Batory D, 2005, LECT NOTES COMPUT SC, V3714, P7
[10]  
BRACHA G, 1990, SIGPLAN NOTICES, V25, P303, DOI 10.1145/97946.97982
1234