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 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.