| 任务空间概念模型轻量级形式化校核方法初探 |
| |
| 引用本文： | 何晓晔,徐培德,沙基昌. 任务空间概念模型轻量级形式化校核方法初探[J]. 系统仿真学报, 2006, 18(5): 1108-1109 |
| |
| 作者姓名： | 何晓晔 徐培德 沙基昌 |
| |
| 作者单位： | 国防科技大学信息系统与管理学院,湖南,长沙,410073 |
| |
| 摘 要： | 任务空间概念模型是现实世界军事知识的第一层抽象，是仿真系统开发的业务基础。所以任务空间概念模型的质量直接影响到仿真系统的质量，任务空间概念模型自身的VV＆A是一个非常值得关注的问题。任务空间概念建模本质上看是军事领域的知识表示或者需求描述，定性描述占主要，定量成分非常少。因此，传统的通过分析输出数据的方法不能适应任务空间概念模型的特点。把轻量级形式化方法引入了任务空间概念模型的校核，提出形式化校核过程。并建立了部分校核模型。
|
| 关 键 词： | 概念模型 形式化 校核 验证 |
| 文章编号： | 1004-731X（2006）05-1108-02 |
| 收稿时间： | 2005-03-29 |
| 修稿时间： | 2006-02-16 |
Lightweight Formal Verification Method of Mission Space Conceptual Model Research |
| |
| HE Xiao-ye,XU Pei-de,SHA Ji-chang. Lightweight Formal Verification Method of Mission Space Conceptual Model Research[J]. Journal of System Simulation, 2006, 18(5): 1108-1109 |
| |
| Authors: | HE Xiao-ye XU Pei-de SHA Ji-chang |
| |
| Affiliation: | Academe of Information System and Management, National University of Defense Technology, Changsha 410073,China |
| |
| Abstract: | |
| |
| Keywords: | conceptual model formalization verification validation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
