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