Behavior-Oriented Software Requirements Model and Logical Properties

Requirements modeling is a key procedure in require-ments 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.

[1]  Darrel C. Ince,et al.  Practical formal methods with VDM , 1991 .

[2]  Jonathan D. Moffett,et al.  Behavioural Conflicts in a Causal Specification , 2004, Automated Software Engineering.

[3]  James M. Rehg,et al.  Software Behavior: Automatic Classification and its Applications , 2003 .

[4]  Tom Mens,et al.  Detecting model inconsistency through operation-based model construction , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[5]  Alistair G. Sutcliffe,et al.  Scenario-based requirements engineering , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[6]  Steve Schneider.  The B-method - an introduction , 2001, The cornerstones of computing series.

[7]  Ian Sommerville,et al.  Requirements engineering with viewpoints , 1996, Softw. Eng. J..

[8]  Leonardo Mariani,et al.  Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[9]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[10]  Colin Stirling,et al.  Modal and Temporal Logics for Processes , 1996, Banff Higher Order Workshop.