Constraint-oriented specification of performance aspects


Share/Save/Bookmark

Katoen, J.P. (2006) Constraint-oriented specification of performance aspects. In: 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
[img]
Preview
PDF
121kB
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/66638
Official URL:http://asna.ewi.utwente.nl/liber-chris/Liber%20Amicorum/Liber_Amicorum22-01-2006-final.pdf
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 237643