The Choice Calculus: A Representation for Software Variation
The Choice Calculus: A Representation for Software Variation
复制标题
选择微积分：软件变异的表示
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Eric Walkingshaw
中科院分区：
文献类型：
--
作者：
Martin Erwig;Eric Walkingshaw
计算机科学的许多领域都与软件中的某种形式的变化有关——从管理随时间变化的软件到支持相关工件的家庭。我们提出了选择演算，这是软件变异的基本表示，可以作为变异研究的共同话语语言，在编程语言研究中扮演类似lambda演算的角色。我们还开发了软件变化的相关理论，包括变化工件的声音转换，战略规范形式的定义，以及变化结构的设计理论，这将支持更好的算法和工具的开发。
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.