针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力......

复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言，无法进行基于精确语义的......

针对非循环概念提出了一种对SHOIN（D）概念可满足性进行判断的方法——CDNF（complete disjunctive normal form）算法．该算法通过把非循环......

针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法。该......