Constraint-oriented specification of performance aspects

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

Preview

PDF
119Kb

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:	Formal Methods and Tools (FMT)
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

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 237643