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.
|Title of host publication||Architectural Design of Open Distributed Systems: From Interface to Telematics (Liber Amicorum dedicated to Chris Vissers)|
|Editors||Marten J. van Sinderen, M.J. van Sinderen, Luis Ferreira Pires, L. Ferreira Pires|
|Place of Publication||Enschede|
|Number of pages||8|
|Publication status||Published - May 2006|
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.