Title :
Behavioral views for software requirements engineering
Author :
Isazadeh, Ayaz ; Lamb, David A. ; MacEwen, Glenn H.
Author_Institution :
Dept. of Comput. & Inf. Sci., Queen´´s Univ., Kingston, Ont., Canada
Abstract :
The paper introduces the concept of software behavioural views, and presents a formal notation for their specification and composition. The objective is software behavioral requirements specification independent of design and implementation. The paper claims that behavioral views can reduce the complexity of software behavioral requirements specification. To establish this claim, the paper introduces a notation, called Viewcharts, which is based on David Harel´s (1987) Statecharts. Viewcharts extends Statecharts to include behavioral views and their compositions, limits the scope of broadcast communications and, consequently, reduces the complexity of scale that Statecharts faces in behavioral specification of large systems
Keywords :
formal specification; large-scale systems; Statecharts; Viewcharts; broadcast communications; complexity; formal composition; formal specification; large systems; software behavioral requirements specification; software behavioural views; software requirements engineering; Broadcasting; Database systems; Design methodology; Information science; Large-scale systems; Object oriented modeling; Software systems; Switching systems; Telephony;
Conference_Titel :
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on
Conference_Location :
Friedrichshafen
Print_ISBN :
0-8186-7355-9
DOI :
10.1109/ECBS.1996.494542
