| 可执行能力需求模型的动作语义研究 |
| |
| 引用本文： | 王智学,张炜钟,赵文,姜志平.可执行能力需求模型的动作语义研究[J].系统工程与电子技术,2011,33(12):2662-2667. |
| |
| 作者姓名： | 王智学 张炜钟 赵文 姜志平 |
| |
| 作者单位： | 1. 解放军理工大学指挥自动化学院, 江苏 南京 210007; 2. 吉林陆军预备役步兵第四十七师, 吉林 四平 136500 |
| |
| 基金项目： | 国家高技术研究发展计划(2007AA01Z126); “十一五”国防重点预研基金(9140A06040108JB8101)资助课题 |
| |
| 摘 要： | 针对目前基于能力的需求建模方法在形式化以及验证方面的不足，借鉴统一建模语言(unified modeling language, UML)动作语义，提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上，添加可执行动作语义，提出了动作语义元模型，描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台，并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义，同时也实现了能力需求模型的仿真和验证。
|
| 关 键 词： | 统一建模语言 能力需求 动作语义 可执行模型 |
Study on action semantics of executable capability requirement models |
| |
| WANG Zhi-xue,ZHANG Wei-zhong,ZHAO Wen,JIANG Zhi-ping.Study on action semantics of executable capability requirement models[J].System Engineering and Electronics,2011,33(12):2662-2667. |
| |
| Authors: | WANG Zhi-xue ZHANG Wei-zhong ZHAO Wen JIANG Zhi-ping |
| |
| Institution: | 1. Institute of Command Automation, PLA University of Science &Technology, Nanjing 210007, China;;
2. Army Reserve Duty NO.47 Infantry Division of liaoning, Siping 136500, China |
| |
| Abstract: | Aiming at the deficiency of current approaches of requirements modeling in formal specification and verification of capability requirements,a method of executable capability requirement modeling(ECRM) is proposed based on unified modeling language(UML) action semantics.It extends capability requirements modeling language by adding appropriate executable action semantics.The meta-model is described,which includes the basic action semantics,execution mechanism and graphic notation.The ECRM simulator is finall... |
| |
| Keywords: | unified modeling language(UML) capability requirement action semantics executable model |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
