Title :
Behavior-Oriented Software Requirements Model and Logical Properties
Author :
Huai-Guang Wu ; Li Wan ; Guo-qing Wu ; Xiang Ling ; Zheng-Ping Liang
Author_Institution :
Sch. of Comput. Sci., Wuhan Univ., Wuhan, China
Abstract :
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.
Keywords :
behavioural sciences computing; calculus; formal specification; μ -calculus; logical property; reliability; software behavior oriented requirements model; Computer science; Costs; Documentation; Formal specifications; Logic; Natural languages; Reliability engineering; Safety; Software engineering; Software quality;
Conference_Titel :
Intelligent Systems and Applications (ISA), 2010 2nd International Workshop on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-5872-1
Electronic_ISBN :
978-1-4244-5874-5
DOI :
10.1109/IWISA.2010.5473744
