Title :
Deductive synthesis of event-based software architectures
Author_Institution :
NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
Describes the application of the Rebound (REuse Based On UNDerstanding) framework to synthesize event-based software architectures. Within Rebound, deductive techniques are used to select components and wrap them for integration. The framework guides the selection of wrappers based on the problem specification and the components that are available for reuse. The wrapper specifications are used to generate matching conditions for component retrieval, creating a “retrieval for adaptation” scenario. The output of the synthesis activity is mapped to an event-based JavaBeans architecture
Keywords :
Java; computer aided software engineering; formal specification; inference mechanisms; reverse engineering; software architecture; software reusability; subroutines; JavaBeans architecture; Rebound framework; adaptation; component integration; component retrieval; component selection; component wrapping; deductive synthesis; event-based software architectures; matching conditions; problem specification; program understanding-based software component reuse; wrapper selection; wrapper specifications; Application software; Computer architecture; Computer industry; Java; Lattices; NASA; Plugs; Runtime; Software standards; Standards development;
Conference_Titel :
Automated Software Engineering, 1999. 14th IEEE International Conference on.
Conference_Location :
Cocoa Beach, FL
Print_ISBN :
0-7695-0415-9
DOI :
10.1109/ASE.1999.802342