Software synthesis using generic architectures

摘要

We describe a framework for synthesizing software systems based on abstracting software system designs, problem descriptions, and the design process. The result of such an abstraction process is a generic architecture and the customization knowledge for customizing the architecture for instances of a problem class. The customization knowledge is used to assist a designer in customizing the architecture as opposed to completely automating the design of systems. We illustrate our approach using an implemented example of a generic tracking architecture which we have customized in two different domains. We describe how the designs produced using KASE compare to the original designs of the two systems, discuss how our work relates to other approaches to software design, and describe current work and plans for extending KASE to other application areas.