Systematic Development of High-performance Distributed System Architectures

Jeroen Schot, Jeroen Schot

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    47 Downloads (Pure)


    The author presents a view of how performance requirements are considered in the design of distributed and contributed systems, using the formal language LOTOS that does not support the specification of performance constraints directly in language elements. The design trajectory covered in this approach is discussed in terms of specific transformation steps that are relevant to the fulfillment of non-LOTOS requirements. The following four performance issues are addressed: (1) In the first formalization step, parallelism should be preserved as much as possible. (2) During the first transformation steps, process decomposition is performed in which knowledge about implementation elements is included. (3) The selection from among different structures can be supported by queuing networks for analysis and assessment for their relative applicability. (4) During the later transformation steps the implementation of abstract interfaces as defined in the specification should be efficient; the events should be implemented using appropriate call structures, and implementation mechanisms such as buffer management are relevant
    Original languageUndefined
    Title of host publicationFuture Trends 90's
    Number of pages7
    ISBN (Print)9780818620881
    Publication statusPublished - 1 Sep 1990
    EventSecond IEEE workshop on future trends on distributed computing systems - Cairo, Egypt, Cairo, Egypt
    Duration: 30 Sep 19902 Oct 1990

    Publication series



    WorkshopSecond IEEE workshop on future trends on distributed computing systems
    OtherSept. 30 - Oct. 2, 1990


    • METIS-119465
    • IR-18943

    Cite this