Constraint-oriented specification of performance aspects

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    39 Downloads (Pure)


    This note sketches how to extend (distributed) system specifications with performance constraints. The emphasis is on how to include performance aspects in a modular way. The key of the approach is to specify random delays as separated processes that are composed in parallel with an untimed, functional system specification. The use of parallel processes as separate constraints is in accordance with the constraint-oriented specification style as originally proposed by Vissers et al.
    Original languageUndefined
    Title of host publicationArchitectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers)
    EditorsMarten J. van Sinderen, M.J. van Sinderen, Luis Ferreira Pires, L. Ferreira Pires
    Place of PublicationEnschede
    PublisherTelematica Instituut
    Number of pages8
    ISBN (Print)90-75176-41-4
    Publication statusPublished - May 2006

    Publication series

    PublisherTelematica Instituut


    • EWI-8242
    • METIS-237643
    • IR-66638

    Cite this