Design and realization of new software requirements description language

In this paper,a new software behavior oriented requirements modeling methodology and a behavior description language(BDL)are presented.The design and realization of the requirements description language are discussed.By using the mod-eling methodology,effective behaviors of the target system can be extracted from the user's requirements information,and then the behavior model of target system can be built.This modeling methodology can help the software users and developers to understand the behaviors of the target system more thoroughly,and can establish a foundation for automatically checking some characters of the target system.