论文部分内容阅读
复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言，无法进行基于精确语义的模型检验，模型中容易存在语义上的矛盾或冲突。为了解决该问题，文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN（D）描述MEISRDL静态图图元，实现半形式化的MEISRDL模型的形式化转换，通过模型映射算法可以有效推理判断模型语义矛盾。实例证明：该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题，为复杂系统需求模型的语义一致性