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