Constraint-oriented specification of performance aspects


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

open access
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.
Item Type:Book Section
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 237643