摘要：针对在C4ISR能力需求分析中，UML对象建模语言领域适用性弱的问题．在能力元本体的基础上，从领域概念化入手，提出一种面向C4ISR能力分析的领域特定描述语言构建方法，并利用UML Profile扩展机制，设计了适用于该语言的对象建模方法，在此基础上，研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法．最终，采用一个野战装甲车维修领域特定模型验证案例，说明了该方法的有效性和可用性．

关键词：能力元本体 领域特定描述语言 领域特定模型 描述逻辑 

单位：解放军理工大学指挥自动化学院 南京210007 解放军理工大学理学院 南京211101