Constraint-oriented specification of performance aspects

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    15 Downloads (Pure)

    Abstract

    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
    Pages47-54
    Number of pages8
    ISBN (Print)90-75176-41-4
    Publication statusPublished - May 2006

    Publication series

    Name
    PublisherTelematica Instituut
    Number10

    Keywords

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

    Cite this

    Katoen, J. P. (2006). Constraint-oriented specification of performance aspects. In M. J. van Sinderen, M. J. van Sinderen, L. Ferreira Pires, & L. Ferreira Pires (Eds.), Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers) (pp. 47-54). Enschede: Telematica Instituut.