Behavior-Oriented Software Requirements Model and Logical Properties

Requirements modeling is a key procedure in requirements engineering and has a important effect on the quality and cost of software. In this paper, we introduce a software behavior oriented requirements model based on our research and give syntax and semantics of the model in detail. In order to affirm correctness and reliability of the requirements model, we descript some properties, such as consistency and safety of system, behavioral trust and behavioral non-termination by means of μ -calculus, and apply to a case.