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

fYear

1996

fDate

11-15 Mar 1996

Firstpage

300

Lastpage

307

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on

Conference_Location

Friedrichshafen

Print_ISBN

0-8186-7355-9

Type

conf

DOI

10.1109/ECBS.1996.494542

Filename

494542