Behavior-Oriented Requirement Description Language

Requirement modeling is an important procedure in software requirement engineering. Different from current requirement modeling methodology, this paper presents a new software behavior-oriented requirement description language-behavior description language (BDL) and a modeling methodology, and introduces a prototype system implementing the methodology. By using the modeling methodology, effective behaviors of the target system can be extracted from the user's requirement information, and then the behavior model (or requirement model) of target system can be built. This behavior model helps the software users and developers to understand the behaviors of the target system more thoroughly, and establishes a foundation for automatically checking some characters of the target system.