DocumentCode
2164236
Title
Viewcharts: a behavioral specification language for complex systems
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
15-16 Apr 1996
Firstpage
208
Lastpage
215
Abstract
The paper introduces a formalism called Viewcharts, for specification and composition of software behavioral views. The objective is software behavioral requirements specification independent of implementation. The paper claims that behavioral requirements of large scale and complex systems can be described formally as compositions of simple behavioral views. The Viewcharts formalism is presented to demonstrate the behavioral views and support the claim
Keywords
distributed processing; formal specification; specification languages; visual languages; Viewcharts; behavioral specification language; behavioral views; complex systems; simple behavioral views; software behavioral requirements specification; software behavioral views; Application software; Broadcasting; Design methodology; Information science; Large-scale systems; Pattern analysis; Real time systems; Software systems; Specification languages; Telephony;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on
Conference_Location
Honolulu, HI
Print_ISBN
0-8186-7515-2
Type
conf
DOI
10.1109/WPDRTS.1996.557683
Filename
557683
Link To Document