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

摘要

针对目前基于能力的需求建模方法在形式化以及验证方面的不足,借鉴统一建模语言( unified modeling 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 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 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.