An Approach to Interface Synthesis

Jan Madsen, Bjarne Hald

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    482 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationProceedings of the 8th International Symposium on System Synthesis
    Publication date1995
    ISBN (Print)0-8186-7076-2
    Publication statusPublished - 1995
    EventInternational Symposium on System Synthesis -
    Duration: 1 Jan 1995 → …
    Conference number: 8th


    ConferenceInternational Symposium on System Synthesis
    Period01/01/1995 → …

    Bibliographical note

    Copyright: 1995 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE


    Dive into the research topics of 'An Approach to Interface Synthesis'. Together they form a unique fingerprint.

    Cite this