Volume 7 Number 9 (Sep. 2012)
Home > Archive > 2012 > Volume 7 Number 9 (Sep. 2012) >
JSW 2012 Vol.7(9): 2046-2052 ISSN: 1796-217X
doi: 10.4304/jsw.7.9.2046-2052

Generating Executable Capability Models for Requirements Validation

Weizhong Zhang1, Zhixue Wang1, Wen Zhao1, 2, Yingying Yang1, and Xin Xin3

1Institute of Command Automation, PLA University of Science & Technology, Nanjing, China.
2Army Reserve Duty No.47 Infantry Division of Liaoning, Siping, China
3Xi’an Communication Institute of PLA, Xi’an, China.


Abstract—Executable modeling allows the models to be executed and treated as prototypes to determine the behaviors of a system. In this paper, we propose an approach for formalizing requirement models and generating executable models from them. Application activity diagrams (AADs), which are used to represent dynamic behaviors of systems in capability requirements models, are firstly formalized and saved as XML documents. Then, on the basis of these models, a mapping algorithm of translating AADs into instances of executable models for simulation is proposed. A case study is finally given to demonstrate the applicability of the method.

Index Terms—UML, Capability requirement, Executable model, Simulation

[PDF]

Cite: Weizhong Zhang, Zhixue Wang, Wen Zhao, Yingying Yang, and Xin Xin, "Generating Executable Capability Models for Requirements Validation," Journal of Software vol. 7, no. 9, pp. 2046-2052, 2012.

General Information

ISSN: 1796-217X (Online)
Frequency:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Apr 01, 2024 News!

    Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP   [Click]

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]