第一届组件配置逻辑国际研讨会论文集
计算机科学中的逻辑
2010-07-07 v1 软件工程
摘要
本卷收录了第一届组件配置逻辑国际研讨会（LoCoCo 2010）上发表的论文。该研讨会与可满足性测试理论与应用国际会议（SAT 2010）联合举办，是联邦逻辑会议（FLoC 2010）的一部分，于2010年7月10日在英国爱丁堡举行。现代软件分发基于组件的概念，组件代表独立开发和部署的单元。组件在组织复杂软件分发时提供了必要的灵活性，但也带来了挑战：如何从大量可能的候选项中选择组件，并根据用户需求、资源约束以及与其他组件的相互依赖关系来配置这些组件。表示和解决配置问题是一个热门话题，对许多应用领域都至关重要。一些著名的复杂组件系统示例包括GNU/Linux等自由和开源软件分发，或Eclipse插件。LoCoCo研讨会侧重于基于逻辑的方法，用于指定和解决软件组件的复杂配置问题。其目标是汇集使用不同建模和求解技术（如约束与逻辑编程、描述逻辑、可满足性及其扩展）从事软件系统组件配置领域的研究人员和实践者。
引用
@article{arxiv.1007.0831,
title = {Proceedings First International Workshop on Logics for Component Configuration},
author = {Inês Lynce and Ralf Treinen},
journal= {arXiv preprint arXiv:1007.0831},
year = {2010}
}