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: Monthly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Aug 21, 2019 News!

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

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jul 10, 2019 News!

    Vol 14, No.8 has been published with online version 4 original aritcles from 2 countries are published in this issue.    [Click]

  • Sep 12, 2019 News!

    Vol 14, No 10 has been published with online version 4 original aritcles from 2 countries are published in this issue      [Click]