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
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;
Conference_Titel :
Software Reuse, 1996., Proceedings Fourth International Conference on
Conference_Location :
Orlando, FL, USA
Print_ISBN :
0-8186-7301-X
DOI :
10.1109/ICSR.1996.496115