By Topic

A Behavior Based Modeling Process and Verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Li Wan ; Comput. Sch., Wuhan Univ., Wuhan, China ; Huaiguang Wu ; Guoqing Wu

The correctness of software behaviors determines whether the software underdevelopment could meet the goal of stockholders and developers. Developing requirements models effectively for large scale and complex systems and describing their behaviors precisely are both obstacles in requirements engineering (RE) domain. Based on our research on software behaviors, we put forward a formal language-behavior description language (BDL) to specify the behaviors of applications. A modeling process is outlined based on BDL to model large and complex systems. A set of behavior characteristics are proposed to describe the correctness of the model and a series of verification methods are illustrated to verify these characteristics.

Published in:

Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on

Date of Conference:

11-13 Dec. 2009