Computer Science ›› 2011, Vol. 38 ›› Issue (4): 175-181.
Previous Articles Next Articles
WAN Li,WU Guo-qing,WU Huai-guang
Online:
Published:
Abstract: Requirements modeling is a key procedure in Requirements Engineering. "hhis paper put forward a bchaviororiented modeling methods; Ploted out problem domain of target system into several sub-domains. Viewpoints were then created in each sub-domain. Within each Viewpoint, a series of scenarios would be established according to rectuiremenu. A Scenario Behavior Model(SCBM) could then be established to specify each scenario by Behavior Description Language(BDL). A Viewpoint Behavior Model(VBM) could be constructed of all SBM within the Viewpoint and a System Behavior Model(SBM) could be constructed of all VBMs. A set of properties and their verification methods were proposed to check the correctness of behavior model and properties of the target system. Based on the methods above, a Behavior-oriented Requirements Modeling Tool(BRMT) was implemented.
Key words: Requirements modeling, Software behavior, Viewpoint, Scenario, Behavior description language
WAN Li,WU Guo-qing,WU Huai-guang. Research and Implement of Behavior-oriented Requirements Modeling[J].Computer Science, 2011, 38(4): 175-181.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2011/V38/I4/175
Cited