SHReQ: Coordinating application level QoS

Proceedings - 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005

Volumn , Issue , 2005, Pages 425-434

  Hirsch, Dan ^a   Tuosto, Emilio ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC STRUCTURES; APPLICATION LEVEL; FORMAL FRAMEWORK; GRAPH REWRITING; HYPEREDGE REPLACEMENT; MULTI-CRITERIA; QOS REQUIREMENTS; SERVICE ORIENTED COMPUTING;

QUALITY OF SERVICE; SYNCHRONIZATION;

SOFTWARE ENGINEERING;

EID: 33646400342     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2005.40     Document Type: Conference Paper

References (14)

1. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. JACM, 44(2):201-236, March 1997.
2. M. Castaldi, A. Di Marco, and P. Inverardi. Data driven reconfiguration for performance improvements: a modelbased approach. In Proceedings of RAMSS, May 2004.
3. I. Castellani and U. Montanari. Graph Grammars for Distributed Systems. In H. Ehrig, M. Nagl, and G. Rozenberg, editors, Proc. 2nd Int. Workshop on Graph-Grammars and Their Application to Computer Science, volume 153 of LNCS, pages 20-38. Springer, 1983.
4. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A Formal Basis for Reasoning on Programmable QoS. In N. Dershowitz, editor, International Symposium on Verification-Theory and Practice-Honoring Zohar Manna's 64th Birthday, volume 2772 of LNCS, pages 436-479. Springer, 2003.
5. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A Basic Calculus for Modelling Service Level Agreements. In J. Jacquet and G. Picco, editors, International Conference on Coordination Models and Languages, volume 3454 of LNCS, pages 33-48. Springer, April 2005.
6. P. Degano and U. Montanari. A model of distributed systems based on graph rewriting. JACM, 34:411-449, 1987.
7. G. Ferrari, U. Montanari, and E. Tuosto. A LTS Semantics of Ambients via Graph Synchronization with Mobility. In ICTCS, volume 2202 of LNCS, Torino (Italy), October 4-6, 2001. Springer.
8. D. Garlan, B. Schmerl, and J. Chang. Using gauges for architecture-based monitoring and adaptation. In Working Conference on Complex and Dynamic Systems Architecture, 2001.
9. P. Guo and R. Heckel. Conceptual modeling of styles for mobile systems: A layered approach based on graph transformation. In Proc. of IFIP TC8 Working Conference on Mobile Information Systems(MOBIS)), pages 65-78. Springer, 2004.
10. D. Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis, Departamento de Computaci ón, UBA, 2003. http://www. di. unipi. it/dhirsch.
11. D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of Software Architecture Styles with Name Mobility. In A. Porto and G.-C. Roman, editors, Coordination 2000, volume 1906 of LNCS, pages 148-163. Springer, 2000.
12. P. Inverardi and H. Muccini. The Teleservices and Remote Medical Care System (TRMCS). In IWSSD, San Diego, California, November 2000.
13. I. Lanese and U. Montanari. Synchronization algebras with mobility for graph transformations. In Proc. FGUC'04-Foundations of Global Ubiquitous Computing, ENTCS, 2004. To appear.
14. E. Tuosto. Non-Functional Aspects of Wide Area Network Programming. PhD thesis, Dipartimento di Informatica, Universita di Pisa, May 2003. TD-8/03.