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
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;
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
DOI :
10.1109/WPDRTS.1996.557683
