为了有效地辅助设计人员及时发现冲突并适时提供有效的冲突解决方案,分析了协同设计中约束的内涵及其动态性和层次性等特点,对约束满足问题进行了形式化表达.采用遗传算法作为协同设计过程中约束满足问题的求解方法,给出了该算法的具体实现过程.采用可扩展标记语言对网络环境下系统约束信息的数据进行了描述.在此基础上,提出了基于约束的冲突检测系统的体系结构,并对主要组成模块的功能进行了详细描述.开发了该冲突检测