可执行能力需求模型的动作语义研究  

Study on action semantics of executable capability requirement models

作　　者：王智学[1] 张炜钟[1] 赵文[1,2] 姜志平[1] 

机构地区：[1]解放军理工大学指挥自动化学院,江苏南京210007 [2]吉林陆军预备役步兵第四十七师,吉林四平136500

出　　处：《系统工程与电子技术》2011年第12期2662-2667,共6页Systems Engineering and Electronics

基　　金：国家高技术研究发展计划(2007AA01Z126);"十一五"国防重点预研基金(9140A06040108JB8101)资助课题

摘　　要：针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言(unified mod-eling language,UML)动作语义,提出了可执行能力需求建模方法。该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示。最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证。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 rood eling 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 finally realized. A case study shows that the proposed method can precisely describe the dynamic behaviors of capability requirements models and enable the simulation and verification.

关 键 词：统一建模语言 能力需求 动作语义 可执行模型 

分 类 号：E917[军事] TP303[自动化与计算机技术—计算机系统结构]