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


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 (2006-2019); Bimonthly (Since 2020)
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
  • Dec 06, 2019 News!

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

  • Apr 16, 2020 News!

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

  • May 12, 2020 News!

    Vol 15, No 4 has been published with online version     [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]

  • May 12, 2020 News!

    The papers published in Vol 15, No 4 have all received dois from Crossref     [Click]