在组件安装中表示高级用户首选项
Expressing advanced user preferences in component installation
摘要：
最先进的基于组件的软件集合-如自由和开放源码软件发行版-由多达数十万个组件组成，具有复杂的相互依赖性和冲突。给定这样一个系统的特定安装，每个更改已安装组件集的请求都可能有（太）多令人满意的答案。我们提出了一个架构，允许表达先进的用户偏好的软件包选择自由和开源软件发行版。该架构由一种独立于发行版的格式组成，用于描述可用和已安装的软件包，称为CUDF（通用可升级性描述格式），以及一种称为MooML的基础语言，用于指定优化标准。我们提出了CUDF和MooML的语法和语义，并讨论了MooML的部分评估机制，它允许在包依赖求解器中获得效率。
英文摘要：
State of the art component-based software collections - such as FOSS distributions - are made of up to dozens of thousands components, with complex inter-dependencies and conflicts. Given a particular installation of such a system, each request to alter the set of installed components has potentially (too) many satisfying answers. We present an architecture that allows to express advanced user preferences about package selection in FOSS distributions. The architecture is composed by a distribution-independent format for describing available and installed packages called CUDF (Common Upgradeability Description Format), and a foundational language called MooML to specify optimization criteria. We present the syntax and semantics of CUDF and MooML, and discuss the partial evaluation mechanism of MooML which allows to gain efficiency in package dependency solvers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
