Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) SHReQ: Coordinating Application Level QoS Koblenz, Germany September 07-September 09 ISBN: 0-7695-2435-4
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.40
We present SHReQ, a formal framework for specifying systems that handle abstract high-level QoS requirements which are becoming more and more important for service oriented computing. SHReQ combines Synchronised Hyperedge Replacement (SHR) with constraint-semirings. SHR is a (hyper)graph rewriting mechanism for modelling evolution of systems. The novelty of the approach relies on the synchronisation mechanism which is based on constraint-semirings, algebraic structures that provide both the mathematics for multi-criteria QoS and the synchronisation policies underlying the SHR mechanism.
Citation:
Dan Hirsch, Emilio Tuosto, "SHReQ: Coordinating Application Level QoS," sefm, pp.425-434, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb