Validating component compositions in software system generators

D. Batory, B.J. Geraci
Proceedings of Fourth IEEE International Conference on Software Reuse  
1 Generators synthesize software systems by composing components from reuse libraries. In general, not all syntactically correct compositions are semantically correct. In this paper, 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
more » ... are debugged by a GenVoca generator for container data structures.
doi:10.1109/icsr.1996.496115 dblp:conf/icsr/BatoryG96 fatcat:t2kfwd7dcvd6vjvlpbr27xc7ia