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

摘要：

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言( unified modeling language,UML)动作语义,提出了可执行能力需求建模方法.该方法在能力需求建模语言的基础上,添加可执行动作语义,提出了动作语义元模型,描述了动作语义的基本内容、执行机制以及表示.最后构建了可执行能力需求模型的仿真平台,并通过案例证明了可执行能力需求建模方法不仅能精确形式化描述能力需求模型的动态行为语义,同时也实现了能力需求模型的仿真和验证.

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

所属期刊栏目：33

分类号：E917;TP303(军事技术基础科学)

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

在线出版日期：2012-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2662-2667