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. Keywords—requirement engineering; software behavior; modeling language; multiple viewpoints

[1]  Javier Andrade Garda,et al.  A methodological framework for viewpoint-oriented conceptual modeling , 2004, IEEE Transactions on Software Engineering.

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

[3]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[4]  Sidney C. Bailin,et al.  Software requirements engineering , 2011 .

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

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

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

[8]  Gerald Kotonya,et al.  Software Requirements Engineering , 1999 .