文章基本信息

标题：Generating Executable Capability Models for Requirements Validation
本地全文：下载
作者：Zhang, Weizhong ; Wang, Zhixue ; Zhao, Wen 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2012
卷号：7
期号：9
页码：2046-2052
DOI：10.4304/jsw.7.9.2046-2052
语种：English
出版社：Academy Publisher
摘要：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.
关键词：UML;Capability requirement;Executable model;Simulation