doi: 10.4304/jsw.7.9.2046-2052
Generating Executable Capability Models for Requirements Validation
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)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Oct 22, 2024 News!
Vol 19, No 3 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]
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]