一句话：针对去中心化生态中的社区驱动可变性，提出建模形式化、模型自动抽取与实现衍生品分析的系统化框架。
现代去中心化软件生态（如 Bitcoin）通过众包改进提案（IP）演进，提案由独立参与者持续塑造并自主实现，从而形成社区驱动可变性（CDV）。这一新型范式超出传统可变性密集型系统，带来未解挑战与新机会。本论文旨在对该领域进行整体、系统化的处理，包括：(i) 建立能充分刻画 CDV 生态多样性的建模形式化；(ii) 提供从大规模开源 IP 数据自动抽取模型的工具支持；(iii) 将这些挖掘出的模型与具体实现衍生品的分析相集成。摘要未报告具体实验结果，工作目标是为 CDV 的建模、抽取与分析奠定统一基础。
Modern decentralized software ecosystems such as Bitcoin evolve through crowdsourced improvement proposals (IPs) that are continuously shaped and autonomously implemented by independent actors. As a result, these ecosystems exhibit Community-Driven Variability (CDV), a novel paradigm that extends beyond traditional variability-intensive systems and introduces unsolved challenges and new opportunities. With this thesis, we approach these challenges and step forward to enable a holistic, systematic treatment of this domain. This includes (i) establishing a modeling formalism that adequately captures the versatility of CDV ecosystems, (ii) providing tool support for automated model extraction from the large corpus of open-source IP data, and (iii) integrating these mined models with analyses of concrete implementation derivatives.