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.
CITATION STYLE
Isazadeh, A., Lamb, D. A., & MacEwen, G. H. (1996). Behavioral views for software requirements engineering. In Proceedings - IEEE Symposium and Workshop on Engineering of Computer-Based Systems, ECBS 1996 (pp. 300–307). Institute of Electrical and Electronics Engineers Inc. https://doi.org/10.1109/ECBS.1996.494542
Mendeley helps you to discover research relevant for your work.