Synchronised hyperedge replacement as a model for service oriented computing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4111 LNCS, Issue , 2006, Pages 22-43

  Ferrari, Gian Luigi ^a   Hirsch, Dan ^a,b   Lanese, Ivan ^c   Montanari, Ugo ^a   Tuosto, Emilio ^d  

^a UNIVERSITY OF PISA   (Italy)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

^c UNIVERSITY OF BOLOGNA   (Italy)

^d UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; SYNCHRONIZATION;

GRAPH REWRITING FORMALISM; SERVICE ORIENTED COMPUTING (SOC); SYNCHRONIZED HYPEREDGE REPLACEMENT (SHR);

OBJECT ORIENTED PROGRAMMING;

EID: 33749641338     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11804192_2     Document Type: Conference Paper

References (35)

1. S. Bistarelli, U. Montanari, and F. Rossi. Semiring-based constraint satisfaction and optimization. Journal of the ACM, 44(2):201-236, 1997.
2. L. Cardelli and A. D. Gordon. Mobile ambients. In Proc. of FoSSaCS'98, volume 1378 of LNCS, pages 140-155. Springer, 1998.
3. I. Castellani and U. Montanari. Graph grammars for distributed systems. In Graph-Grammars and Their Application to Computer Science, volume 153 of LNCS, pages 20-38. Springer, 1983.
4. A. Corradini, P. Degano, and U. Montanari. Specifying highly concurrent data structure manipulation. In Proc. of Computing 85. Elsevier Science, 1985.
5. A. Corradini and D. Hirsch. An operational semantics of Community based on graph transformation systems. In Proc. of GT-VMT 2004, volume 109 of Elect. Notes in Th. Comput. Sei., pages 111-124. Elsevier Science, 2004.
6. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A Formal Basis for Reasoning on Programmable QoS. In International Symposium on Verification - Theory and Practice, volume 2772 of LNCS, pages 436-479. Springer, 2003.
7. R. De Nicola, G. Ferrari, U. Montanari, R. Pugliese, and E. Tuosto. A process calculus for qos-aware applications. In Proc. of Coordination'05, volume 3454 of LNCS, pages 33-48. Springer, 2003.
8. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Trans. Software Eng., 24(5):315-330, 1998.
9. P. Degano and U. Montanari. A model for distributed systems based on graph rewriting. Journal of the ACM, 34(2):411-449, 1987.
10. G. Ferrari, U. Montanari, and E. Tuosto. A LTS semantics of ambients via graph synchronization with mobility. In ICTCS'01, volume 2202 of LNCS, pages 1-16. Springer, 2001.
11. G. Ferrari, U. Montanari, and E. Tuosto. Graph-based models of internetworking systems. In Formal Methods at the Crossroads: From Panacea to Foundational Support, volume 2757 of LNCS, pages 242-266. Springer, 2003.
12. C. Fournet and G. Gonthier. The reflexive CHAM and the join-calculus. In Proc. of POPL '96, pages 372-385, 1996.
13. F. Gadducci and U. Montanari. The tile model. In Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000.
14. D. Hirsch. Graph Transformation Models for Software Architecture Styles. PhD thesis, Departamento de Computación, Facultad de Ciencias Exactas y Naturales, U.B.A., 2003.
15. D. Hirsch, P. Inverardi, and U. Montanari. Reconfiguration of software architecture styles with name mobility. In Proc. of Coordination'00, volume 1906 of LNCS, 2000.
16. D. Hirsch and U. Montanari. Synchronized hyperedge replacement with name mobility. In Proc. of CONCUR'01, volume 2154 of LNCS. Springer, 2001.
17. D. Hirsch and E. Tuosto. SHReQ: A framework for coordinating application level QoS. In Proc. of SEFM'05, pages 425-434. IEEE Computer Society Press, 2005.
18. D. Hirsch and E. Tuosto. Coordinating Application Level QoS with SHReQ. Journal of Software and Systems Modelling, 2006. Submitted.
19. C. A. R. Hoare. A model for communicating sequential processes. In On the Construction of Programs. Cambridge University Press, 1980.
20. B. König and U. Montanari. Observational equivalence for synchronized graph rewriting. In Proc. of TACS'01, volume 2215 of LNCS, pages 145-164. Springer, 2001.
21. I. Lanese. Exploiting user-definable synchronizations in graph transformation. In Proc. of GT-VMT'06, Elect. Notes in Th. Comput. Sci. ES, 2006. To appear.
22. I. Lanese. Synchronization Strategies for Global Computing Models. PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy, 2006. Forthcoming.
23. I. Lanese and U. Montanari. A graphical fusion calculus. In Proceedings of the Workshop of the COMETA Project on Computational Metamodels, volume 104 of Elect. Notes in Th. Comput. Sci., pages 199-215. Elsevier Science, 2004.
24. I. Lanese and U. Montanari. Synchronization algebras with mobility for graph transformations. In Proc. of FGUC'04 - Foundations of Global Ubiquitous Computing, volume 138 of Elect. Notes in Th. Comput. Sci., pages 43-60. Elsevier Science, 2004.
25. I. Lanese and E. Tuosto. Synchronized hyperedge replacement for heterogeneous systems. In Proc. of Coordination'05, volume 3454 of LNCS, pages 220-235. Springer, 2005.
26. R. Milner. A Calculus of Communicating Systems, volume 92 of LNCS. Springer, 1982.
27. R. Milner, J. Parrow, and J. Walker. A calculus of mobile processes, I and II. Inform, and Comput., 100(1):1-40, 41-77, 1992.
28. J. Parrow and B. Victor. The fusion calculus: Expressiveness and symmetry in mobile processes. In Proc. of LICS'98, pages 176-185. IEEE Computer Society Press, 1998.
29. G. D. Plotkin. A structural approach to operational semantics. J. Log. Algebr. Program., 60-61:17-139, 2004.
30. J. Riely and M. Hennessy. Distributed processes and location failures. TCS, 266(1-2):693-735, 2001.
31. F. Rossi and U. Montanari. Graph rewriting, constraint solving and tiles for coordinating distributed systems. Applied Categorical Structures, 7(4):333-370, 1999.
32. G. Rozenberg, editor. Handbook of graph grammars and computing by graph transformations, vol. 1: Foundations. World Scientific, 1997.
33. E. Tuosto. Non-Functional Aspects of Wide Area Network Programming. PhD thesis, Computer Science Department, University of Pisa, Italy, 2003.
34. W. M. P. van der Aalst and K. B. Lassen. Translating workflow nets to BPEL4WS. Technical Report WP 145, Eindhoven University of Technology, 2005.
35. G. Winskel. Synchronization trees. TCS, 34:33-82, 1984.