排序方式: 共有1条查询结果,搜索用时 0 毫秒
1
1.
复杂系统需求描述语言(MEISRDL)是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言,无法进行基于精确语义的模型检验,模型中容易存在语义上的矛盾或冲突。为了解决该问题,文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN(D)描述MEISRDL静态图图元,实现半形式化的MEISRDL模型的形式化转换,通过模型映射算法可以有效推理判断模型语义矛盾。实例证明:该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题,为复杂系统需求模型的语义一致性检查工作,提供了可靠的技术支持。 相似文献
1