Deductive synthesis of event-based software architectures

Author

Penix, John

Author_Institution

NASA Ames Res. Center, Moffett Field, CA, USA

fYear

1999

fDate

36434

Firstpage

311

Lastpage

314

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 1999. 14th IEEE International Conference on.

Conference_Location

Cocoa Beach, FL

Print_ISBN

0-7695-0415-9

Type

conf

DOI

10.1109/ASE.1999.802342

Filename

802342