@inbook{cad8c37e340d4457b677b97d76b3fa05,
title = "Constraint-oriented specification of performance aspects",
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.",
keywords = "EWI-8242, METIS-237643, IR-66638",
author = "Katoen, \{Joost P.\}",
year = "2006",
month = may,
language = "Undefined",
isbn = "90-75176-41-4",
publisher = "Telematica Instituut",
number = "10",
pages = "47--54",
editor = "\{van Sinderen\}, \{Marten J.\} and \{van Sinderen\}, M.J. and \{Ferreira Pires\}, Luis and \{Ferreira Pires\}, L.",
booktitle = "Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers)",
}