An approach to interface synthesis

  • Authors:
  • Jan Madsen;Bjarne Hald

  • Affiliations:
  • Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark;Department of Computer Science, Technical University of Denmark, DK-2800 Lyngby, Denmark

  • Venue:
  • ISSS '95 Proceedings of the 8th international symposium on System synthesis
  • Year:
  • 1995

Quantified Score

Hi-index 0.01

Visualization

Abstract

Abstract: Presents a novel interface synthesis approach based on a one-sided interface description. Whereas most other approaches consider interface synthesis as optimizing a channel to existing client/server modules, we consider the interface synthesis as part of the client/server module synthesis (which may contain the re-use of existing modules). The interface synthesis approach describes the basic transformations needed to transform the server interface description into an interface description on the client side of the communication medium. The synthesis approach is illustrated through a point-to-point communication, but is applicable to synthesis of a multiple client/server environment. The interface description is based on a formalization of communication events.