Abstract:

In order to make capability requirement models of SoS be executable, this paper proposes a method of constructing simulation virtual machine to implement capability requirement models based on capability meta-concept models. Requirement models are firstly formalized in Backus-naur form. Then, an algorithm is given to transform the models into simulation instances models with UML profile mechanism. A virtual machine for model simulation is built at last, which is used to execute the capability requirement model of SoS. A case study is finally given to demonstrate the applicability of the method.