Addressing performance requirements in the FDT-based design of distributed systems

Jeroen Schot

    Research output: Contribution to journalArticleAcademic

    1 Citation (Scopus)
    77 Downloads (Pure)

    Abstract

    The development of distributed systems is generally regarded as a complex and costly task, and for this reason formal description techniques such as LOTOS and ESTELLE (both standardized by the ISO) are increasingly used in this process. Our experience is that LOTOS can be exploited at many stages on the design trajectory, from requirements specification to implementation, but that the language elements do not allow direct formalization of performance requirements. To avoid duplication of effort by using two formalisms with distinct approaches, we propose a design method that incorporates performance constraints in an heuristic but effective manner.
    Original languageUndefined
    Pages (from-to)235-242
    JournalComputer communications
    Volume15
    Issue number4
    DOIs
    Publication statusPublished - 1992

    Keywords

    • IR-57497

    Cite this