| MEISRDL静态图模型的一致性检查方法 |
| |
| 引用本文： | 郝斐,蒋鑫,董庆超,张杰.MEISRDL静态图模型的一致性检查方法[J].微机发展,2011(10):28-31,35. |
| |
| 作者姓名： | 郝斐 蒋鑫 董庆超 张杰 |
| |
| 作者单位： | [1]北京军区总医院信息科,北京100049 [2]解放军理工大学指挥自动化学院,江苏南京210007 [3]总装备部驻318厂军事代表室,北京100053 |
| |
| 基金项目： | 国防预研基金项目（9140A06020206JB8101）;”十一五”装备预先研究项目（513060102）;国家高技术研究发展计划（863计划）（2007AA01Z126） |
| |
| 摘 要： | 复杂系统需求描述语言（MEISRDL）是一种基于业务特征的信息系统需求描述语言。由于该语言是一种半形式化语言，无法进行基于精确语义的模型检验，模型中容易存在语义上的矛盾或冲突。为了解决该问题，文章提出一种MEISRDL静态图模型的一致性检查方法。该方法采用描述逻辑SHOIN（D）描述MEISRDL静态图图元，实现半形式化的MEISRDL模型的形式化转换，通过模型映射算法可以有效推理判断模型语义矛盾。实例证明：该方法解决了MEISRDL静态图模型无法进行精确语义模型检验的问题，为复杂系统需求模型的语义一致性检查工作，提供了可靠的技术支持。
|
| 关 键 词： | MEISRDL --致性检查 描述逻辑 SHOIN（D） |
Consistency Model Checking for MEISRDL Static Diagrams |
| |
| HAO Fei,JIANG Xin,DONG Qing-chao,ZHANG Jie.Consistency Model Checking for MEISRDL Static Diagrams[J].Microcomputer Development,2011(10):28-31,35. |
| |
| Authors: | HAO Fei JIANG Xin DONG Qing-chao ZHANG Jie |
| |
| Affiliation: | 1. Department of Information, General Hospital of Beijing Military Region, Beijing 100049 ,China; 2. Institute of Command Automation, PLA University of Science ＆ Technology, Nanjing 210007, China; 3. Military Representative office of General Armament Department in 318 Factory, Beijing 100053, China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
|
