DocumentCode :
3534408
Title :
Validating component compositions in software system generators
Author :
Batory, Don ; Geraci, Bart J.
Author_Institution :
Dept. of Comput. Sci., Texas Univ., Austin, TX, USA
fYear :
1996
fDate :
23-26 April 1996
Firstpage :
72
Lastpage :
81
Abstract :
Generators synthesize software systems by composing components from reuse libraries. In general, not all syntactically correct compositions are semantically correct. We present domain independent algorithms for the GenVoca model of software generators to validate component compositions. Our work relies on attribute grammars and offers powerful debugging capabilities with explanation based error reporting. We illustrate our approach by showing how compositions are debugged by a GenVoca generator for container data structures.
Keywords :
application generators; attribute grammars; program debugging; program verification; software libraries; software reusability; software tools; GenVoca model; attribute grammars; component composition validation; component compositions; container data structures; debugging capabilities; domain independent algorithms; explanation based error reporting; reuse libraries; software system generators; Aerospace electronics; Application software; Buildings; Containers; Data structures; Debugging; Programming; Software libraries; Software systems; Software tools;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Reuse, 1996., Proceedings Fourth International Conference on
Conference_Location :
Orlando, FL, USA
Print_ISBN :
0-8186-7301-X
Type :
conf
DOI :
10.1109/ICSR.1996.496115
Filename :
496115
Link To Document :
بازگشت