Validating Component Compositions in Software System Generators

Authors:
Don S. Batory;Bart J. Geraci
Affiliations:
-;-
Venue:
Validating Component Compositions in Software System Generators
Year:
1995

Citing 0
Cited 3

Creating reference architectures: an example from avionics

SSR '95 Proceedings of the 1995 Symposium on Software reusability
Composition Validation and Subjectivity in GenVoca Generators

IEEE Transactions on Software Engineering
A model-based approach to simulation composition

SSR '99 Proceedings of the 1999 symposium on Software reusability

Quantified Score

Hi-index	0.00

Visualization

Abstract

GenVoca generators synthesize software systems by composing components from reuse libraries. Although GenVoca components can be composed in a vast number of ways, not all compositions are meaningful. In this talk, we present a model for validating component compositions. The model is based on attribute grammars and provides a powerful debugging capability of explanation-based error reporting. We demonstrate our results with examples from a GenVoca generator for container data structures. THIS PAPER IS ONLY AVAILABLE IN ELECTRONIC FORM.