Deductive Synthesis of Event-Based Software Architectures

DOI 10.1109/ase.1999.802342 dblp

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.

BibTeX

@inproceedings{Penix:ASE99,
  author    = {John Penix},
  title     = {Deductive Synthesis of {Event-Based} Software Architectures},
  booktitle = {ASE},
  pages     = {311--314},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
}

Deductive Synthesis of Event-Based Software Architectures

Abstract

Related papers