[1]郝斐 蒋鑫 董庆超 张杰[].MEISRDL静态图模型的一致性检查方法[J].计算机技术与发展,2011,(10):28-31.
　HAO Fei,JIANG Xin,DONG Qing-chao,et al.Consistency Model Checking for MEISRDL Static Diagrams[J].,2011,(10):28-31.
点击复制

MEISRDL静态图模型的一致性检查方法()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2011年10期
页码:
28-31
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Consistency Model Checking for MEISRDL Static Diagrams
文章编号:
1673-629X（2011）10-0028-04
作者:
郝斐1 蒋鑫2 董庆超2 张杰[3]
[1]北京军区总医院信息科[2]解放军理工大学指挥自动化学院[3]总装备部驻318厂军事代表室
Author(s):
HAO Fei;  JIANG Xin;  DONG Qing-chao;  ZHANG Jie
[1]Department of Information, General Hospital of Beijing Military Region[2]Institute of Command Automation, PLA University of Science ＆ Technology[3]Military Representative office of General Armament Department in 318 Factory
关键词:
MEISRDL; --致性检查; 描述逻辑; SHOIN（D）
Keywords:
MEISRDL;  consistency detecting;  description Logic ;  SHOIN（D）
分类号:
E917 TP391.9
文献标志码:
A
摘要:
复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言，无法进行基于精确语义的模型检验，模型中容易存在语义上的矛盾或冲突。为了解决该问题，文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN（D）描述MEISRDL静态图图元，实现半形式化的MEISRDL模型的形式化转换，通过模型映射算法可以有效推理判断模型语义矛盾。实例证明：该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题，为复杂系统需求模型的语义一致性检查工作，提供了可靠的技术支持
Abstract:
MEISRDL is a kind of requirements description language to capture the characteristics of SoS business. But in such a way of semi-formal description,don＇ t make a model consistency detection based on exact semantics, and therefore there could be some semantic conflicts in the models. To solve the problem,it suggests a method for consistency detecting of models based on the MEISRDL static diagrams. This main idea is to transform the components of MEISRDL static diagrams into formal models by using description logic SHOIN （D）. Consistency of the transformed models can be automatically detected by automated reasoning systems. The experiment shows that the method can solve the problem of the model integrity checking based on exact semantics and guarantee consistency of multi-view models

备注/Memo

备注/Memo:
国防预研基金项目（9140A06020206JB8101）;”十一五”装备预先研究项目（513060102）;国家高技术研究发展计划（863计划）（2007AA01Z126）郝斐（1981-），男，山西原平人，助理工程师，CCF会员，主要研究方向为指挥自动化理论
更新日期/Last Update: 1900-01-01