|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
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
| ASCII Text | x | ||
| Dan Hirsch, Emilio Tuosto, "SHReQ: Coordinating Application Level QoS," Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pp. 425-434, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), 2005. | |||
| BibTex | x | ||
| @article{ 10.1109/SEFM.2005.40, author = {Dan Hirsch and Emilio Tuosto}, title = {SHReQ: Coordinating Application Level QoS}, journal ={Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)}, volume = {0}, year = {2005}, isbn = {0-7695-2435-4}, pages = {425-434}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.40}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) TI - SHReQ: Coordinating Application Level QoS SN - 0-7695-2435-4 SP425 EP434 A1 - Dan Hirsch, A1 - Emilio Tuosto, PY - 2005 KW - null VL - 0 JA - Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) ER - | |||
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.