Issue No. 02 - February (1997 vol. 23)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.585497
<p><b>Abstract</b>—GenVoca generators synthesize software systems by composing components from reuse libraries. GenVoca components are designed to export and import standardized interfaces, and thus be plug-compatible, interchangeable, and interoperable with other components. In this paper, we examine two different but important issues in software system synthesis. First, not all syntactically correct compositions of components are semantically correct. We present simple, efficient, and domain-independent algorithms for validating compositions of GenVoca components. Second, components that export and import immutable interfaces are too restrictive for software system synthesis. We show that the interfaces and bodies of GenVoca components are subjective, i.e., they mutate and enlarge upon instantiation. This mutability enables software systems with customized interfaces to be composed from components with "standardized" interfaces.</p>
GenVoca, software generators, subjectivity, composition validation, design rule checking.
D. Batory and B. J. Geraci, "Composition Validation and Subjectivity in GenVoca Generators," in IEEE Transactions on Software Engineering, vol. 23, no. , pp. 67-82, 1997.